Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rolf Hennicker
@inproceedings{DBLP:conf/fm/BeekCHP23,
author = {Maurice H. ter Beek and
Guillermina Cledou and
Rolf Hennicker and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Can We Communicate? Using Dynamic Logic to Verify Team Automata},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {122--141},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_9},
doi = {10.1007/978-3-031-27481-7\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BeekCHP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BeekHP23,
author = {Maurice H. ter Beek and
Rolf Hennicker and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Realisability of Global Models of Interaction},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {236--255},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_15},
doi = {10.1007/978-3-031-47963-2\_15},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BeekHP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/HennickerK22,
author = {Rolf Hennicker and
Alexander Knapp},
title = {Specification of systems with parameterised events: An institution-independent
approach},
journal = {J. Log. Algebraic Methods Program.},
volume = {128},
pages = {100791},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100791},
doi = {10.1016/J.JLAMP.2022.100791},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/HennickerK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HennickerKW22,
author = {Rolf Hennicker and
Alexander Knapp and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Epistemic Ensembles},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {110--126},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_8},
doi = {10.1007/978-3-031-19759-8\_8},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/HennickerKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HennickerKM21,
author = {Rolf Hennicker and
Alexander Knapp and
Alexandre Madeira},
title = {Hybrid dynamic logic institutions for event/data-based systems},
journal = {Formal Aspects Comput.},
volume = {33},
number = {6},
pages = {1209--1248},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00550-7},
doi = {10.1007/S00165-021-00550-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HennickerKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/HennickerKM21,
author = {Rolf Hennicker and
Alexander Knapp and
Alexandre Madeira},
title = {Observational interpretations of hybrid dynamic logic with binders
and silent transitions},
journal = {J. Log. Algebraic Methods Program.},
volume = {122},
pages = {100698},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100698},
doi = {10.1016/J.JLAMP.2021.100698},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/HennickerKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BeekCHP21,
author = {Maurice H. ter Beek and
Guillermina Cledou and
Rolf Hennicker and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Featured Team Automata},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {483--502},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_26},
doi = {10.1007/978-3-030-90870-6\_26},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BeekCHP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-01784,
author = {Maurice H. ter Beek and
Guillermina Cledou and
Rolf Hennicker and
Jos{\'{e}} Proen{\c{c}}a},
title = {Featured Team Automata},
journal = {CoRR},
volume = {abs/2108.01784},
year = {2021},
url = {https://arxiv.org/abs/2108.01784},
eprinttype = {arXiv},
eprint = {2108.01784},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-01784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BeekHK20,
author = {Maurice H. ter Beek and
Rolf Hennicker and
Jetty Kleijn},
editor = {Simon Bliudze and
Laura Bocchi},
title = {Team Automata@Work: On Safe Communication},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {77--85},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_5},
doi = {10.1007/978-3-030-50029-0\_5},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BeekHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BeekHK20,
author = {Maurice H. ter Beek and
Rolf Hennicker and
Jetty Kleijn},
editor = {Violet Ka I Pun and
Volker Stolz and
Adenilso Sim{\~{a}}o},
title = {Compositionality of Safe Communication in Systems of Team Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2020 - 17th International
Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12545},
pages = {200--220},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64276-1\_11},
doi = {10.1007/978-3-030-64276-1\_11},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BeekHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HennickerW20,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Dynamic Logic for Systems with Predicate-Based Communication},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {224--242},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_14},
doi = {10.1007/978-3-030-61470-6\_14},
timestamp = {Wed, 28 Oct 2020 11:39:03 +0100},
biburl = {https://dblp.org/rec/conf/isola/HennickerW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BarbaneradH19,
author = {Franco Barbanera and
Ugo de'Liguoro and
Rolf Hennicker},
title = {Connecting open systems of communicating finite state machines},
journal = {J. Log. Algebraic Methods Program.},
volume = {109},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.07.004},
doi = {10.1016/J.JLAMP.2019.07.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/BarbaneradH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HennickerW19,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {A Generic Dynamic Logic with Applications to Interaction-Based Systems},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {172--187},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_11},
doi = {10.1007/978-3-030-30985-5\_11},
timestamp = {Wed, 09 Oct 2019 10:07:38 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HennickerW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WirsingH19,
author = {Martin Wirsing and
Rolf Hennicker},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Process Calculi for Modelling Mobile, Service-Oriented, and Collective
Autonomic Systems},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {367--387},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_20},
doi = {10.1007/978-3-030-21485-2\_20},
timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WirsingH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HennickerMK19,
author = {Rolf Hennicker and
Alexandre Madeira and
Alexander Knapp},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {A Hybrid Dynamic Logic for Event/Data-Based Systems},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {79--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_5},
doi = {10.1007/978-3-030-16722-6\_5},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/HennickerMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HennickerKMM19,
author = {Rolf Hennicker and
Alexander Knapp and
Alexandre Madeira and
Felix Mindt},
editor = {Lu{\'{\i}}s Soares Barbosa and
Alexandru Baltag},
title = {Behavioural and Abstractor Specifications for a Dynamic Logic with
Binders and Silent Transitions},
booktitle = {Dynamic Logic. New Trends and Applications - Second International
Workshop, DaL{\'{\i}} 2019, Porto, Portugal, October 7-11, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12005},
pages = {19--34},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-38808-9\_2},
doi = {10.1007/978-3-030-38808-9\_2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/HennickerKMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03074,
author = {Rolf Hennicker and
Alexandre Madeira and
Alexander Knapp},
title = {A Hybrid Dynamic Logic for Event/Data-based Systems},
journal = {CoRR},
volume = {abs/1902.03074},
year = {2019},
url = {http://arxiv.org/abs/1902.03074},
eprinttype = {arXiv},
eprint = {1902.03074},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HennickerB18,
author = {Rolf Hennicker and
Michel Bidoit},
title = {Compatibility Properties of Synchronously and Asynchronously Communicating
Components},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:1)2018},
doi = {10.23638/LMCS-14(1:1)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/HennickerB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HennickerMW18,
author = {Rolf Hennicker and
Alexandre Madeira and
Martin Wirsing},
title = {Behavioural and abstractor specifications revisited},
journal = {Theor. Comput. Sci.},
volume = {741},
pages = {32--43},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.02.033},
doi = {10.1016/J.TCS.2018.02.033},
timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HennickerMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MadeiraBHM18,
author = {Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa and
Rolf Hennicker and
Manuel A. Martins},
title = {A logic for the stepwise development of reactive systems},
journal = {Theor. Comput. Sci.},
volume = {744},
pages = {78--96},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.03.004},
doi = {10.1016/J.TCS.2018.03.004},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MadeiraBHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HennickerW18,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Dynamic Logic for Ensembles},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {32--47},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_3},
doi = {10.1007/978-3-030-03424-5\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/HennickerW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Hennicker18,
author = {Rolf Hennicker},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Ionut Tutu},
title = {Role-Based Development of Dynamically Evolving Esembles},
booktitle = {Recent Trends in Algebraic Development Techniques - 24th {IFIP} {WG}
1.3 International Workshop, {WADT} 2018, Egham, UK, July 2-5, 2018,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11563},
pages = {3--24},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-23220-7\_1},
doi = {10.1007/978-3-030-23220-7\_1},
timestamp = {Wed, 26 Jun 2019 11:27:12 +0200},
biburl = {https://dblp.org/rec/conf/wadt/Hennicker18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-02468,
author = {Franco Barbanera and
Ugo de'Liguoro and
Rolf Hennicker},
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Global Types for Open Systems},
booktitle = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
pages = {4--20},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279.4},
doi = {10.4204/EPTCS.279.4},
timestamp = {Mon, 03 Dec 2018 16:41:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BeekCHK17,
author = {Maurice H. ter Beek and
Josep Carmona and
Rolf Hennicker and
Jetty Kleijn},
editor = {Jean{-}Marie Jacquet and
Mieke Massink},
title = {Communication Requirements for Team Automata},
booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2017, Held as Part of the 12th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10319},
pages = {256--277},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59746-1\_14},
doi = {10.1007/978-3-319-59746-1\_14},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/BeekCHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/HennickerM17,
author = {Rolf Hennicker and
Alexandre Madeira},
editor = {Dang Van Hung and
Deepak Kapur},
title = {Institutions for Behavioural Dynamic Logic with Binders},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10580},
pages = {13--31},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67729-3\_2},
doi = {10.1007/978-3-319-67729-3\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/HennickerM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/0001H0NW17,
author = {Dirk Beyer and
Rolf Hennicker and
Martin Hofmann and
Tobias Nipkow and
Martin Wirsing},
editor = {Arndt Bode and
Manfred Broy and
Hans{-}Joachim Bungartz and
Florian Matthes},
title = {Software-Verifikation},
booktitle = {50 Jahre Universit{\"{a}}ts-Informatik in M{\"{u}}nchen},
pages = {75--86},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54712-0\_5},
doi = {10.1007/978-3-662-54712-0\_5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/17/0001H0NW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/HennickerBD16,
author = {Rolf Hennicker and
Michel Bidoit and
Thanh{-}Son Dang},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {On Synchronous and Asynchronous Compatibility of Communicating Components},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {138--156},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_9},
doi = {10.1007/978-3-319-39519-7\_9},
timestamp = {Sat, 05 Sep 2020 17:56:31 +0200},
biburl = {https://dblp.org/rec/conf/coordination/HennickerBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MadeiraBHM16,
author = {Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa and
Rolf Hennicker and
Manuel A. Martins},
editor = {Augusto Sampaio and
Farn Wang},
title = {Dynamic Logic with Binders and Its Application to the Development
of Reactive Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International
Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9965},
pages = {422--440},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46750-4\_24},
doi = {10.1007/978-3-319-46750-4\_24},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/MadeiraBHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Hennicker16,
author = {Rolf Hennicker},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Calculus for Open Ensembles and Their Composition},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {570--588},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_40},
doi = {10.1007/978-3-319-47166-2\_40},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Hennicker16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/HennickerM16,
author = {Rolf Hennicker and
Alexandre Madeira},
editor = {Phillip James and
Markus Roggenbach},
title = {Observational Semantics for Dynamic Logic with Binders},
booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10644},
pages = {135--152},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-72044-9\_10},
doi = {10.1007/978-3-319-72044-9\_10},
timestamp = {Wed, 19 May 2021 08:32:29 +0200},
biburl = {https://dblp.org/rec/conf/wadt/HennickerM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HennickerB16,
author = {Rolf Hennicker and
Michel Bidoit},
title = {Compatibility Properties of Synchronously and Asynchronously Communicating
Components},
journal = {CoRR},
volume = {abs/1611.03656},
year = {2016},
url = {http://arxiv.org/abs/1611.03656},
eprinttype = {arXiv},
eprint = {1611.03656},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HennickerB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HennickerK15,
author = {Rolf Hennicker and
Alexander Knapp},
title = {Moving from interface theories to assembly theories},
journal = {Acta Informatica},
volume = {52},
number = {2-3},
pages = {235--268},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0220-7},
doi = {10.1007/S00236-015-0220-7},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HennickerK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MadeiraMBH15,
author = {Alexandre Madeira and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa and
Rolf Hennicker},
title = {Refinement in hybridised institutions},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {375--395},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0327-6},
doi = {10.1007/S00165-014-0327-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MadeiraMBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaH15,
author = {Rocco De Nicola and
Rolf Hennicker},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {A Homage to Martin Wirsing},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {1--12},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_1},
doi = {10.1007/978-3-319-15545-6\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HennickerKW15,
author = {Rolf Hennicker and
Annabelle Klarl and
Martin Wirsing},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Model-Checking Helena Ensembles with Spin},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {331--360},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_16},
doi = {10.1007/978-3-319-23165-5\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HennickerKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BelznerHW15,
author = {Lenz Belzner and
Rolf Hennicker and
Martin Wirsing},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {OnPlan: {A} Framework for Simulation-Based Online Planning},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {1--30},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_1},
doi = {10.1007/978-3-319-28934-2\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BelznerHW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MayerVKHPTPKB15,
author = {Philip Mayer and
Jos{\'{e}} Velasco and
Annabelle Klarl and
Rolf Hennicker and
Mariachiara Puviani and
Francesco Tiezzi and
Rosario Pugliese and
Jaroslav Keznikl and
Tom{\'{a}}s Bures},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {The Autonomic Cloud},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {495--512},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_16},
doi = {10.1007/978-3-319-16310-9\_16},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/MayerVKHPTPKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015wirsing,
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6},
doi = {10.1007/978-3-319-15545-6},
isbn = {978-3-319-15544-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2015wirsing.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BauerHL14,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Axel Legay},
title = {A meta-theory for component interfaces with contracts on ports},
journal = {Sci. Comput. Program.},
volume = {91},
pages = {70--89},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.09.013},
doi = {10.1016/J.SCICO.2013.09.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BauerHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/KlarlH14,
author = {Annabelle Klarl and
Rolf Hennicker},
title = {Design and Implementation of Dynamically Evolving Ensembles with the
Helena Framework},
booktitle = {23rd Australian Software Engineering Conference, {ASWEC} 2014, Milsons
Point, Sydney, NSW, Australia, April 7-10, 2014},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ASWEC.2014.26},
doi = {10.1109/ASWEC.2014.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/KlarlH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HennickerK14,
author = {Rolf Hennicker and
Annabelle Klarl},
editor = {Shusaku Iida and
Jos{\'{e}} Meseguer and
Kazuhiro Ogata},
title = {Foundations for Ensemble Modeling - The Helena Approach - Handling
Massively Distributed Systems with ELaborate ENsemble Architectures},
booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
series = {Lecture Notes in Computer Science},
volume = {8373},
pages = {359--381},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54624-2\_18},
doi = {10.1007/978-3-642-54624-2\_18},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HennickerK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/HennickerKW14,
author = {Rolf Hennicker and
Alexander Knapp and
Martin Wirsing},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Assembly Theories for Communication-Safe Component Systems},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {145--160},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_10},
doi = {10.1007/978-3-642-54848-2\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/etaps/HennickerKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/KlarlCH14,
author = {Annabelle Klarl and
Lucia Cichella and
Rolf Hennicker},
editor = {Ivan Lanese and
Eric Madelaine},
title = {From Helena Ensemble Specifications to Executable Code},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {183--190},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_11},
doi = {10.1007/978-3-319-15317-9\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/KlarlCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KlarlMH14,
author = {Annabelle Klarl and
Philip Mayer and
Rolf Hennicker},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Helena@Work: Modeling the Science Cloud Platform},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {99--116},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_8},
doi = {10.1007/978-3-662-45234-9\_8},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/KlarlMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HaddadHM13,
author = {Serge Haddad and
Rolf Hennicker and
Mikael H. M{\o}ller},
editor = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel},
title = {Channel Properties of Asynchronously Composed Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7927},
pages = {369--388},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38697-8\_20},
doi = {10.1007/978-3-642-38697-8\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/HaddadHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MayerKHPTPKB13,
author = {Philip Mayer and
Annabelle Klarl and
Rolf Hennicker and
Mariachiara Puviani and
Francesco Tiezzi and
Rosario Pugliese and
Jaroslav Keznikl and
Toma Bure},
title = {The Autonomic Cloud: {A} Vision of Voluntary, Peer-2-Peer Cloud Computing},
booktitle = {7th {IEEE} International Conference on Self-Adaptation and Self-Organizing
Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13,
2013},
pages = {89--94},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SASOW.2013.16},
doi = {10.1109/SASOW.2013.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MayerKHPTPKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/HaddadHM13,
author = {Serge Haddad and
Rolf Hennicker and
Mikael H. M{\o}ller},
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {Specification of Asynchronous Component Systems with Modal I/O-Petri
Nets},
booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8358},
pages = {219--234},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05119-2\_13},
doi = {10.1007/978-3-319-05119-2\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/HaddadHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Elhog-BenzinaHH12,
author = {Dorsaf Elhog{-}Benzina and
Serge Haddad and
Rolf Hennicker},
title = {Refinement and Asynchronous Composition of Modal Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {5},
pages = {96--120},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29072-5\_4},
doi = {10.1007/978-3-642-29072-5\_4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/Elhog-BenzinaHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BauerHL12,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Axel Legay},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {Component Interfaces with Contracts on Ports},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {19--35},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_2},
doi = {10.1007/978-3-642-35861-6\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BauerHL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BauerDHLLNW12,
author = {Sebastian S. Bauer and
Alexandre David and
Rolf Hennicker and
Kim Guldstrand Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Juan de Lara and
Andrea Zisman},
title = {Moving from Specifications to Contracts in Component-Based Design},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {43--58},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_3},
doi = {10.1007/978-3-642-28872-2\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BauerDHLLNW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/HennickerL12,
author = {Rolf Hennicker and
Matthias Ludwig},
editor = {Radu Calinescu and
David Garlan},
title = {View-Based Development of a Simulation Framework for Multi-disciplinary
Environmental Modelling},
booktitle = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
pages = {224--250},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8\_12},
doi = {10.1007/978-3-642-34059-8\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/HennickerL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BauerHW11,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Martin Wirsing},
title = {Interface theories for concurrency and data},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3101--3121},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.04.007},
doi = {10.1016/J.TCS.2011.04.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BauerHW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/HennickerK11,
author = {Rolf Hennicker and
Alexander Knapp},
editor = {Antonio Cerone and
Pekka Pihlajasaari},
title = {Modal Interface Theories for Communication-Safe Component Assemblies},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6916},
pages = {135--153},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23283-1\_11},
doi = {10.1007/978-3-642-23283-1\_11},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/HennickerK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Elhog-BenzinaHH10,
author = {Dorsaf Elhog{-}Benzina and
Serge Haddad and
Rolf Hennicker},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Process Refinement and Asynchronous Composition with Modalities},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {385--401},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/30\_DorsafElhog-Benzina\_article.pdf},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/acsd/Elhog-BenzinaHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BauerHB10,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Michel Bidoit},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A Modal Interface Theory with Data Constraints},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {80--95},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_6},
doi = {10.1007/978-3-642-19829-8\_6},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BauerHB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BauerMSH10,
author = {Sebastian S. Bauer and
Philip Mayer and
Andreas Schroeder and
Rolf Hennicker},
editor = {Javier Esparza and
Rupak Majumdar},
title = {On Weak Modal Compatibility, Refinement, and the {MIO} Workbench},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {175--189},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_15},
doi = {10.1007/978-3-642-12002-2\_15},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BauerMSH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BauerHW10,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Martin Wirsing},
editor = {Till Mossakowski and
Hans{-}J{\"{o}}rg Kreowski},
title = {Building a Modal Interface Theory for Concurrency and Data},
booktitle = {Recent Trends in Algebraic Development Techniques - 20th International
Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7137},
pages = {1--12},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-28412-0\_1},
doi = {10.1007/978-3-642-28412-0\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/BauerHW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-4731,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Stephan Janisch},
editor = {Axel Legay and
Beno{\^{\i}}t Caillaud},
title = {Interface Theories for (A)synchronously Communicating Modal I/O-Transition
Systems},
booktitle = {Proceedings Foundations for Interface Technologies, {FIT} 2010, Paris,
France, 30th August 2010},
series = {{EPTCS}},
volume = {46},
pages = {1--8},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.46.1},
doi = {10.4204/EPTCS.46.1},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4731.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BauerH09,
author = {Sebastian S. Bauer and
Rolf Hennicker},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Views on Behaviour Protocols and Their Semantic Foundation},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {367--382},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_25},
doi = {10.1007/978-3-642-03741-2\_25},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/BauerH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BauerHJ10,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Stephan Janisch},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {Behaviour Protocols for Interacting Stateful Components},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {47--66},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.004},
doi = {10.1016/J.ENTCS.2010.05.004},
timestamp = {Thu, 09 Mar 2023 15:49:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BauerHJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BidoitH08,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {An Algebraic Semantics for Contract-Based Software Components},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {216--231},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_17},
doi = {10.1007/978-3-540-79980-1\_17},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/BidoitH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/RiemsdijkHWS08,
author = {M. Birna van Riemsdijk and
Rolf Hennicker and
Martin Wirsing and
Andreas Schroeder},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Service Specification and Matchmaking Using Description Logic},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {392--406},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_29},
doi = {10.1007/978-3-540-79980-1\_29},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/RiemsdijkHWS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/HennickerJK08,
author = {Rolf Hennicker and
Stephan Janisch and
Alexander Knapp},
editor = {Christine Choppy and
Oleg Sokolsky},
title = {Refinement of Components in Connection-Safe Assemblies with Synchronous
and Asynchronous Communication},
booktitle = {Foundations of Computer Software. Future Trends and Techniques for
Development, 15th Monterey Workshop 2008, Budapest, Hungary, September
24-26, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6028},
pages = {154--180},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-12566-9\_9},
doi = {10.1007/978-3-642-12566-9\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/HennickerJK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennickerJK10,
author = {Rolf Hennicker and
Stephan Janisch and
Alexander Knapp},
editor = {Carlos Canal and
Corina S. Pasareanu},
title = {On the Observable Behaviour of Composite Components},
booktitle = {Proceedings of the 5th International Workshop on Formal Aspects of
Component Software, {FACS} 2008, Malaga, Spain, September 10-12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {260},
pages = {125--153},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.12.035},
doi = {10.1016/J.ENTCS.2009.12.035},
timestamp = {Thu, 09 Mar 2023 15:34:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennickerJK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KnappJHCGHBW07,
author = {Alexander Knapp and
Stephan Janisch and
Rolf Hennicker and
Allan Clark and
Stephen Gilmore and
Florian Hacklinger and
Hubert Baumeister and
Martin Wirsing},
editor = {Andreas Rausch and
Ralf H. Reussner and
Raffaela Mirandola and
Frantisek Pl{\'{a}}sil},
title = {Modelling the CoCoME with the Java/AComponent Model},
booktitle = {The Common Component Modeling Example: Comparing Software Component
Models [result from the Dagstuhl research seminar for CoCoME, August
1-3, 2007]},
series = {Lecture Notes in Computer Science},
volume = {5153},
pages = {207--237},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85289-6\_9},
doi = {10.1007/978-3-540-85289-6\_9},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KnappJHCGHBW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HennickerK07,
author = {Rolf Hennicker and
Alexander Knapp},
editor = {Matthew B. Dwyer and
Ant{\'{o}}nia Lopes},
title = {Activity-Driven Synthesis of State Machines},
booktitle = {Fundamental Approaches to Software Engineering, 10th International
Conference, {FASE} 2007, Held as Part of the Joint European Conferences,
on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal,
March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4422},
pages = {87--101},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71289-3\_8},
doi = {10.1007/978-3-540-71289-3\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/HennickerK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BidoitH06,
author = {Michel Bidoit and
Rolf Hennicker},
title = {Constructor-based observational logic},
journal = {J. Log. Algebraic Methods Program.},
volume = {67},
number = {1-2},
pages = {3--51},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.09.002},
doi = {10.1016/J.JLAP.2005.09.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BidoitH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BidoitH06,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Proving Behavioral Refinements of COL-specifications},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {333--354},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_18},
doi = {10.1007/11780274\_18},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BidoitH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/HennickerL06,
author = {Rolf Hennicker and
Matthias Ludwig},
editor = {Heinrich C. Mayr and
Ruth Breu},
title = {Design and Implementation of a Coordination Model for Distributed
Simulations},
booktitle = {Modellierung 2006, 22.-24. M{\"{a}}rz 2006, Innsbruck, Tirol,
Austria, Proceedings},
series = {{LNI}},
volume = {{P-82}},
pages = {83--97},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/24246},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/HennickerL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/HennickerL05,
author = {Rolf Hennicker and
Matthias Ludwig},
editor = {Martin Steffen and
Gianluigi Zavattaro},
title = {Property-Driven Development of a Coordination Model for Distributed
Simulations},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
June 15-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3535},
pages = {290--305},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494881\_19},
doi = {10.1007/11494881\_19},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/HennickerL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BidoitH05,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Dang Van Hung and
Martin Wirsing},
title = {Externalized and Internalized Notions of Behavioral Refinement},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {334--350},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_22},
doi = {10.1007/11560647\_22},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BidoitH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaumeisterHHKW06,
author = {Hubert Baumeister and
Florian Hacklinger and
Rolf Hennicker and
Alexander Knapp and
Martin Wirsing},
editor = {Zhiming Liu and
Lu{\'{\i}}s Soares Barbosa},
title = {A Component Model for Architectural Programming},
booktitle = {Proceedings of the International Workshop on Formal Aspects of Component
Software, {FACS} 2005, Macao, October 24-25, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
pages = {75--96},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.015},
doi = {10.1016/J.ENTCS.2006.05.015},
timestamp = {Thu, 15 Dec 2022 16:29:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaumeisterHHKW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cas/BarthHKL04,
author = {Michael N. Barth and
Rolf Hennicker and
Andreas Kraus and
Matthias Ludwig},
title = {{DANUBIA:} An Integrative Simulation System for Global Change Research
in the Upper Danube Basin},
journal = {Cybern. Syst.},
volume = {35},
number = {7-8},
pages = {639--666},
year = {2004},
url = {https://doi.org/10.1080/01969720490499425},
doi = {10.1080/01969720490499425},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cas/BarthHKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BidoitH04,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Glass Box and Black Box Views of State-Based System Specifications.},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {19},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_3},
doi = {10.1007/978-3-540-27815-3\_3},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BidoitH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BidoitHKB04,
author = {Michel Bidoit and
Rolf Hennicker and
Alexander Knapp and
Hubert Baumeister},
title = {Glass-Box and Black-Box Views on Object-Oriented Specifications},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {208--217},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.22},
doi = {10.1109/SEFM.2004.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BidoitHKB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BidoitHK03,
author = {Michel Bidoit and
Rolf Hennicker and
Alexander Kurz},
title = {Observational logic, constructor-based logic, and their duality},
journal = {Theor. Comput. Sci.},
volume = {298},
number = {3},
pages = {471--510},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00865-4},
doi = {10.1016/S0304-3975(02)00865-4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BidoitHK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennickerKB04,
author = {Rolf Hennicker and
Alexander Knapp and
Hubert Baumeister},
editor = {Peter H. Schmitt},
title = {Semantics of {OCL} Operation Specifications},
booktitle = {Proceedings of the Workshop {OCL} 2.0 - Industry Standard or Scientific
Playground?, {OCL} 2.0, San Francisco, CA, USA, October 21, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {102},
pages = {111--132},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.09.006},
doi = {10.1016/J.ENTCS.2003.09.006},
timestamp = {Fri, 09 Dec 2022 11:27:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennickerKB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2002,
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b94458},
doi = {10.1007/B94458},
isbn = {3-540-20537-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KurzH02,
author = {Alexander Kurz and
Rolf Hennicker},
title = {On institutions for modular coalgebraic specifications},
journal = {Theor. Comput. Sci.},
volume = {280},
number = {1-2},
pages = {69--103},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00021-4},
doi = {10.1016/S0304-3975(01)00021-4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KurzH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BidoitH02,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {On the Integration of Observability and Reachability Concepts},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {21--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_3},
doi = {10.1007/3-540-45931-6\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BidoitH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/ocl/HennickerHB02,
author = {Rolf Hennicker and
Heinrich Hu{\ss}mann and
Michel Bidoit},
editor = {Tony Clark and
Jos Warmer},
title = {On the Precise Meaning of {OCL} Constraints},
booktitle = {Object Modeling with the OCL, The Rationale behind the Object Constraint
Language},
series = {Lecture Notes in Computer Science},
volume = {2263},
pages = {69--84},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45669-4\_5},
doi = {10.1007/3-540-45669-4\_5},
timestamp = {Wed, 23 Feb 2022 12:58:08 +0100},
biburl = {https://dblp.org/rec/conf/ocl/HennickerHB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ReusWH01,
author = {Bernhard Reus and
Martin Wirsing and
Rolf Hennicker},
editor = {Heinrich Hu{\ss}mann},
title = {A Hoare Calculus for Verifying Java Realizations of OCL-Constrained
Design Models},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {300--317},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_22},
doi = {10.1007/3-540-45314-8\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/ReusWH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BidoitHK01,
author = {Michel Bidoit and
Rolf Hennicker and
Alexander Kurz},
editor = {Furio Honsell and
Marino Miculan},
title = {On the Duality between Observability and Reachability},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2030},
pages = {72--87},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_5},
doi = {10.1007/3-540-45315-6\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BidoitHK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HennickerBKW01,
author = {Rolf Hennicker and
Hubert Baumeister and
Alexander Knapp and
Martin Wirsing},
editor = {Kurt Bauknecht and
Wilfried Brauer and
Thomas A. M{\"{u}}ck},
title = {Specifying Component Invariants with {OCL}},
booktitle = {Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft
f{\"{u}}r Informatik, Wirtschaft und Wissenschaft in der Network
Economy - Visionen und Wirklichkeit, Jahrestagung der {\"{O}}sterreichischen
Computer Gesellschaft 2001, {INFORMATIK/OCG} 2001, Vienna, Austria,
September 25-28, 2001, Band 1},
series = {Schriftenreihe der {\"{O}}sterreichischen Computer-Gesellschaft},
volume = {157},
pages = {600--607},
publisher = {Konstanz UVK-Verl.-Ges.},
year = {2001},
timestamp = {Fri, 17 Jul 2020 14:28:31 +0200},
biburl = {https://dblp.org/rec/conf/gi/HennickerBKW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/HennickerK01,
author = {Rolf Hennicker and
Nora Koch},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Modeling the User Interface of Web Applications with {UML}},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {158--172},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30852},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/HennickerK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/idea/siau2001/HennickerK01,
author = {Rolf Hennicker and
Nora Koch},
editor = {Keng Siau and
Terry A. Halpin},
title = {Systematic Design of Web Applications with {UML}},
booktitle = {Unified Modeling Language: Systems Analysis, Design and Development
Issues},
pages = {1--20},
publisher = {Idea Group},
year = {2001},
timestamp = {Tue, 06 Aug 2019 10:03:14 +0200},
biburl = {https://dblp.org/rec/books/idea/siau2001/HennickerK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/HennickerK00,
author = {Rolf Hennicker and
Nora Koch},
editor = {Andy Evans and
Stuart Kent and
Bran Selic},
title = {A UML-based Methodology for Hypermedia Design},
booktitle = {{\guillemotleft}UML{\guillemotright} 2000 - The Unified Modeling Language,
Advancing the Standard, Third International Conference, York, UK,
October 2-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1939},
pages = {410--424},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40011-7\_30},
doi = {10.1007/3-540-40011-7\_30},
timestamp = {Mon, 24 Jun 2019 12:03:37 +0200},
biburl = {https://dblp.org/rec/conf/uml/HennickerK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/TortBHW99,
author = {Fran{\c{c}}oise Tort and
Michel Bidoit and
Rolf Hennicker and
Martin Wirsing},
editor = {Robert B. France and
Bernhard Rumpe},
title = {Correct Realization of Interface Constraints with {OCL}},
booktitle = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language
- Beyond the Standard, Second International Conference, Fort Collins,
CO, USA, October 28-30, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1723},
pages = {399--415},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46852-8\_29},
doi = {10.1007/3-540-46852-8\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/TortBHW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennickerK99,
author = {Rolf Hennicker and
Alexander Kurz},
editor = {Bart Jacobs and
Jan J. M. M. Rutten},
title = {(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The
Netherlands, March 20-21, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {19},
pages = {164--180},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80275-0},
doi = {10.1016/S1571-0661(05)80275-0},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennickerK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/BidoitCH99,
author = {Michel Bidoit and
Mar{\'{\i}}a Victoria Cengarle and
Rolf Hennicker},
editor = {Egidio Astesiano and
Hans{-}J{\"{o}}rg Kreowski and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Proof Systems for Structured Specifications and Their Refinements},
booktitle = {Algebraic Foundations of Systems Specification},
series = {{IFIP} State-of-the-Art Reports},
pages = {385--433},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-59851-7\_11},
doi = {10.1007/978-3-642-59851-7\_11},
timestamp = {Tue, 16 May 2017 14:24:23 +0200},
biburl = {https://dblp.org/rec/series/ifip/BidoitCH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BidoitH98,
author = {Michel Bidoit and
Rolf Hennicker},
title = {Modular Correctness Proofs of Behavioural Implementations},
journal = {Acta Informatica},
volume = {35},
number = {11},
pages = {951--1005},
year = {1998},
url = {https://doi.org/10.1007/s002360050149},
doi = {10.1007/S002360050149},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BidoitH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/HennickerB98,
author = {Rolf Hennicker and
Michel Bidoit},
editor = {Armando Martin Haeberer},
title = {Observational Logic},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {263--277},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_20},
doi = {10.1007/3-540-49253-4\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/HennickerB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HennickerWB97,
author = {Rolf Hennicker and
Martin Wirsing and
Michel Bidoit},
title = {Proof Systems for Structured Specifications with Observability Operators},
journal = {Theor. Comput. Sci.},
volume = {173},
number = {2},
pages = {393--443},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00162-4},
doi = {10.1016/S0304-3975(96)00162-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HennickerWB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/HennickerW97,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Bogdan S. Chlebus and
Ludwik Czaja},
title = {Proof Systems for Struvtured Algebraic Specifications: An Overview},
booktitle = {Fundamentals of Computation Theory, 11th International Symposium,
{FCT} '97, Krak{\'{o}}w, Poland, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1279},
pages = {19--37},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0036169},
doi = {10.1007/BFB0036169},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/HennickerW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BidoitH96,
author = {Michel Bidoit and
Rolf Hennicker},
title = {Behavioural Theories and the Proof of Behavioural Properties},
journal = {Theor. Comput. Sci.},
volume = {165},
number = {1},
pages = {3--55},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(96)00039-4},
doi = {10.1016/0304-3975(96)00039-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BidoitH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/HennickerS96,
author = {Rolf Hennicker and
Christoph Schmitz},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Object-Oriented Implementation of Abstract Data Type Specifications},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {163--179},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014314},
doi = {10.1007/BFB0014314},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/HennickerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BidoitHW95,
author = {Michel Bidoit and
Rolf Hennicker and
Martin Wirsing},
title = {Behavioural and Abstractor Specifications},
journal = {Sci. Comput. Program.},
volume = {25},
number = {2-3},
pages = {149--186},
year = {1995},
url = {https://doi.org/10.1016/0167-6423(95)00014-3},
doi = {10.1016/0167-6423(95)00014-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BidoitHW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BidoitH95,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Proving the Correctness of Behavioural Implementations},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {152--168},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_51},
doi = {10.1007/3-540-60043-4\_51},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BidoitH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/GastingerHS95,
author = {Stefan Gastinger and
Rolf Hennicker and
Robert Stabl},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {Design of Modular Software Systems with Reuse},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {112--127},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015458},
doi = {10.1007/BFB0015458},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/GastingerHS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BidoitH94,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Proving Behavioural Theorems with Standard First-Order Logic},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {41--58},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_6},
doi = {10.1007/3-540-58431-5\_6},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/BidoitH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BidoitH94,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Behavioural Theories},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {153--169},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014426},
doi = {10.1007/BFB0014426},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/BidoitH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BidoitHW94,
author = {Michel Bidoit and
Rolf Hennicker and
Martin Wirsing},
editor = {Donald Sannella},
title = {Characterizing Behavioural Semantics and Abstractor Semantics},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {105--119},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_7},
doi = {10.1007/3-540-57880-3\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BidoitHW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/BauerH93,
author = {Bernhard Bauer and
Rolf Hennicker},
editor = {Alfonso Miola},
title = {Proving the Correctness of Algebraic Implementations by the {ISAR}
System},
booktitle = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '93, Gmunden, Austria, September 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {722},
pages = {2--16},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0013164},
doi = {10.1007/BFB0013164},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/disco/BauerH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/ChenHJ93,
author = {Patrick Shicheng Chen and
Rolf Hennicker and
Matthias Jarke},
editor = {Rub{\'{e}}n Prieto{-}D{\'{\i}}az and
William B. Frakes},
title = {On the retrieval of reusable software components},
booktitle = {Proceedings Advances in Software Reuse, Selected Papers from the Second
International Workshop on Software Reusability 1993, Lucca, Italy,
March 24-26, 1993},
pages = {99--108},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/ASR.1993.291713},
doi = {10.1109/ASR.1993.291713},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icsr/ChenHJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BidoitH93,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {A General Framework for Modular Implementations of Modular System
Specifications},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {199--214},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_65},
doi = {10.1007/3-540-56610-4\_65},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BidoitH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hennicker92,
author = {Rolf Hennicker},
title = {A Semi-Algorithm for Algebraic Implementation Proofs},
journal = {Theor. Comput. Sci.},
volume = {104},
number = {1},
pages = {53--87},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90166-D},
doi = {10.1016/0304-3975(92)90166-D},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hennicker92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HennickerN92,
author = {Rolf Hennicker and
Friederike Nickl},
editor = {Hartmut Ehrig},
title = {A Behavioural Algebraic Framework for Modular System Design with Reuse},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {220--234},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_13},
doi = {10.1007/3-540-57867-6\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/HennickerN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/larch/BidoitH92,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Ursula Martin and
Jeannette M. Wing},
title = {How to Prove Observational Theorems with {LP}},
booktitle = {First International Workshop on Larch, Proceedings of the first First
International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
July 1992},
series = {Workshops in Computing},
pages = {18--35},
publisher = {Springer},
year = {1992},
timestamp = {Thu, 20 Feb 2003 11:29:44 +0100},
biburl = {https://dblp.org/rec/conf/larch/BidoitH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BauerH92,
author = {Bernhard Bauer and
Rolf Hennicker},
editor = {Andrei Voronkov},
title = {{ISAR:} An Interactive System for Algebraic Implementation Proofs},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {451--453},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013084},
doi = {10.1007/BFB0013084},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BauerH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Hennicker91,
author = {Rolf Hennicker},
title = {Observational Implementation of Algebraic Specifications},
journal = {Acta Informatica},
volume = {28},
number = {3},
pages = {187--230},
year = {1991},
url = {https://doi.org/10.1007/BF01178505},
doi = {10.1007/BF01178505},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Hennicker91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hennicker91,
author = {Rolf Hennicker},
title = {Context Induction: {A} Proof Principle for Behavioural Abstractions
and Algebraic Implementations},
journal = {Formal Aspects Comput.},
volume = {3},
number = {4},
pages = {326--345},
year = {1991},
url = {https://doi.org/10.1007/BF01642507},
doi = {10.1007/BF01642507},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hennicker91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cip/HennickerW91,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Manfred Broy and
Martin Wirsing},
title = {A Formal Method for the Systematic Reuse of Specification Components},
booktitle = {Method of Programming, Selected Papers on the CIP-Project},
series = {Lecture Notes in Computer Science},
volume = {544},
pages = {49--75},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0018269},
doi = {10.1007/BFB0018269},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cip/HennickerW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/Hennicker90,
author = {Rolf Hennicker},
editor = {Alfonso Miola},
title = {Context Induction: a Proof Principle for Behavioural Abstractions},
booktitle = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '90, Capri, Italy, April 10-12, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {429},
pages = {101--110},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52531-9\_129},
doi = {10.1007/3-540-52531-9\_129},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/disco/Hennicker90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/WirsingHS89,
author = {Martin Wirsing and
Rolf Hennicker and
Robert Stabl},
editor = {Carlo Ghezzi and
John A. McDermid},
title = {{MENU} - An Example for the Systematic Reuse of Specifications},
booktitle = {{ESEC} '89, 2nd European Software Engineering Conference, University
of Warwick, Coventry, UK, September 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {387},
pages = {20--41},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51635-2\_30},
doi = {10.1007/3-540-51635-2\_30},
timestamp = {Mon, 30 Jan 2023 11:25:04 +0100},
biburl = {https://dblp.org/rec/conf/esec/WirsingHS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Hennicker89,
author = {Rolf Hennicker},
editor = {Burkhard Monien and
Robert Cori},
title = {Observational Implementations},
booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer
Science, Paderborn, FRG, February 16-18, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {349},
pages = {59--71},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0028973},
doi = {10.1007/BFB0028973},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Hennicker89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Hennicker89,
author = {Rolf Hennicker},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Implementation of Parameterized Observational Specifications},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 1: Advanced Seminar on Foundations of Innovative Software
Development {I} and Colloquium on Trees in Algebra and Programming
(CAAP'89)},
series = {Lecture Notes in Computer Science},
volume = {351},
pages = {290--305},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50939-9\_139},
doi = {10.1007/3-540-50939-9\_139},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Hennicker89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Hennicker88,
author = {Rolf Hennicker},
title = {Beobachtungsorientierte Spezifikationen},
school = {University of Passau, Germany},
year = {1988},
url = {https://d-nb.info/890894655},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Hennicker88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WirsingHB88,
author = {Martin Wirsing and
Rolf Hennicker and
Ruth Breu},
editor = {Michal Chytil and
Ladislav Janiga and
V{\'{a}}clav Koubek},
title = {Reusable Specification Components},
booktitle = {Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad,
Czechoslovakia, August 29 - September 2, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {324},
pages = {121--137},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0017136},
doi = {10.1007/BFB0017136},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WirsingHB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Hennicker86,
author = {Rolf Hennicker},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {An Implementation Concept for Observational Specifications},
booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
of Braunschweig, Germany},
year = {1986},
timestamp = {Fri, 19 Jul 2019 16:40:26 +0200},
biburl = {https://dblp.org/rec/conf/adt/Hennicker86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/HennickerW84,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Hans{-}J{\"{o}}rg Kreowski},
title = {Observational Specification: {A} Birkhoff Theorem},
booktitle = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and
Applications of Abstract Data Types, Bremen, Germany, November 13-16,
1984, Selected Papers},
series = {Informatik-Fachberichte},
volume = {116},
pages = {119--135},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-662-09691-8\_10},
doi = {10.1007/978-3-662-09691-8\_10},
timestamp = {Mon, 18 Jun 2018 21:21:13 +0200},
biburl = {https://dblp.org/rec/conf/adt/HennickerW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
