Rolf Hennicker

According to our database, Rolf Hennicker authored at least 115 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Realisability of Global Models of Interaction.

Maurice H. ter Beek, Rolf Hennicker, José Proença

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Can We Communicate? Using Dynamic Logic to Verify Team Automata.

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Specification of systems with parameterised events: An institution-independent approach.

Rolf Hennicker, Alexander Knapp

J. Log. Algebraic Methods Program., 2022

Epistemic Ensembles.

Rolf Hennicker, Alexander Knapp, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2021

Observational interpretations of hybrid dynamic logic with binders and silent transitions.

Rolf Hennicker, Alexander Knapp, Alexandre Madeira

J. Log. Algebraic Methods Program., 2021

Hybrid dynamic logic institutions for event/data-based systems.

Rolf Hennicker, Alexander Knapp, Alexandre Madeira

Formal Aspects Comput., 2021

Featured Team Automata.

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

A Dynamic Logic for Systems with Predicate-Based Communication.

Rolf Hennicker, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Compositionality of Safe Communication in Systems of Team Automata.

Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

Team Automata@Work: On Safe Communication.

Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn

Proceedings of the Coordination Models and Languages, 2020

2019

Connecting open systems of communicating finite state machines.

Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker

J. Log. Algebraic Methods Program., 2019

Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.

Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

A Hybrid Dynamic Logic for Event/Data-Based Systems.

Rolf Hennicker, Alexandre Madeira, Alexander Knapp

Proceedings of the Fundamental Approaches to Software Engineering, 2019

Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems.

Martin Wirsing, Rolf Hennicker

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

A Generic Dynamic Logic with Applications to Interaction-Based Systems.

Rolf Hennicker, Martin Wirsing

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

A logic for the stepwise development of reactive systems.

Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins

Theor. Comput. Sci., 2018

Behavioural and abstractor specifications revisited.

Rolf Hennicker, Alexandre Madeira, Martin Wirsing

Theor. Comput. Sci., 2018

Compatibility Properties of Synchronously and Asynchronously Communicating Components.

Rolf Hennicker, Michel Bidoit

Log. Methods Comput. Sci., 2018

Global Types for Open Systems.

Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker

Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018

Role-Based Development of Dynamically Evolving Esembles.

Rolf Hennicker

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

Dynamic Logic for Ensembles.

Rolf Hennicker, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

Institutions for Behavioural Dynamic Logic with Binders.

Rolf Hennicker, Alexandre Madeira

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

Communication Requirements for Team Automata.

Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn

Proceedings of the Coordination Models and Languages, 2017

Software-Verifikation.

Dirk Beyer, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing

Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017

2016

Observational Semantics for Dynamic Logic with Binders.

Rolf Hennicker, Alexandre Madeira

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

A Calculus for Open Ensembles and Their Composition.

Rolf Hennicker

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

On Synchronous and Asynchronous Compatibility of Communicating Components.

Rolf Hennicker, Michel Bidoit, Thanh-Son Dang

Proceedings of the Coordination Models and Languages, 2016

2015

The Autonomic Cloud.

Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Refinement in hybridised institutions.

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker

Formal Aspects Comput., 2015

Moving from interface theories to assembly theories.

Rolf Hennicker, Alexander Knapp

Acta Informatica, 2015

OnPlan: A Framework for Simulation-Based Online Planning.

Lenz Belzner, Rolf Hennicker, Martin Wirsing

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

A Homage to Martin Wirsing.

Rocco De Nicola, Rolf Hennicker

Proceedings of the Software, 2015

Model-Checking Helena Ensembles with Spin.

Rolf Hennicker, Annabelle Klarl, Martin Wirsing

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

A meta-theory for component interfaces with contracts on ports.

Sebastian S. Bauer, Rolf Hennicker, Axel Legay

Sci. Comput. Program., 2014

Helena@Work: Modeling the Science Cloud Platform.

Annabelle Klarl, Philip Mayer, Rolf Hennicker

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

From Helena Ensemble Specifications to Executable Code.

Annabelle Klarl, Lucia Cichella, Rolf Hennicker

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Assembly Theories for Communication-Safe Component Systems.

Rolf Hennicker, Alexander Knapp, Martin Wirsing

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures.

Rolf Hennicker, Annabelle Klarl

Proceedings of the Specification, Algebra, and Software, 2014

Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework.

Annabelle Klarl, Rolf Hennicker

Proceedings of the 23rd Australian Software Engineering Conference, 2014

2013

Specification of Asynchronous Component Systems with Modal I/O-Petri Nets.

Serge Haddad, Rolf Hennicker, Mikael H. Møller

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

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

Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Channel Properties of Asynchronously Composed Petri Nets.

Serge Haddad, Rolf Hennicker, Mikael H. Møller

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Refinement and Asynchronous Composition of Modal Petri Nets.

Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker

Trans. Petri Nets Other Model. Concurr., 2012

View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling.

Rolf Hennicker, Matthias Ludwig

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 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

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Component Interfaces with Contracts on Ports.

Sebastian S. Bauer, Rolf Hennicker, Axel Legay

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Interface theories for concurrency and data.

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing

Theor. Comput. Sci., 2011

Modal Interface Theories for Communication-Safe Component Assemblies.

Rolf Hennicker, Alexander Knapp

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2010

Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems

Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch

Proceedings of the Proceedings Foundations for Interface Technologies, 2010

Building a Modal Interface Theory for Concurrency and Data.

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

On Weak Modal Compatibility, Refinement, and the MIO Workbench.

Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

A Modal Interface Theory with Data Constraints.

Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit

Proceedings of the Formal Methods: Foundations and Applications, 2010

Process Refinement and Asynchronous Composition with Modalities.

Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

Behaviour Protocols for Interacting Stateful Components.

Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Views on Behaviour Protocols and Their Semantic Foundation.

Sebastian S. Bauer, Rolf Hennicker

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

On the Observable Behaviour of Composite Components.

Rolf Hennicker, Stephan Janisch, Alexander Knapp

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication.

Rolf Hennicker, Stephan Janisch, Alexander Knapp

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Service Specification and Matchmaking Using Description Logic.

M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder

Proceedings of the Algebraic Methodology and Software Technology, 2008

An Algebraic Semantics for Contract-Based Software Components.

Michel Bidoit, Rolf Hennicker

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Activity-Driven Synthesis of State Machines.

Rolf Hennicker, Alexander Knapp

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Modelling the CoCoME with the Java/AComponent Model.

Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Constructor-based observational logic.

Michel Bidoit, Rolf Hennicker

J. Log. Algebraic Methods Program., 2006

Design and Implementation of a Coordination Model for Distributed Simulations.

Rolf Hennicker, Matthias Ludwig

Proceedings of the Modellierung 2006, 2006

Proving Behavioral Refinements of COL-specifications.

Michel Bidoit, Rolf Hennicker

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

A Component Model for Architectural Programming.

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Externalized and Internalized Notions of Behavioral Refinement.

Michel Bidoit, Rolf Hennicker

Proceedings of the Theoretical Aspects of Computing, 2005

Property-Driven Development of a Coordination Model for Distributed Simulations.

Rolf Hennicker, Matthias Ludwig

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

DANUBIA: An Integrative Simulation System for Global Change Research in the Upper Danube Basin.

Michael N. Barth, Rolf Hennicker, Andreas Kraus, Matthias Ludwig

Cybern. Syst., 2004

Glass-Box and Black-Box Views on Object-Oriented Specifications.

Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Glass Box and Black Box Views of State-Based System Specifications..

Michel Bidoit, Rolf Hennicker

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Observational logic, constructor-based logic, and their duality.

Michel Bidoit, Rolf Hennicker, Alexander Kurz

Theor. Comput. Sci., 2003

Semantics of OCL Operation Specifications.

Rolf Hennicker, Alexander Knapp, Hubert Baumeister

Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003

2002

On institutions for modular coalgebraic specifications.

Alexander Kurz, Rolf Hennicker

Theor. Comput. Sci., 2002

On the Precise Meaning of OCL Constraints.

Rolf Hennicker, Heinrich Hußmann, Michel Bidoit

Proceedings of the Object Modeling with the OCL, 2002

On the Integration of Observability and Reachability Concepts.

Michel Bidoit, Rolf Hennicker

Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001

Modeling the User Interface of Web Applications with UML.

Rolf Hennicker, Nora Koch

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Specifying Component Invariants with OCL.

Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

On the Duality between Observability and Reachability.

Michel Bidoit, Rolf Hennicker, Alexander Kurz

Proceedings of the Foundations of Software Science and Computation Structures, 2001

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.

Bernhard Reus, Martin Wirsing, Rolf Hennicker

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Systematic Design of Web Applications with UML.

Rolf Hennicker, Nora Koch

Proceedings of the Unified Modeling Language: Systems Analysis, 2001

2000

A UML-based Methodology for Hypermedia Design.

Rolf Hennicker, Nora Koch

Proceedings of the «UML» 2000, 2000

1999

Proof Systems for Structured Specifications and Their Refinements.

Michel Bidoit, María Victoria Cengarle, Rolf Hennicker

Proceedings of the Algebraic Foundations of Systems Specification, 1999

(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications.

Rolf Hennicker, Alexander Kurz

Proceedings of the Coalgebraic Methods in Computer Science, 1999

Correct Realization of Interface Constraints with OCL.

Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

1998

Modular Correctness Proofs of Behavioural Implementations.

Michel Bidoit, Rolf Hennicker

Acta Informatica, 1998

Observational Logic.

Rolf Hennicker, Michel Bidoit

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Proof Systems for Structured Specifications with Observability Operators.

Rolf Hennicker, Martin Wirsing, Michel Bidoit

Theor. Comput. Sci., 1997

Proof Systems for Struvtured Algebraic Specifications: An Overview.

Rolf Hennicker, Martin Wirsing

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1996

Behavioural Theories and the Proof of Behavioural Properties.

Michel Bidoit, Rolf Hennicker

Theor. Comput. Sci., 1996

Object-Oriented Implementation of Abstract Data Type Specifications.

Rolf Hennicker, Christoph Schmitz

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Behavioural and Abstractor Specifications.

Michel Bidoit, Rolf Hennicker, Martin Wirsing

Sci. Comput. Program., 1995

Design of Modular Software Systems with Reuse.

Stefan Gastinger, Rolf Hennicker, Robert Stabl

Proceedings of the KORSO, 1995

Proving the Correctness of Behavioural Implementations.

Michel Bidoit, Rolf Hennicker

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Characterizing Behavioural Semantics and Abstractor Semantics.

Michel Bidoit, Rolf Hennicker, Martin Wirsing

Proceedings of the Programming Languages and Systems, 1994

Behavioural Theories.

Michel Bidoit, Rolf Hennicker

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

Proving Behavioural Theorems with Standard First-Order Logic.

Michel Bidoit, Rolf Hennicker

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993

A General Framework for Modular Implementations of Modular System Specifications.

Michel Bidoit, Rolf Hennicker

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

On the retrieval of reusable software components.

Patrick Shicheng Chen, Rolf Hennicker, Matthias Jarke

Proceedings of the Proceedings Advances in Software Reuse, 1993

Proving the Correctness of Algebraic Implementations by the ISAR System.

Bernhard Bauer, Rolf Hennicker

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992

A Semi-Algorithm for Algebraic Implementation Proofs.

Rolf Hennicker

Theor. Comput. Sci., 1992

ISAR: An Interactive System for Algebraic Implementation Proofs.

Bernhard Bauer, Rolf Hennicker

Proceedings of the Logic Programming and Automated Reasoning, 1992

How to Prove Observational Theorems with LP.

Michel Bidoit, Rolf Hennicker

Proceedings of the First International Workshop on Larch, 1992

A Behavioural Algebraic Framework for Modular System Design with Reuse.

Rolf Hennicker, Friederike Nickl

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations.

Rolf Hennicker

Formal Aspects Comput., 1991

Observational Implementation of Algebraic Specifications.

Rolf Hennicker

Acta Informatica, 1991

A Formal Method for the Systematic Reuse of Specification Components.

Rolf Hennicker, Martin Wirsing

Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1990

Context Induction: a Proof Principle for Behavioural Abstractions.

Rolf Hennicker

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1989

Implementation of Parameterized Observational Specifications.

Rolf Hennicker

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Observational Implementations.

Rolf Hennicker

Proceedings of the STACS 89, 1989

MENU - An Example for the Systematic Reuse of Specifications.

Martin Wirsing, Rolf Hennicker, Robert Stabl

Proceedings of the ESEC '89, 1989

1988

Beobachtungsorientierte Spezifikationen.

Rolf Hennicker

PhD thesis, 1988

Reusable Specification Components.

Martin Wirsing, Rolf Hennicker, Ruth Breu

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1986

An Implementation Concept for Observational Specifications.

Rolf Hennicker

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984

Observational Specification: A Birkhoff Theorem.

Rolf Hennicker, Martin Wirsing

Proceedings of the Recent Trends in Data Type Specification, 1984