E-LIB Suche - Ergebnisse für: Hennicker, Rolf

1

Team Automata: Overview and Roadmap:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

ter Beek, Maurice H. ; Hennicker, Rolf ; Proença, José - p. 161-198 , 2024

Link: https://doi.org/10.1007/..

2

Realisability of Global Models of Interaction:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,

ter Beek, Maurice H. ; Hennicker, Rolf ; Proença, José - p. 236-255 , 2023

Link: https://doi.org/10.1007/..

3

Can We Communicate? Using Dynamic Logic to Verify Team Auto..:

, In: Formal Methods; Lecture Notes in Computer Science,

ter Beek, Maurice H. ; Cledou, Guillermina ; Hennicker, Rolf. - p. 122-141 , 2023

Link: https://doi.org/10.1007/..

4

Realisability of Global Models of Interaction (Extended Ver..:

ter Beek, Maurice H ; Hennicker, Rolf ; Proença, José
doi:10.5281/zenodo.8377187. , 2023

Link: https://zenodo.org/recor..

5

Specification of systems with parameterised events: An inst..:

Hennicker, Rolf ; Knapp, Alexander
Journal of Logical and Algebraic Methods in Programming. 128 (2022) - p. 100791 , 2022

Link: https://doi.org/10.1016/..

6

Epistemic Ensembles:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,

Hennicker, Rolf ; Knapp, Alexander ; Wirsing, Martin - p. 110-126 , 2022

Link: https://doi.org/10.1007/..

7

Specification of systems with parameterised events: an inst..:

Hennicker, Rolf ; Knapp, Alexander
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/98325. , 2022

Link: https://opus.bibliothek...

8

Can we Communicate? Using Dynamic Logic to Verify Team Auto..:

ter Beek, Maurice H ; Cledou, Guillermina ; Hennicker, Rolf.
doi:10.5281/zenodo.7338439. , 2022

Link: https://zenodo.org/recor..

9

Can we Communicate? Using Dynamic Logic to Verify Team Auto..:

ter Beek, Maurice H ; Cledou, Guillermina ; Hennicker, Rolf.
doi:10.5281/zenodo.7418074. , 2022

Link: https://zenodo.org/recor..

10

Can we Communicate? Using Dynamic Logic to Verify Team Auto..:

ter Beek, Maurice H ; Cledou, Guillermina ; Hennicker, Rolf.
doi:10.5281/zenodo.7418074. , 2022

Link: https://zenodo.org/recor..

11

Observational interpretations of hybrid dynamic logic with ..:

Hennicker, Rolf ; Knapp, Alexander ; Madeira, Alexandre
Journal of Logical and Algebraic Methods in Programming. 122 (2021) - p. 100698 , 2021

Link: https://doi.org/10.1016/..

12

Hybrid dynamic logic institutions for event/data-based syst..:

Hennicker, Rolf ; Knapp, Alexander ; Madeira, Alexandre
Formal Aspects of Computing. 33 (2021) 6 - p. 1209-1248 , 2021

Link: https://doi.org/10.1007/..

13

Featured Team Automata:

, In: Formal Methods; Lecture Notes in Computer Science,

ter Beek, Maurice H. ; Cledou, Guillermina ; Hennicker, Rolf. - p. 483-502 , 2021

Link: https://doi.org/10.1007/..

14

Featured Team Automata:

ter Beek, Maurice H ; Cledou, Guillermina ; Hennicker, Rolf.
http://arxiv.org/abs/2108.01784. , 2021

Link: http://arxiv.org/abs/210..

15

Hybrid dynamic logic institutions for event/data-based syst..:

Hennicker, Rolf ; Knapp, Alexander ; Madeira, Alexandre
POCI-01-0145-FEDER-029946. , 2021

Link: http://hdl.handle.net/10..