| 2024 | Coordination | Team Automata: Overview and Roadmap. | Maurice H. ter Beek, Rolf Hennicker, Jos Proena |
| 2024 | ISoLA | Epistemic Ensembles in Semantic and Symbolic Environments. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2024 | LPAR | Symbolic Realisation of Epistemic Processes. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2023 | FM | Can We Communicate? Using Dynamic Logic to Verify Team Automata. | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, Jos Proena |
| 2023 | ICTAC | Realisability of Global Models of Interaction. | Maurice H. ter Beek, Rolf Hennicker, Jos Proena |
| 2022 | ISoLA | Epistemic Ensembles. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2021 | FM | Featured Team Automata. | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, Jos Proena |
| 2020 | Coordination | Team Automata@Work: On Safe Communication. | Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
| 2020 | ICTAC | Compositionality of Safe Communication in Systems of Team Automata. | Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
| 2020 | ISoLA | A Dynamic Logic for Systems with Predicate-Based Communication. | Rolf Hennicker, Martin Wirsing |
| 2019 | FASE | A Hybrid Dynamic Logic for Event/Data-Based Systems. | Rolf Hennicker, Alexandre Madeira, Alexander Knapp |
| 2019 | TAP | Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. | Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt |
| 2018 | ISoLA | Dynamic Logic for Ensembles. | Rolf Hennicker, Martin Wirsing |
| 2017 | Coordination | Communication Requirements for Team Automata. | Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn |
| 2017 | ICTAC | Institutions for Behavioural Dynamic Logic with Binders. | Rolf Hennicker, Alexandre Madeira |
| 2016 | Coordination | On Synchronous and Asynchronous Compatibility of Communicating Components. | Rolf Hennicker, Michel Bidoit, Thanh-Son Dang |
| 2016 | ICTAC | Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. | Alexandre Madeira, Lus Soares Barbosa, Rolf Hennicker, Manuel A. Martins |
| 2016 | ISoLA | A Calculus for Open Ensembles and Their Composition. | Rolf Hennicker |
| 2014 | ISoLA | Helena@Work: Modeling the Science Cloud Platform. | Annabelle Klarl, Philip Mayer, Rolf Hennicker |
| 2012 | FASE | 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 |
| 2011 | ICTAC | Modal Interface Theories for Communication-Safe Component Assemblies. | Rolf Hennicker, Alexander Knapp |
| 2010 | TACAS | On Weak Modal Compatibility, Refinement, and the MIO Workbench. | Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker |
| 2009 | CALCO | Views on Behaviour Protocols and Their Semantic Foundation. | Sebastian S. Bauer, Rolf Hennicker |
| 2007 | FASE | Activity-Driven Synthesis of State Machines. | Rolf Hennicker, Alexander Knapp |
| 2005 | ICTAC | Externalized and Internalized Notions of Behavioral Refinement. | Michel Bidoit, Rolf Hennicker |
| 2004 | SEFM | Glass-Box and Black-Box Views on Object-Oriented Specifications. | Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister |
| 2002 | FOSSACS | On the Integration of Observability and Reachability Concepts. | Michel Bidoit, Rolf Hennicker |
| 2001 | FASE | A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. | Bernhard Reus, Martin Wirsing, Rolf Hennicker |
| 2001 | FOSSACS | On the Duality between Observability and Reachability. | Michel Bidoit, Rolf Hennicker, Alexander Kurz |
| 2001 | GI | Specifying Component Invariants with OCL. | Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing |
| 1997 | FCT | Proof Systems for Struvtured Algebraic Specifications: An Overview. | Rolf Hennicker, Martin Wirsing |
| 1994 | COMPASS | Behavioural Theories. | Michel Bidoit, Rolf Hennicker |
| 1994 | ESOP | Characterizing Behavioural Semantics and Abstractor Semantics. | Michel Bidoit, Rolf Hennicker, Martin Wirsing |
| 1993 | ICSR | On the retrieval of reusable software components. | Patrick Shicheng Chen, Rolf Hennicker, Matthias Jarke |
| 1992 | COMPASS | A Behavioural Algebraic Framework for Modular System Design with Reuse. | Rolf Hennicker, Friederike Nickl |
| 1992 | LPAR | ISAR: An Interactive System for Algebraic Implementation Proofs. | Bernhard Bauer, Rolf Hennicker |
| 1989 | STACS | Observational Implementations. | Rolf Hennicker |
| 1988 | MFCS | Reusable Specification Components. | Martin Wirsing, Rolf Hennicker, Ruth Breu |