Observational Specification: A Birkhoff Theorem. - Rolf Hennicker; Martin Wirsing (ADT, 1984)

An Implementation Concept for Observational Specifications. - Rolf Hennicker (ADT, 1986)

Reusable Specification Components. - Martin Wirsing; Rolf Hennicker; Ruth Breu (MFCS, 1988)

Beobachtungsorientierte Spezifikationen. - Rolf Hennicker (1988)

MENU - An Example for the Systematic Reuse of Specifications. - Martin Wirsing; Rolf Hennicker; Robert Stabl (ESEC, 1989)

Observational Implementations. - Rolf Hennicker (STACS, 1989)

Implementation of Parameterized Observational Specifications. - Rolf Hennicker (TAPSOFT, Vol.1, 1989)

Context Induction: a Proof Principle for Behavioural Abstractions. - Rolf Hennicker (DISCO, 1990)

A Formal Method for the Systematic Reuse of Specification Components. - Rolf Hennicker; Martin Wirsing (Methods of Programming, 1991)

Observational Implementation of Algebraic Specifications. - Rolf Hennicker (Acta Informatica, 1991)

Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations. - Rolf Hennicker (Formal Aspects Comput., 1991)

A Behavioural Algebraic Framework for Modular System Design with Reuse. - Rolf Hennicker; Friederike Nickl (COMPASS/ADT, 1992)

How to Prove Observational Theorems with LP. - Michel Bidoit; Rolf Hennicker (Larch, 1992)

ISAR: An Interactive System for Algebraic Implementation Proofs. - Bernhard Bauer 001; Rolf Hennicker (LPAR, 1992)

A Semi-Algorithm for Algebraic Implementation Proofs. - Rolf Hennicker (Theor. Comput. Sci., 1992)

Proving the Correctness of Algebraic Implementations by the ISAR System. - Bernhard Bauer 001; Rolf Hennicker (DISCO, 1993)

On the retrieval of reusable software components. - Patrick Shicheng Chen; Rolf Hennicker; Matthias Jarke (IWSR, 1993)

A General Framework for Modular Implementations of Modular System Specifications. - Michel Bidoit; Rolf Hennicker (TAPSOFT, 1993)

Proving Behavioural Theorems with Standard First-Order Logic. - Michel Bidoit; Rolf Hennicker (ALP, 1994)

Behavioural Theories. - Michel Bidoit; Rolf Hennicker (COMPASS/ADT, 1994)

Characterizing Behavioural Semantics and Abstractor Semantics. - Michel Bidoit; Rolf Hennicker; Martin Wirsing (ESOP, 1994)

Proving the Correctness of Behavioural Implementations. - Michel Bidoit; Rolf Hennicker (AMAST, 1995)

Design of Modular Software Systems with Reuse. - Stefan Gastinger; Rolf Hennicker; Robert Stabl (KORSO Book, 1995)

Behavioural and Abstractor Specifications. - Michel Bidoit; Rolf Hennicker; Martin Wirsing (Sci. Comput. Program., 1995)

Object-Oriented Implementation of Abstract Data Type Specifications. - Rolf Hennicker; Christoph Schmitz 002 (AMAST, 1996)

Behavioural Theories and the Proof of Behavioural Properties. - Michel Bidoit; Rolf Hennicker (Theor. Comput. Sci., 1996)

Proof Systems for Struvtured Algebraic Specifications: An Overview. - Rolf Hennicker; Martin Wirsing (FCT, 1997)

Proof Systems for Structured Specifications with Observability Operators. - Rolf Hennicker; Martin Wirsing; Michel Bidoit (Theor. Comput. Sci., 1997)

Observational Logic. - Rolf Hennicker; Michel Bidoit (AMAST, 1998)

Modular Correctness Proofs of Behavioural Implementations. - Michel Bidoit; Rolf Hennicker (Acta Informatica, 1998)

Correct Realization of Interface Constraints with OCL. - Françoise Tort; Michel Bidoit; Rolf Hennicker; Martin Wirsing (UML, 1999)

(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. - Rolf Hennicker; Alexander Kurz 001 (CMCS, 1999)

Proof Systems for Structured Specifications and Their Refinements. - Michel Bidoit; María Victoria Cengarle; Rolf Hennicker (Algebraic Foundations of Systems Specification, 1999)

A UML-based Methodology for Hypermedia Design. - Rolf Hennicker; Nora Koch (UML, 2000)

Systematic Design of Web Applications with UML. - Rolf Hennicker; Nora Koch (Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001)

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. - Bernhard Reus; Martin Wirsing; Rolf Hennicker (FASE, 2001)

On the Duality between Observability and Reachability. - Michel Bidoit; Rolf Hennicker; Alexander Kurz 001 (FoSSaCS, 2001)

Specifying Component Invariants with OCL. - Rolf Hennicker; Hubert Baumeister; Alexander Knapp; Martin Wirsing (GI Jahrestagung (1), 2001)

Modeling the User Interface of Web Applications with UML. - Rolf Hennicker; Nora Koch (pUML, 2001)

On the Integration of Observability and Reachability Concepts. - Michel Bidoit; Rolf Hennicker (FoSSaCS, 2002)

On the Precise Meaning of OCL Constraints. - Rolf Hennicker; Heinrich Hußmann; Michel Bidoit (Object Modeling with the OCL, 2002)

On institutions for modular coalgebraic specifications. - Alexander Kurz 001; Rolf Hennicker (Theor. Comput. Sci., 2002)

Semantics of OCL Operation Specifications. - Rolf Hennicker; Alexander Knapp; Hubert Baumeister (OCL 2.0 @ UML, 2003)

Observational logic, constructor-based logic, and their duality. - Michel Bidoit; Rolf Hennicker; Alexander Kurz 001 (Theor. Comput. Sci., 2003)

Glass Box and Black Box Views of State-Based System Specifications.. - Michel Bidoit; Rolf Hennicker (AMAST, 2004)

Glass-Box and Black-Box Views on Object-Oriented Specifications. - Michel Bidoit; Rolf Hennicker; Alexander Knapp; Hubert Baumeister (SEFM, 2004)

DANUBIA: An Integrative Simulation System for Global Change Research in the Upper Danube Basin. - Michael N. Barth; Rolf Hennicker; Andreas Kraus; Matthias Ludwig 002 (Cybern. Syst., 2004)

Property-Driven Development of a Coordination Model for Distributed Simulations. - Rolf Hennicker; Matthias Ludwig 002 (FMOODS, 2005)

Externalized and Internalized Notions of Behavioral Refinement. - Michel Bidoit; Rolf Hennicker (ICTAC, 2005)

A Component Model for Architectural Programming. - Hubert Baumeister; Florian Hacklinger; Rolf Hennicker; Alexander Knapp; Martin Wirsing (FACS, 2005)

Proving Behavioral Refinements of COL-specifications. - Michel Bidoit; Rolf Hennicker (Essays Dedicated to Joseph A. Goguen, 2006)

Design and Implementation of a Coordination Model for Distributed Simulations. - Rolf Hennicker; Matthias Ludwig 002 (Modellierung, 2006)

Constructor-based observational logic. - Michel Bidoit; Rolf Hennicker (J. Log. Algebraic Methods Program., 2006)

Modelling the CoCoME with the Java/AComponent Model. - Alexander Knapp; Stephan Janisch; Rolf Hennicker; Allan Clark; Stephen Gilmore; Florian Hacklinger; Hubert Baumeister; Martin Wirsing (CoCoME, 2007)

Activity-Driven Synthesis of State Machines. - Rolf Hennicker; Alexander Knapp (FASE, 2007)

An Algebraic Semantics for Contract-Based Software Components. - Michel Bidoit; Rolf Hennicker (AMAST, 2008)

Service Specification and Matchmaking Using Description Logic. - M. Birna van Riemsdijk; Rolf Hennicker; Martin Wirsing; Andreas Schroeder 001 (AMAST, 2008)

Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. - Rolf Hennicker; Stephan Janisch; Alexander Knapp (Monterey Workshop, 2008)

On the Observable Behaviour of Composite Components. - Rolf Hennicker; Stephan Janisch; Alexander Knapp (FACS, 2008)

Views on Behaviour Protocols and Their Semantic Foundation. - Sebastian S. Bauer; Rolf Hennicker (CALCO, 2009)

Behaviour Protocols for Interacting Stateful Components. - Sebastian S. Bauer; Rolf Hennicker; Stephan Janisch (FACS@FMWeek, 2009)

Process Refinement and Asynchronous Composition with Modalities. - Dorsaf Elhog-Benzina; Serge Haddad; Rolf Hennicker (ACSD/Petri Nets Workshops, 2010)

A Modal Interface Theory with Data Constraints. - Sebastian S. Bauer; Rolf Hennicker; Michel Bidoit (SBMF, 2010)

On Weak Modal Compatibility, Refinement, and the MIO Workbench. - Sebastian S. Bauer; Philip Mayer; Andreas Schroeder 001; Rolf Hennicker (TACAS, 2010)

Building a Modal Interface Theory for Concurrency and Data. - Sebastian S. Bauer; Rolf Hennicker; Martin Wirsing (WADT, 2010)

Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems - Sebastian S. Bauer; Rolf Hennicker; Stephan Janisch (FIT, 2010)

Modal Interface Theories for Communication-Safe Component Assemblies. - Rolf Hennicker; Alexander Knapp (ICTAC, 2011)

Interface theories for concurrency and data. - Sebastian S. Bauer; Rolf Hennicker; Martin Wirsing (Theor. Comput. Sci., 2011)

Component Interfaces with Contracts on Ports. - Sebastian S. Bauer; Rolf Hennicker; Axel Legay (FACS, 2012)

Moving from Specifications to Contracts in Component-Based Design. - Sebastian S. Bauer; Alexandre David; Rolf Hennicker; Kim Guldstrand Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (FASE, 2012)

View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling. - Rolf Hennicker; Matthias Ludwig 002 (Monterey Workshop, 2012)

Refinement and Asynchronous Composition of Modal Petri Nets. - Dorsaf Elhog-Benzina; Serge Haddad; Rolf Hennicker (Trans. Petri Nets Other Model. Concurr., 2012)

Channel Properties of Asynchronously Composed Petri Nets. - Serge Haddad; Rolf Hennicker; Mikael H. Møller (Petri Nets, 2013)

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. - Philip Mayer; Annabelle Klarl; Rolf Hennicker; Mariachiara Puviani; Francesco Tiezzi 001; Rosario Pugliese; Jaroslav Keznikl; Toma Bure (SASO Workshops, 2013)

Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. - Serge Haddad; Rolf Hennicker; Mikael H. Møller (TGC, 2013)

Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework. - Annabelle Klarl; Rolf Hennicker (Australian Software Engineering Conference, 2014)

Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. - Rolf Hennicker; Annabelle Klarl (Specification, Algebra, and Software, 2014)

Assembly Theories for Communication-Safe Component Systems. - Rolf Hennicker; Alexander Knapp; Martin Wirsing (FPS@ETAPS, 2014)

From Helena Ensemble Specifications to Executable Code. - Annabelle Klarl; Lucia Cichella; Rolf Hennicker (FACS, 2014)

Helena@Work: Modeling the Science Cloud Platform. - Annabelle Klarl; Philip Mayer; Rolf Hennicker (ISoLA (1), 2014)

A meta-theory for component interfaces with contracts on ports. - Sebastian S. Bauer; Rolf Hennicker; Axel Legay (Sci. Comput. Program., 2014)

Model-Checking Helena Ensembles with Spin. - Rolf Hennicker; Annabelle Klarl; Martin Wirsing (Logic, Rewriting, and Concurrency, 2015)

A Homage to Martin Wirsing. - Rocco De Nicola; Rolf Hennicker (Software, Services, and Systems, 2015)

OnPlan: A Framework for Simulation-Based Online Planning. - Lenz Belzner; Rolf Hennicker; Martin Wirsing (FACS, 2015)

Moving from interface theories to assembly theories. - Rolf Hennicker; Alexander Knapp (Acta Informatica, 2015)

Refinement in hybridised institutions. - Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa; Rolf Hennicker (Formal Aspects Comput., 2015)

The Autonomic Cloud. - Philip Mayer; José Velasco; Annabelle Klarl; Rolf Hennicker; Mariachiara Puviani; Francesco Tiezzi 001; Rosario Pugliese; Jaroslav Keznikl; Tomás Bures (The ASCENS Approach, 2015)

On Synchronous and Asynchronous Compatibility of Communicating Components. - Rolf Hennicker; Michel Bidoit; Thanh-Son Dang (COORDINATION, 2016)

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. - Alexandre Madeira; Luís Soares Barbosa; Rolf Hennicker; Manuel A. Martins 001 (ICTAC, 2016)

A Calculus for Open Ensembles and Their Composition. - Rolf Hennicker (ISoLA (1), 2016)

Observational Semantics for Dynamic Logic with Binders. - Rolf Hennicker; Alexandre Madeira (WADT, 2016)

Software-Verifikation. - Dirk Beyer 001; Rolf Hennicker; Martin Hofmann 001; Tobias Nipkow; Martin Wirsing (50 Jahre Universitäts-Informatik in München, 2017)

Communication Requirements for Team Automata. - Maurice H. ter Beek; Josep Carmona 001; Rolf Hennicker; Jetty Kleijn (COORDINATION, 2017)

Institutions for Behavioural Dynamic Logic with Binders. - Rolf Hennicker; Alexandre Madeira (ICTAC, 2017)

Dynamic Logic for Ensembles. - Rolf Hennicker; Martin Wirsing (ISoLA (3), 2018)

Role-Based Development of Dynamically Evolving Esembles. - Rolf Hennicker (WADT, 2018)

Global Types for Open Systems. - Franco Barbanera; Ugo de'Liguoro; Rolf Hennicker (ICE, 2018)

Compatibility Properties of Synchronously and Asynchronously Communicating Components. - Rolf Hennicker; Michel Bidoit (Log. Methods Comput. Sci., 2018)

Behavioural and abstractor specifications revisited. - Rolf Hennicker; Alexandre Madeira; Martin Wirsing (Theor. Comput. Sci., 2018)

A logic for the stepwise development of reactive systems. - Alexandre Madeira; Luís Soares Barbosa; Rolf Hennicker; Manuel A. Martins 001 (Theor. Comput. Sci., 2018)

A Generic Dynamic Logic with Applications to Interaction-Based Systems. - Rolf Hennicker; Martin Wirsing (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. - Martin Wirsing; Rolf Hennicker (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

A Hybrid Dynamic Logic for Event/Data-Based Systems. - Rolf Hennicker; Alexandre Madeira; Alexander Knapp (FASE, 2019)

Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. - Rolf Hennicker; Alexander Knapp; Alexandre Madeira; Felix Mindt (DaLí, 2019)

Connecting open systems of communicating finite state machines. - Franco Barbanera; Ugo de'Liguoro; Rolf Hennicker (J. Log. Algebraic Methods Program., 2019)

Team Automata@Work: On Safe Communication. - Maurice H. ter Beek; Rolf Hennicker; Jetty Kleijn (COORDINATION, 2020)

Compositionality of Safe Communication in Systems of Team Automata. - Maurice H. ter Beek; Rolf Hennicker; Jetty Kleijn (ICTAC, 2020)

A Dynamic Logic for Systems with Predicate-Based Communication. - Rolf Hennicker; Martin Wirsing (ISoLA (2), 2020)

Featured Team Automata. - Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença (FM, 2021)

Hybrid dynamic logic institutions for event/data-based systems. - Rolf Hennicker; Alexander Knapp; Alexandre Madeira (Formal Aspects Comput., 2021)

Observational interpretations of hybrid dynamic logic with binders and silent transitions. - Rolf Hennicker; Alexander Knapp; Alexandre Madeira (J. Log. Algebraic Methods Program., 2021)

Epistemic Ensembles. - Rolf Hennicker; Alexander Knapp; Martin Wirsing (ISoLA (3), 2022)

Specification of systems with parameterised events: An institution-independent approach. - Rolf Hennicker; Alexander Knapp (J. Log. Algebraic Methods Program., 2022)

Can we Communicate? Using Dynamic Logic to Verify Team Automata. - Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença (Zenodo, 2022)

Can We Communicate? Using Dynamic Logic to Verify Team Automata. - Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença (FM, 2023)

Realisability of Global Models of Interaction. - Maurice H. ter Beek; Rolf Hennicker; José Proença (ICTAC, 2023)

Team Automata: Overview and Roadmap. - Maurice H. ter Beek; Rolf Hennicker; José Proença (COORDINATION, 2024)

Epistemic Ensembles in Semantic and Symbolic Environments. - Rolf Hennicker; Alexander Knapp; Martin Wirsing (ISoLA (2), 2024)

Symbolic Realisation of Epistemic Processes. - Rolf Hennicker; Alexander Knapp; Martin Wirsing (LPAR, 2024)

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs). - Rolf Hennicker; Alexander Knapp; Martin Wirsing (CoRR, 2024)

Safe Composition of Systems of Communicating Finite State Machines. - Franco Barbanera; Rolf Hennicker (ICE, 2024)

Overview and Roadmap of Team Automata. - Maurice H. ter Beek; Rolf Hennicker; José Proença (CoRR, 2025)