![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 12
2022
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
2021
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
2020
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
2019
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
2018
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
2016
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