On Semantic and Logical Refinement of Actions
Towards Automata for Branching Time and Partial Order
Partial Order Reductions for Bisimulation Checking
Action Refinement
Model Checking Gossip Modalities
On the Hierarchical Design of Distributed Systems
Tools for the Model-based Development of Certifiable, Dependable Systems
Put your model checker on diet
Eine Ereignisstruktursemantik für eine objektbasierte Spezifikationssprache für verteilte Informationssysteme
Auch ein blindes Huhn findet mal ein Korn
Das Europäische Huhn im 21. Jahrhundert
Mum Goes to Work
Hühner, Hühner, Hühner
Mum and Dad Go to Work