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

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/..

5

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/..

6

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/..

7

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/..

8

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/..

9

A Dynamic Logic for Systems with Predicate-Based Communicat..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

Hennicker, Rolf ; Wirsing, Martin - p. 224-242 , 2020

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

10

Team Automata@Work: On Safe Communication:

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

ter Beek, Maurice H. ; Hennicker, Rolf ; Kleijn, Jetty - p. 77-85 , 2020

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

11

Compositionality of Safe Communication in Systems of Team A..:

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

ter Beek, Maurice H. ; Hennicker, Rolf ; Kleijn, Jetty - p. 200-220 , 2020

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

12

Behavioural and Abstractor Specifications for a Dynamic Log..:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,

Hennicker, Rolf ; Knapp, Alexander ; Madeira, Alexandre. - p. 19-34 , 2020

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

13

Process Calculi for Modelling Mobile, Service-Oriented, and..:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Wirsing, Martin ; Hennicker, Rolf - p. 367-387 , 2019

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

14

Connecting open systems of communicating finite state machi..:

Barbanera, Franco ; de'Liguoro, Ugo ; Hennicker, Rolf
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100476 , 2019

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

15

A Generic Dynamic Logic with Applications to Interaction-Ba..:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Hennicker, Rolf ; Wirsing, Martin - p. 172-187 , 2019

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