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

OpenAccess-Volltexte X

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

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

2

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

3

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

4

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

5

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

6

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

7

Featured Team Automata:

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

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

8

Featured Team Automata ; 210803:

Beek, Maurice H. ter ; Cledou, Guillermina ; Hennicker, Rolf.
MIUR PRIN2017 FTXR7S. , 2021

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

9

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

Hennicker, Rolf ; Knapp, Alexander ; Madeira, Alexandre
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/88557. , 2021

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

10

A logic for the stepwise development of reactive systems:

Madeira, Alexandre ; Barbosa, Luís S ; Hennicker, Rolf.
info:eu-repo/grantAgreement/FCT/5876/147206/PT. , 2020

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

11

Team Automata@Work: On Safe Communication:

ter Beek, Maurice, H ; Hennicker, Rolf ; Kleijn, Jetty
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-50029-0_5. , 2020

Link: https://inria.hal.scienc..

12

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

ter Beek, Maurice H ; Hennicker, Rolf ; Kleijn, Jetty
doi:10.5281/zenodo.4050292. , 2020

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

13

A hybrid dynamic logic for event/data-based systems:

Hennicker, Rolf ; Madeira, Alexandre ; Knapp, Alexander
POCI-01-0145-FEDER-016692. , 2019

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

14

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

Hennicker, Rolf ; Madeira, Alexandre ; Knapp, Alexander
http://arxiv.org/abs/1902.03074. , 2019

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

15

Behavioural and abstractor specifications revisited:

Hennicker, Rolf ; Madeira, Alexandre ; Wirsing, Martin
0304-3975. , 2018

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

1-15