Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Hennicker, Rolf
20  Ergebnisse:
Buchkapitel (Online) X
Personensuche 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

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

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

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

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

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

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

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

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

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

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

A Hybrid Dynamic Logic for Event/Data-Based Systems:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Hennicker, Rolf ; Madeira, Alexandre ; Knapp, Alexander - p. 79-97 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Dynamic Logic for Ensembles:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science,
Hennicker, Rolf ; Wirsing, Martin - p. 32-47 , 2018
Link: https://doi.org/10.1007/..
 
?
15

Software-Verifikation:

, In: 50 Jahre Universitäts-Informatik in München,
Beyer, Dirk ; Hennicker, Rolf ; Hofmann, Martin.. - p. 75-86 , 2017
Link: https://doi.org/10.1007/..
 
1-15