I agree that this site is using cookies. You can find further informations here.
X
Hennicker, Rolf
113  results:
Search for persons X
?
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

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

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

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

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

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

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

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

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

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

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

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

Role-Based Development of Dynamically Evolving Esembles:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,
Hennicker, Rolf - p. 3-24 , 2019
Link: https://doi.org/10.1007/..
 
?
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/..
 
1-15