Rolf Hennicker

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 35

Top Venues

ICTAC

J. Log. Algebraic Methods Program.

CoRR

COORDINATION

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM (2023)
Maurice H. ter Beek, Rolf Hennicker, José Proença
Realisability of Global Models of Interaction. ICTAC (2023)
Rolf Hennicker, Alexander Knapp
Specification of systems with parameterised events: An institution-independent approach. J. Log. Algebraic Methods Program. 128 (2022)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
Epistemic Ensembles. ISoLA (3) (2022)
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
Featured Team Automata. FM (2021)
Rolf Hennicker, Alexander Knapp, Alexandre Madeira
Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. 33 (6) (2021)
Rolf Hennicker, Alexander Knapp, Alexandre Madeira
Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. 122 (2021)
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
Featured Team Automata. CoRR (2021)
Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
Compositionality of Safe Communication in Systems of Team Automata. ICTAC (2020)
Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
Team Automata@Work: On Safe Communication. COORDINATION (2020)
Rolf Hennicker, Martin Wirsing
A Dynamic Logic for Systems with Predicate-Based Communication. ISoLA (2) (2020)
Martin Wirsing, Rolf Hennicker
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí (2019)
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
Connecting open systems of communicating finite state machines. J. Log. Algebraic Methods Program. 109 (2019)
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE (2019)
Rolf Hennicker, Martin Wirsing
A Generic Dynamic Logic with Applications to Interaction-Based Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR (2019)
Rolf Hennicker, Michel Bidoit
Compatibility Properties of Synchronously and Asynchronously Communicating Components. Log. Methods Comput. Sci. 14 (1) (2018)
Rolf Hennicker, Alexandre Madeira, Martin Wirsing
Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741 (2018)
Rolf Hennicker, Martin Wirsing
Dynamic Logic for Ensembles. ISoLA (3) (2018)
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744 (2018)
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
Global Types for Open Systems. ICE (2018)
Rolf Hennicker
Role-Based Development of Dynamically Evolving Esembles. WADT (2018)
Rolf Hennicker, Alexandre Madeira
Institutions for Behavioural Dynamic Logic with Binders. ICTAC (2017)
Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
Communication Requirements for Team Automata. COORDINATION (2017)
Rolf Hennicker, Michel Bidoit, Thanh-Son Dang
On Synchronous and Asynchronous Compatibility of Communicating Components. COORDINATION (2016)
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC (2016)
Rolf Hennicker, Michel Bidoit
Compatibility Properties of Synchronously and Asynchronously Communicating Components. CoRR (2016)
Rolf Hennicker, Alexandre Madeira
Observational Semantics for Dynamic Logic with Binders. WADT (2016)
Rolf Hennicker
A Calculus for Open Ensembles and Their Composition. ISoLA (1) (2016)
Rolf Hennicker, Alexander Knapp
Moving from interface theories to assembly theories. Acta Informatica 52 (2-3) (2015)
Rolf Hennicker, Annabelle Klarl, Martin Wirsing
Model-Checking Helena Ensembles with Spin. Logic, Rewriting, and Concurrency (2015)
Rocco De Nicola, Rolf Hennicker
A Homage to Martin Wirsing. Software, Services, and Systems (2015)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker
Refinement in hybridised institutions. Formal Aspects Comput. 27 (2) (2015)
Lenz Belzner, Rolf Hennicker, Martin Wirsing
OnPlan: A Framework for Simulation-Based Online Planning. FACS (2015)
Sebastian S. Bauer, Rolf Hennicker, Axel Legay
A meta-theory for component interfaces with contracts on ports. Sci. Comput. Program. 91 (2014)
Annabelle Klarl, Rolf Hennicker
Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework. Australian Software Engineering Conference (2014)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
Assembly Theories for Communication-Safe Component Systems. FPS@ETAPS (2014)
Annabelle Klarl, Philip Mayer, Rolf Hennicker
Helena@Work: Modeling the Science Cloud Platform. ISoLA (1) (2014)
Rolf Hennicker, Annabelle Klarl
Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. Specification, Algebra, and Software (2014)
Annabelle Klarl, Lucia Cichella, Rolf Hennicker
From Helena Ensemble Specifications to Executable Code. FACS (2014)
Serge Haddad, Rolf Hennicker, Mikael H. Møller
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. TGC (2013)
Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. SASO Workshops (2013)
Serge Haddad, Rolf Hennicker, Mikael H. Møller
Channel Properties of Asynchronously Composed Petri Nets. Petri Nets (2013)
Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
Moving from Specifications to Contracts in Component-Based Design. FASE (2012)
Rolf Hennicker, Matthias Ludwig
View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling. Monterey Workshop (2012)
Sebastian S. Bauer, Rolf Hennicker, Axel Legay
Component Interfaces with Contracts on Ports. FACS (2012)
Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker
Refinement and Asynchronous Composition of Modal Petri Nets. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
Interface theories for concurrency and data. Theor. Comput. Sci. 412 (28) (2011)
Rolf Hennicker, Alexander Knapp
Modal Interface Theories for Communication-Safe Component Assemblies. ICTAC (2011)
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
Building a Modal Interface Theory for Concurrency and Data. WADT (2010)
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker
On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS (2010)
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
Behaviour Protocols for Interacting Stateful Components. Electron. Notes Theor. Comput. Sci. 263 (2010)
Rolf Hennicker, Stephan Janisch, Alexander Knapp
On the Observable Behaviour of Composite Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit
A Modal Interface Theory with Data Constraints. SBMF (2010)
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems FIT (2010)
Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker
Process Refinement and Asynchronous Composition with Modalities. ACSD/Petri Nets Workshops (2010)
Sebastian S. Bauer, Rolf Hennicker
Views on Behaviour Protocols and Their Semantic Foundation. CALCO (2009)
M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder
Service Specification and Matchmaking Using Description Logic. AMAST (2008)
Michel Bidoit, Rolf Hennicker
An Algebraic Semantics for Contract-Based Software Components. AMAST (2008)
Rolf Hennicker, Stephan Janisch, Alexander Knapp
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. Monterey Workshop (2008)
Rolf Hennicker, Alexander Knapp
Activity-Driven Synthesis of State Machines. FASE (2007)
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing
Modelling the CoCoME with the Java/AComponent Model. CoCoME (2007)
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
A Component Model for Architectural Programming. Electron. Notes Theor. Comput. Sci. 160 (2006)
Michel Bidoit, Rolf Hennicker
Proving Behavioral Refinements of COL-specifications. Essays Dedicated to Joseph A. Goguen (2006)
Rolf Hennicker, Matthias Ludwig
Design and Implementation of a Coordination Model for Distributed Simulations. Modellierung (2006)
Michel Bidoit, Rolf Hennicker
Constructor-based observational logic. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Rolf Hennicker, Matthias Ludwig
Property-Driven Development of a Coordination Model for Distributed Simulations. FMOODS (2005)
Michel Bidoit, Rolf Hennicker
Externalized and Internalized Notions of Behavioral Refinement. ICTAC (2005)
Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister
Glass-Box and Black-Box Views on Object-Oriented Specifications. SEFM (2004)
Michael N. Barth, Rolf Hennicker, Andreas Kraus, Matthias Ludwig
DANUBIA: An Integrative Simulation System for Global Change Research in the Upper Danube Basin. Cybern. Syst. 35 (7-8) (2004)
Michel Bidoit, Rolf Hennicker
Glass Box and Black Box Views of State-Based System Specifications.. AMAST (2004)
Rolf Hennicker, Alexander Knapp, Hubert Baumeister
Semantics of OCL Operation Specifications. Electron. Notes Theor. Comput. Sci. 102 (2004)
Michel Bidoit, Rolf Hennicker, Alexander Kurz
Observational logic, constructor-based logic, and their duality. Theor. Comput. Sci. 298 (3) (2003)
Heinrich Hußmann, Michel Bidoit, Rolf Hennicker
On the Precise Meaning of OCL Constraints. Object Modeling with the OCL (2002)
Alexander Kurz, Rolf Hennicker
On institutions for modular coalgebraic specifications. Theor. Comput. Sci. 280 (1-2) (2002)
Michel Bidoit, Rolf Hennicker
On the Integration of Observability and Reachability Concepts. FoSSaCS (2002)
Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
Specifying Component Invariants with OCL. GI Jahrestagung (1) (2001)
Rolf Hennicker, Nora Koch
Modeling the User Interface of Web Applications with UML. pUML (2001)
Michel Bidoit, Rolf Hennicker, Alexander Kurz
On the Duality between Observability and Reachability. FoSSaCS (2001)
Bernhard Reus, Martin Wirsing, Rolf Hennicker
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE (2001)
Rolf Hennicker, Nora Koch
A UML-based Methodology for Hypermedia Design. UML (2000)
Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing
Correct Realization of Interface Constraints with OCL. UML (1999)
Rolf Hennicker, Alexander Kurz
(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. CMCS (1999)
Rolf Hennicker, Michel Bidoit
Observational Logic. AMAST (1998)
Michel Bidoit, Rolf Hennicker
Modular Correctness Proofs of Behavioural Implementations. Acta Informatica 35 (11) (1998)
Rolf Hennicker, Martin Wirsing, Michel Bidoit
Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. 173 (2) (1997)
Rolf Hennicker, Martin Wirsing
Proof Systems for Struvtured Algebraic Specifications: An Overview. FCT (1997)
Rolf Hennicker, Christoph Schmitz
Object-Oriented Implementation of Abstract Data Type Specifications. AMAST (1996)
Michel Bidoit, Rolf Hennicker
Behavioural Theories and the Proof of Behavioural Properties. Theor. Comput. Sci. 165 (1) (1996)
Michel Bidoit, Rolf Hennicker
Proving the Correctness of Behavioural Implementations. AMAST (1995)
Michel Bidoit, Rolf Hennicker, Martin Wirsing
Behavioural and Abstractor Specifications. Sci. Comput. Program. 25 (2-3) (1995)
Michel Bidoit, Rolf Hennicker
Behavioural Theories. COMPASS/ADT (1994)
Michel Bidoit, Rolf Hennicker
Proving Behavioural Theorems with Standard First-Order Logic. ALP (1994)
Michel Bidoit, Rolf Hennicker, Martin Wirsing
Characterizing Behavioural Semantics and Abstractor Semantics. ESOP (1994)
Bernhard Bauer, Rolf Hennicker
Proving the Correctness of Algebraic Implementations by the ISAR System. DISCO (1993)
Patrick Shicheng Chen, Rolf Hennicker, Matthias Jarke
On the retrieval of reusable software components. IWSR (1993)
Michel Bidoit, Rolf Hennicker
A General Framework for Modular Implementations of Modular System Specifications. TAPSOFT (1993)
Michel Bidoit, Rolf Hennicker
How to Prove Observational Theorems with LP. Larch (1992)
Rolf Hennicker, Friederike Nickl
A Behavioural Algebraic Framework for Modular System Design with Reuse. COMPASS/ADT (1992)

Rolf Hennicker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rolf Hennicker