![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Anzahl der Publikationen: 15
Zeitschriftenartikel
Hennicker, Rolf und Knapp, Alexander
(2022):
Specification of systems with parameterised events: An institution-independent approach.
In: Journal of Logical and Algebraic Methods in Programming, Bd. 128, 100791
Hennicker, Rolf; Knapp, Alexander und Madeira, Alexandre
(2021):
Observational interpretations of hybrid dynamic logic with binders and silent transitions.
In: Journal of Logical and Algebraic Methods in Programming, Bd. 122, 100698
Hennicker, Rolf; Knapp, Alexander und Madeira, Alexandre
(2021):
Hybrid dynamic logic institutions for event/data-based systems.
In: Formal Aspects of Computing, Bd. 33, Nr. 6: S. 1209-1248
Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre und Mindt, Felix
(2020):
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.
In: Dynamic Logic: New Trends and Applications, Dali 2019, Bd. 12005: S. 19-34
Barbanera, Franco; de'Liguoro, Ugo und Hennicker, Rolf
(2019):
Connecting open systems of communicating finite state machines.
In: Journal of Logical and Algebraic Methods in Programming, Bd. 109, UNSP 100476
Hennicker, Rolf und Bidoit, Michel
(2018):
Compatibility properties of synchronously and asynchronously communicating components.
In: Logical Methods in Computer Science, Bd. 14, Nr. 1, 1
[PDF, 562kB]
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf und Martins, Manuel A.
(2018):
A logic for the stepwise development of reactive systems.
In: Theoretical Computer Science, Bd. 744: S. 78-96
Hennicker, Rolf; Madeira, Alexandre und Wirsing, Martin
(2018):
Behavioural and abstractor specifications revisited.
In: Theoretical Computer Science, Bd. 741: S. 32-43
Buchbeitrag
Belzner, Lenz; Hennicker, Rolf und Wirsing, Martin
(2016):
OnPlan: A Framework for Simulation-Based Online Planning.
In: Braga, Christiano und Ölveczky, Peter Csaba (Hrsg.):
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science, Bd. 9539. Springer. S. 1-30
Hennicker, Rolf; Bidoit, Michel und Dang, Thanh-Son
(2016):
On Synchronous and Asynchronous Compatibility of Communicating Components.
In: Lafuente, Alberto Lluch und Proença, José (Hrsg.):
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, Proc. Programming and Software Engineering, Bd. 9686. Cham: Springer. S. 138-156
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf und Martins, Manuel A.
(2016):
Dynamic Logic with Binders and its Application to the Development of Reactive Systems.
In: Sampaio, Augusto und Wang, Farn (Hrsg.):
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings. Theoretical Computer Science and General Issues, Bd. 9965. Cham: Springer. S. 422-440
Hennicker, Rolf
(2016):
A Calculus for Open Ensembles and their Composition.
In:
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. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 570-588
Konferenzbeitrag
Beek, Maurice H. ter 
ORCID: https://orcid.org/0000-0002-2930-6367; Cledou, Guillermina ORCID: https://orcid.org/0000-0003-0006-6440; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Can We Communicate? Using Dynamic Logic to Verify Team Automata.
25th International Symposium on Formal Methods (FM), Lubeck, Germany, 06. - 10. März 2023.
Chechik, Marsha; Katoen, Joost-Pieter und Leucker, Martin (Hrsg.):
In: Formal Methods, Lecture Notes in Computer Science
Bd. 14000
Cham: Springer. S. 122-141
ORCID: https://orcid.org/0000-0002-2930-6367; Cledou, Guillermina ORCID: https://orcid.org/0000-0003-0006-6440; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Can We Communicate? Using Dynamic Logic to Verify Team Automata.
25th International Symposium on Formal Methods (FM), Lubeck, Germany, 06. - 10. März 2023.
Chechik, Marsha; Katoen, Joost-Pieter und Leucker, Martin (Hrsg.):
In: Formal Methods, Lecture Notes in Computer Science
Bd. 14000
Cham: Springer. S. 122-141
Beek, Maurice H. ter ORCID: https://orcid.org/0000-0002-2930-6367; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Realisability of Global Models of Interaction.
20th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lima, Peru, 04 - 08 December 2023.
Ábrahám, Erika; Dubslaff, Clemens und Tapia Tarifa, Silvia Lizeth (Hrsg.):
In: Theoretical Aspects of Computing – ICTAC 2023, Lecture Notes in Computer Science
Bd. 14446
Cham: Springer. S. 236-255
ORCID: https://orcid.org/0000-0002-2930-6367; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Realisability of Global Models of Interaction.
20th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lima, Peru, 04 - 08 December 2023.
Ábrahám, Erika; Dubslaff, Clemens und Tapia Tarifa, Silvia Lizeth (Hrsg.):
In: Theoretical Aspects of Computing – ICTAC 2023, Lecture Notes in Computer Science
Bd. 14446
Cham: Springer. S. 236-255
Knapp, Alexander; Hennicker, Rolf und Madeira, Alexandre
:
Specifying Event/Data-based Systems.
20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Augsburg, Germany, 03.-06. April 2023.
Glück, Roland; Santocanale, Luigi und Winter, Michael (Hrsg.):
In: Relational and Algebraic Methods in Computer Science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings, Lecture Notes in Computer Science
Bd. 13896
Cham, Switzerland: Springer.
XII-XII