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

2

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

3

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

4

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

5

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

6

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

7

Behavioural and abstractor specifications revisited:

Hennicker, Rolf ; Madeira, Alexandre ; Wirsing, Martin
Theoretical Computer Science. 741 (2018) - p. 32-43 , 2018

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

8

A logic for the stepwise development of reactive systems:

Madeira, Alexandre ; Barbosa, Luís S. ; Hennicker, Rolf.
Theoretical Computer Science. 744 (2018) - p. 78-96 , 2018

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

9

Helena

Handling massively distributed systems with ELaborate ENsem...

Klarl, Annabelle , 2016

Link: http://nbn-resolving.de/..

10

Software, Services, and Systems

Essays Dedicated to Martin Wirsing on the Occasion of His R... Lecture Notes in Computer Science ; 8950;SpringerLink, Bücher

Nicola, Rocco ; Hennicker, Rolf , 2015

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

11

Refinement in hybridised institutions:

Madeira, Alexandre ; Martins, Manuel A. ; Barbosa, Luís S..
Formal Aspects of Computing. 27 (2015) 2 - p. 375-395 , 2015

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

12

Moving from interface theories to assembly theories:

Hennicker, Rolf ; Knapp, Alexander
Acta Informatica. 52 (2015) 2-3 - p. 235-268 , 2015

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

13

A meta-theory for component interfaces with contracts on po..:

Bauer, Sebastian ; Hennicker, Rolf ; Legay, Axel
Science of Computer Programming. 91 (2014) - p. 70-89 , 2014

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

14

Design and Implementation of Dynamically Evolving Ensembles..:

, In: 2014 23rd Australian Software Engineering Conference,

Klarl, Annabelle ; Hennicker, Rolf - p. 15-24 , 2014

Link: https://doi.org/10.1109/..

15

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Clo..:

, In: 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops,

Mayer, Philip ; Klarl, Annabelle ; Hennicker, Rolf... - p. 89-94 , 2013

Link: https://doi.org/10.1109/..