Rolf Hennicker

127 papers A 3B 15C 10Misc 1Journal 29Unranked 60

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Safe orchestrated multicomposition of systems of communicating finite state machines. J. Log. Algebraic Methods Program. Franco Barbanera, Rolf Hennicker
2025	J	`jnl`	Overview and Roadmap of Team Automata. CoRR Maurice H. ter Beek, Rolf Hennicker, José Proença
2024	J	`jnl`	Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs). CoRR Rolf Hennicker, Alexander Knapp, Martin Wirsing
2024	—	`conf`	Epistemic Ensembles in Semantic and Symbolic Environments. ISoLA (2) Rolf Hennicker, Alexander Knapp, Martin Wirsing
2024	—	`conf`	Safe Composition of Systems of Communicating Finite State Machines. ICE Franco Barbanera, Rolf Hennicker
2024	B	`conf`	Symbolic Realisation of Epistemic Processes. LPAR Rolf Hennicker, Alexander Knapp, Martin Wirsing
2024	C	`conf`	Team Automata: Overview and Roadmap. COORDINATION Maurice H. ter Beek, Rolf Hennicker, José Proença
2023	B	`conf`	Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2023	C	`conf`	Realisability of Global Models of Interaction. ICTAC Maurice H. ter Beek, Rolf Hennicker, José Proença
2022	—	`conf`	Epistemic Ensembles. ISoLA (3) Rolf Hennicker, Alexander Knapp, Martin Wirsing
2022	J	`jnl`	Specification of systems with parameterised events: An institution-independent approach. J. Log. Algebraic Methods Program. Rolf Hennicker, Alexander Knapp
2021	B	`conf`	Featured Team Automata. FM Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2021	J	`jnl`	Featured Team Automata. CoRR Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2021	J	`jnl`	Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. Rolf Hennicker, Alexander Knapp, Alexandre Madeira
2021	J	`jnl`	Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. Rolf Hennicker, Alexander Knapp, Alexandre Madeira
2020	—	`conf`	A Dynamic Logic for Systems with Predicate-Based Communication. ISoLA (2) Rolf Hennicker, Martin Wirsing
2020	C	`conf`	Compositionality of Safe Communication in Systems of Team Automata. ICTAC Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
2020	C	`conf`	Team Automata@Work: On Safe Communication. COORDINATION Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
2019	—	`conf`	A Generic Dynamic Logic with Applications to Interaction-Based Systems. From Software Engineering to Formal Methods and Tools, and Back Rolf Hennicker, Martin Wirsing
2019	B	`conf`	A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE Rolf Hennicker, Alexandre Madeira, Alexander Knapp
2019	J	`jnl`	A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR Rolf Hennicker, Alexandre Madeira, Alexander Knapp
2019	—	`conf`	Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt
2019	J	`jnl`	Connecting open systems of communicating finite state machines. J. Log. Algebraic Methods Program. Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
2019	—	`conf`	Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. Models, Languages, and Tools for Concurrent and Distributed Programming Martin Wirsing, Rolf Hennicker
2018	J	`jnl`	A logic for the stepwise development of reactive systems. Theor. Comput. Sci. Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
2018	J	`jnl`	Behavioural and abstractor specifications revisited. Theor. Comput. Sci. Rolf Hennicker, Alexandre Madeira, Martin Wirsing
2018	J	`jnl`	Compatibility Properties of Synchronously and Asynchronously Communicating Components. Log. Methods Comput. Sci. Rolf Hennicker, Michel Bidoit
2018	—	`conf`	Dynamic Logic for Ensembles. ISoLA (3) Rolf Hennicker, Martin Wirsing
2018	—	`conf`	Global Types for Open Systems. ICE Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
2018	—	`conf`	Role-Based Development of Dynamically Evolving Esembles. WADT Rolf Hennicker
2017	C	`conf`	Communication Requirements for Team Automata. COORDINATION Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
2017	C	`conf`	Institutions for Behavioural Dynamic Logic with Binders. ICTAC Rolf Hennicker, Alexandre Madeira
2017	—	`ch.`	Software-Verifikation. 50 Jahre Universitäts-Informatik in München Dirk Beyer, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing
2016	—	`conf`	A Calculus for Open Ensembles and Their Composition. ISoLA (1) Rolf Hennicker
2016	J	`jnl`	Compatibility Properties of Synchronously and Asynchronously Communicating Components. CoRR Rolf Hennicker, Michel Bidoit
2016	C	`conf`	Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
2016	—	`conf`	Observational Semantics for Dynamic Logic with Binders. WADT Rolf Hennicker, Alexandre Madeira
2016	C	`conf`	On Synchronous and Asynchronous Compatibility of Communicating Components. COORDINATION Rolf Hennicker, Michel Bidoit, Thanh-Son Dang
2015	—	`conf`	A Homage to Martin Wirsing. Software, Services, and Systems Rocco De Nicola, Rolf Hennicker
2015	—	`conf`	Model-Checking Helena Ensembles with Spin. Logic, Rewriting, and Concurrency Rolf Hennicker, Annabelle Klarl, Martin Wirsing
2015	J	`jnl`	Moving from interface theories to assembly theories. Acta Informatica Rolf Hennicker, Alexander Knapp
2015	—	`conf`	OnPlan: A Framework for Simulation-Based Online Planning. FACS Lenz Belzner, Rolf Hennicker, Martin Wirsing
2015	J	`jnl`	Refinement in hybridised institutions. Formal Aspects Comput. Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker
2015	—	`ed.`	Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering Software, Services, and Systems Rocco De Nicola, Rolf Hennicker
2015	—	`ch.`	The Autonomic Cloud. The ASCENS Approach Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures
2014	J	`jnl`	A meta-theory for component interfaces with contracts on ports. Sci. Comput. Program. Sebastian S. Bauer, Rolf Hennicker, Axel Legay
2014	—	`conf`	Assembly Theories for Communication-Safe Component Systems. FPS@ETAPS Rolf Hennicker, Alexander Knapp, Martin Wirsing
2014	—	`conf`	Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework. Australian Software Engineering Conference Annabelle Klarl, Rolf Hennicker
2014	—	`conf`	Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. Specification, Algebra, and Software Rolf Hennicker, Annabelle Klarl
2014	—	`conf`	From Helena Ensemble Specifications to Executable Code. FACS Annabelle Klarl, Lucia Cichella, Rolf Hennicker
2014	—	`conf`	Helena@Work: Modeling the Science Cloud Platform. ISoLA (1) Annabelle Klarl, Philip Mayer, Rolf Hennicker
2013	B	`conf`	Channel Properties of Asynchronously Composed Petri Nets. Petri Nets Serge Haddad, Rolf Hennicker, Mikael H. Møller
2013	—	`conf`	Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. TGC Serge Haddad, Rolf Hennicker, Mikael H. Møller
2013	—	`conf`	The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. SASO Workshops Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure
2012	—	`conf`	Component Interfaces with Contracts on Ports. FACS Sebastian S. Bauer, Rolf Hennicker, Axel Legay
2012	B	`conf`	Moving from Specifications to Contracts in Component-Based Design. FASE Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2012	J	`jnl`	Refinement and Asynchronous Composition of Modal Petri Nets. Trans. Petri Nets Other Model. Concurr. Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker
2012	—	`conf`	View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling. Monterey Workshop Rolf Hennicker, Matthias Ludwig
2011	J	`jnl`	Interface theories for concurrency and data. Theor. Comput. Sci. Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
2011	C	`conf`	Modal Interface Theories for Communication-Safe Component Assemblies. ICTAC Rolf Hennicker, Alexander Knapp
2010	—	`conf`	A Modal Interface Theory with Data Constraints. SBMF Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit
2010	—	`conf`	Building a Modal Interface Theory for Concurrency and Data. WADT Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
2010	Misc	`conf`	Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems FIT Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
2010	A	`conf`	On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker
2010	—	`conf`	Process Refinement and Asynchronous Composition with Modalities. ACSD/Petri Nets Workshops Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker
2009	—	`conf`	Behaviour Protocols for Interacting Stateful Components. FACS@FMWeek Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
2009	B	`conf`	Views on Behaviour Protocols and Their Semantic Foundation. CALCO Sebastian S. Bauer, Rolf Hennicker
2008	—	`conf`	An Algebraic Semantics for Contract-Based Software Components. AMAST Michel Bidoit, Rolf Hennicker
2008	—	`conf`	On the Observable Behaviour of Composite Components. FACS Rolf Hennicker, Stephan Janisch, Alexander Knapp
2008	—	`conf`	Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. Monterey Workshop Rolf Hennicker, Stephan Janisch, Alexander Knapp
2008	—	`conf`	Service Specification and Matchmaking Using Description Logic. AMAST M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder
2007	B	`conf`	Activity-Driven Synthesis of State Machines. FASE Rolf Hennicker, Alexander Knapp
2007	—	`conf`	Modelling the CoCoME with the Java/AComponent Model. CoCoME Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing
2006	J	`jnl`	Constructor-based observational logic. J. Log. Algebraic Methods Program. Michel Bidoit, Rolf Hennicker
2006	—	`conf`	Design and Implementation of a Coordination Model for Distributed Simulations. Modellierung Rolf Hennicker, Matthias Ludwig
2006	—	`conf`	Proving Behavioral Refinements of COL-specifications. Essays Dedicated to Joseph A. Goguen Michel Bidoit, Rolf Hennicker
2005	—	`conf`	A Component Model for Architectural Programming. FACS Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
2005	C	`conf`	Externalized and Internalized Notions of Behavioral Refinement. ICTAC Michel Bidoit, Rolf Hennicker
2005	—	`conf`	Property-Driven Development of a Coordination Model for Distributed Simulations. FMOODS Rolf Hennicker, Matthias Ludwig
2004	J	`jnl`	DANUBIA: An Integrative Simulation System for Global Change Research in the Upper Danube Basin. Cybern. Syst. Michael N. Barth, Rolf Hennicker, Andreas Kraus, Matthias Ludwig
2004	—	`conf`	Glass Box and Black Box Views of State-Based System Specifications.. AMAST Michel Bidoit, Rolf Hennicker
2004	B	`conf`	Glass-Box and Black-Box Views on Object-Oriented Specifications. SEFM Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister
2003	J	`jnl`	Observational logic, constructor-based logic, and their duality. Theor. Comput. Sci. Michel Bidoit, Rolf Hennicker, Alexander Kurz
2003	—	`ed.`	Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers WADT Martin Wirsing, Dirk Pattinson, Rolf Hennicker
2003	—	`conf`	Semantics of OCL Operation Specifications. OCL 2.0 @ UML Rolf Hennicker, Alexander Knapp, Hubert Baumeister
2002	J	`jnl`	On institutions for modular coalgebraic specifications. Theor. Comput. Sci. Alexander Kurz, Rolf Hennicker
2002	B	`conf`	On the Integration of Observability and Reachability Concepts. FoSSaCS Michel Bidoit, Rolf Hennicker
2002	—	`ch.`	On the Precise Meaning of OCL Constraints. Object Modeling with the OCL Rolf Hennicker, Heinrich Hußmann, Michel Bidoit
2001	B	`conf`	A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE Bernhard Reus, Martin Wirsing, Rolf Hennicker
2001	—	`conf`	Modeling the User Interface of Web Applications with UML. pUML Rolf Hennicker, Nora Koch
2001	B	`conf`	On the Duality between Observability and Reachability. FoSSaCS Michel Bidoit, Rolf Hennicker, Alexander Kurz
2001	—	`conf`	Specifying Component Invariants with OCL. GI Jahrestagung (1) Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
2001	—	`ch.`	Systematic Design of Web Applications with UML. Unified Modeling Language: Systems Analysis, Design and Development Issues Rolf Hennicker, Nora Koch
2000	—	`conf`	A UML-based Methodology for Hypermedia Design. UML Rolf Hennicker, Nora Koch
1999	—	`conf`	(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. CMCS Rolf Hennicker, Alexander Kurz
1999	—	`conf`	Correct Realization of Interface Constraints with OCL. UML Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing
1999	—	`ch.`	Proof Systems for Structured Specifications and Their Refinements. Algebraic Foundations of Systems Specification Michel Bidoit, María Victoria Cengarle, Rolf Hennicker
1998	J	`jnl`	Modular Correctness Proofs of Behavioural Implementations. Acta Informatica Michel Bidoit, Rolf Hennicker
1998	—	`conf`	Observational Logic. AMAST Rolf Hennicker, Michel Bidoit
1997	J	`jnl`	Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. Rolf Hennicker, Martin Wirsing, Michel Bidoit
1997	B	`conf`	Proof Systems for Struvtured Algebraic Specifications: An Overview. FCT Rolf Hennicker, Martin Wirsing
1996	J	`jnl`	Behavioural Theories and the Proof of Behavioural Properties. Theor. Comput. Sci. Michel Bidoit, Rolf Hennicker
1996	—	`conf`	Object-Oriented Implementation of Abstract Data Type Specifications. AMAST Rolf Hennicker, Christoph Schmitz
1995	J	`jnl`	Behavioural and Abstractor Specifications. Sci. Comput. Program. Michel Bidoit, Rolf Hennicker, Martin Wirsing
1995	—	`ch.`	Design of Modular Software Systems with Reuse. KORSO Book Stefan Gastinger, Rolf Hennicker, Robert Stabl
1995	—	`conf`	Proving the Correctness of Behavioural Implementations. AMAST Michel Bidoit, Rolf Hennicker
1994	—	`conf`	Behavioural Theories. COMPASS/ADT Michel Bidoit, Rolf Hennicker
1994	A	`conf`	Characterizing Behavioural Semantics and Abstractor Semantics. ESOP Michel Bidoit, Rolf Hennicker, Martin Wirsing
1994	—	`conf`	Proving Behavioural Theorems with Standard First-Order Logic. ALP Michel Bidoit, Rolf Hennicker
1993	—	`conf`	A General Framework for Modular Implementations of Modular System Specifications. TAPSOFT Michel Bidoit, Rolf Hennicker
1993	—	`conf`	On the retrieval of reusable software components. IWSR Patrick Shicheng Chen, Rolf Hennicker, Matthias Jarke
1993	—	`conf`	Proving the Correctness of Algebraic Implementations by the ISAR System. DISCO Bernhard Bauer, Rolf Hennicker
1992	—	`conf`	A Behavioural Algebraic Framework for Modular System Design with Reuse. COMPASS/ADT Rolf Hennicker, Friederike Nickl
1992	J	`jnl`	A Semi-Algorithm for Algebraic Implementation Proofs. Theor. Comput. Sci. Rolf Hennicker
1992	—	`conf`	How to Prove Observational Theorems with LP. Larch Michel Bidoit, Rolf Hennicker
1992	B	`conf`	ISAR: An Interactive System for Algebraic Implementation Proofs. LPAR Bernhard Bauer, Rolf Hennicker
1991	—	`conf`	A Formal Method for the Systematic Reuse of Specification Components. Methods of Programming Rolf Hennicker, Martin Wirsing
1991	J	`jnl`	Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations. Formal Aspects Comput. Rolf Hennicker
1991	J	`jnl`	Observational Implementation of Algebraic Specifications. Acta Informatica Rolf Hennicker
1990	—	`conf`	Context Induction: a Proof Principle for Behavioural Abstractions. DISCO Rolf Hennicker
1989	—	`conf`	Implementation of Parameterized Observational Specifications. TAPSOFT, Vol.1 Rolf Hennicker
1989	—	`conf`	MENU - An Example for the Systematic Reuse of Specifications. ESEC Martin Wirsing, Rolf Hennicker, Robert Stabl
1989	A	`conf`	Observational Implementations. STACS Rolf Hennicker
1988	—	`—`	Beobachtungsorientierte Spezifikationen. Rolf Hennicker
1988	B	`conf`	Reusable Specification Components. MFCS Martin Wirsing, Rolf Hennicker, Ruth Breu
1986	—	`conf`	An Implementation Concept for Observational Specifications. ADT Rolf Hennicker
1984	—	`conf`	Observational Specification: A Birkhoff Theorem. ADT Rolf Hennicker, Martin Wirsing