default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRolf Hennicker
Person information
- affiliation: Ludwig Maximilian University of Munich, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c87]Maurice H. ter Beek
, Rolf Hennicker, José Proença:
Team Automata: Overview and Roadmap. COORDINATION 2024: 161-198- [c86]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Symbolic Realisation of Epistemic Processes. LPAR 2024: 390-407 - [i4]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs). CoRR abs/2408.01115 (2024) - 2023
- [c85]Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença:
Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM 2023: 122-141 - [c84]Maurice H. ter Beek, Rolf Hennicker, José Proença:
Realisability of Global Models of Interaction. ICTAC 2023: 236-255 - 2022
- [j23]Rolf Hennicker, Alexander Knapp:
Specification of systems with parameterised events: An institution-independent approach. J. Log. Algebraic Methods Program. 128: 100791 (2022) - [c83]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles. ISoLA (3) 2022: 110-126 - 2021
- [j22]Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. 33(6): 1209-1248 (2021) - [j21]Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. 122: 100698 (2021) - [c82]Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença:
Featured Team Automata. FM 2021: 483-502 - [i3]Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença:
Featured Team Automata. CoRR abs/2108.01784 (2021) - 2020
- [c81]Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn:
Team Automata@Work: On Safe Communication. COORDINATION 2020: 77-85 - [c80]Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn:
Compositionality of Safe Communication in Systems of Team Automata. ICTAC 2020: 200-220 - [c79]Rolf Hennicker, Martin Wirsing:
A Dynamic Logic for Systems with Predicate-Based Communication. ISoLA (2) 2020: 224-242
2010 – 2019
- 2019
- [j20]Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker:
Connecting open systems of communicating finite state machines. J. Log. Algebraic Methods Program. 109 (2019) - [c78]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: 172-187 - [c77]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: 367-387 - [c76]Rolf Hennicker, Alexandre Madeira, Alexander Knapp:
A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE 2019: 79-97 - [c75]Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt:
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí 2019: 19-34 - [i2]Rolf Hennicker, Alexandre Madeira, Alexander Knapp:
A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR abs/1902.03074 (2019) - 2018
- [j19]Rolf Hennicker, Michel Bidoit:
Compatibility Properties of Synchronously and Asynchronously Communicating Components. Log. Methods Comput. Sci. 14(1) (2018) - [j18]Rolf Hennicker, Alexandre Madeira, Martin Wirsing:
Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741: 32-43 (2018) - [j17]Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744: 78-96 (2018) - [c74]Rolf Hennicker, Martin Wirsing:
Dynamic Logic for Ensembles. ISoLA (3) 2018: 32-47 - [c73]Rolf Hennicker:
Role-Based Development of Dynamically Evolving Esembles. WADT 2018: 3-24 - [c72]Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker:
Global Types for Open Systems. ICE 2018: 4-20 - 2017
- [c71]Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn:
Communication Requirements for Team Automata. COORDINATION 2017: 256-277 - [c70]Rolf Hennicker, Alexandre Madeira:
Institutions for Behavioural Dynamic Logic with Binders. ICTAC 2017: 13-31 - [p6]Dirk Beyer, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing:
Software-Verifikation. 50 Jahre Universitäts-Informatik in München 2017: 75-86 - 2016
- [c69]Rolf Hennicker, Michel Bidoit, Thanh-Son Dang:
On Synchronous and Asynchronous Compatibility of Communicating Components. COORDINATION 2016: 138-156 - [c68]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: 422-440 - [c67]Rolf Hennicker:
A Calculus for Open Ensembles and Their Composition. ISoLA (1) 2016: 570-588 - [c66]Rolf Hennicker, Alexandre Madeira:
Observational Semantics for Dynamic Logic with Binders. WADT 2016: 135-152 - [i1]Rolf Hennicker, Michel Bidoit:
Compatibility Properties of Synchronously and Asynchronously Communicating Components. CoRR abs/1611.03656 (2016) - 2015
- [j16]Rolf Hennicker, Alexander Knapp:
Moving from interface theories to assembly theories. Acta Informatica 52(2-3): 235-268 (2015) - [j15]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. Formal Aspects Comput. 27(2): 375-395 (2015) - [c65]Rocco De Nicola, Rolf Hennicker:
A Homage to Martin Wirsing. Software, Services, and Systems 2015: 1-12 - [c64]Rolf Hennicker, Annabelle Klarl, Martin Wirsing:
Model-Checking Helena Ensembles with Spin. Logic, Rewriting, and Concurrency 2015: 331-360 - [c63]Lenz Belzner, Rolf Hennicker, Martin Wirsing:
OnPlan: A Framework for Simulation-Based Online Planning. FACS 2015: 1-30 - [p5]Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures:
The Autonomic Cloud. The ASCENS Approach 2015: 495-512 - [e2]Rocco De Nicola, Rolf Hennicker:
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, ISBN 978-3-319-15544-9 [contents] - 2014
- [j14]Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
A meta-theory for component interfaces with contracts on ports. Sci. Comput. Program. 91: 70-89 (2014) - [c62]Annabelle Klarl, Rolf Hennicker:
Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework. Australian Software Engineering Conference 2014: 15-24 - [c61]Rolf Hennicker, Annabelle Klarl:
Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. Specification, Algebra, and Software 2014: 359-381 - [c60]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Assembly Theories for Communication-Safe Component Systems. FPS@ETAPS 2014: 145-160 - [c59]Annabelle Klarl, Lucia Cichella, Rolf Hennicker:
From Helena Ensemble Specifications to Executable Code. FACS 2014: 183-190 - [c58]Annabelle Klarl, Philip Mayer, Rolf Hennicker:
Helena@Work: Modeling the Science Cloud Platform. ISoLA (1) 2014: 99-116 - 2013
- [c57]Serge Haddad, Rolf Hennicker, Mikael H. Møller:
Channel Properties of Asynchronously Composed Petri Nets. Petri Nets 2013: 369-388 - [c56]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: 89-94 - [c55]Serge Haddad, Rolf Hennicker, Mikael H. Møller:
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. TGC 2013: 219-234 - 2012
- [j13]Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker:
Refinement and Asynchronous Composition of Modal Petri Nets. Trans. Petri Nets Other Model. Concurr. 5: 96-120 (2012) - [c54]Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
Component Interfaces with Contracts on Ports. FACS 2012: 19-35 - [c53]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: 43-58 - [c52]Rolf Hennicker, Matthias Ludwig:
View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling. Monterey Workshop 2012: 224-250 - 2011
- [j12]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011) - [c51]Rolf Hennicker, Alexander Knapp:
Modal Interface Theories for Communication-Safe Component Assemblies. ICTAC 2011: 135-153 - 2010
- [c50]Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker:
Process Refinement and Asynchronous Composition with Modalities. ACSD/Petri Nets Workshops 2010: 385-401 - [c49]Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit:
A Modal Interface Theory with Data Constraints. SBMF 2010: 80-95 - [c48]Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker:
On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS 2010: 175-189 - [c47]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12 - [c46]Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems. FIT 2010: 1-8
2000 – 2009
- 2009
- [c45]Sebastian S. Bauer, Rolf Hennicker:
Views on Behaviour Protocols and Their Semantic Foundation. CALCO 2009: 367-382 - [c44]Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Behaviour Protocols for Interacting Stateful Components. FACS@FMWeek 2009: 47-66 - 2008
- [c43]Michel Bidoit, Rolf Hennicker:
An Algebraic Semantics for Contract-Based Software Components. AMAST 2008: 216-231 - [c42]M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder:
Service Specification and Matchmaking Using Description Logic. AMAST 2008: 392-406 - [c41]Rolf Hennicker, Stephan Janisch, Alexander Knapp:
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. Monterey Workshop 2008: 154-180 - [c40]Rolf Hennicker, Stephan Janisch, Alexander Knapp:
On the Observable Behaviour of Composite Components. FACS 2008: 125-153 - 2007
- [c39]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: 207-237 - [c38]Rolf Hennicker, Alexander Knapp:
Activity-Driven Synthesis of State Machines. FASE 2007: 87-101 - 2006
- [j11]Michel Bidoit, Rolf Hennicker:
Constructor-based observational logic. J. Log. Algebraic Methods Program. 67(1-2): 3-51 (2006) - [c37]Michel Bidoit, Rolf Hennicker:
Proving Behavioral Refinements of COL-specifications. Essays Dedicated to Joseph A. Goguen 2006: 333-354 - [c36]Rolf Hennicker, Matthias Ludwig:
Design and Implementation of a Coordination Model for Distributed Simulations. Modellierung 2006: 83-97 - 2005
- [c35]Rolf Hennicker, Matthias Ludwig:
Property-Driven Development of a Coordination Model for Distributed Simulations. FMOODS 2005: 290-305 - [c34]Michel Bidoit, Rolf Hennicker:
Externalized and Internalized Notions of Behavioral Refinement. ICTAC 2005: 334-350 - [c33]Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing:
A Component Model for Architectural Programming. FACS 2005: 75-96 - 2004
- [j10]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): 639-666 (2004) - [c32]Michel Bidoit, Rolf Hennicker:
Glass Box and Black Box Views of State-Based System Specifications.. AMAST 2004: 19 - [c31]Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister:
Glass-Box and Black-Box Views on Object-Oriented Specifications. SEFM 2004: 208-217 - 2003
- [j9]Michel Bidoit, Rolf Hennicker, Alexander Kurz:
Observational logic, constructor-based logic, and their duality. Theor. Comput. Sci. 298(3): 471-510 (2003) - [c30]Rolf Hennicker, Alexander Knapp, Hubert Baumeister:
Semantics of OCL Operation Specifications. OCL 2.0 @ UML 2003: 111-132 - [e1]Martin Wirsing, Dirk Pattinson, Rolf Hennicker:
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2755, Springer 2003, ISBN 3-540-20537-3 [contents] - 2002
- [j8]Alexander Kurz, Rolf Hennicker:
On institutions for modular coalgebraic specifications. Theor. Comput. Sci. 280(1-2): 69-103 (2002) - [c29]Michel Bidoit, Rolf Hennicker:
On the Integration of Observability and Reachability Concepts. FoSSaCS 2002: 21-36 - [p4]Rolf Hennicker, Heinrich Hußmann, Michel Bidoit:
On the Precise Meaning of OCL Constraints. Object Modeling with the OCL 2002: 69-84 - 2001
- [c28]Bernhard Reus, Martin Wirsing, Rolf Hennicker:
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001: 300-317 - [c27]Michel Bidoit, Rolf Hennicker, Alexander Kurz:
On the Duality between Observability and Reachability. FoSSaCS 2001: 72-87 - [c26]Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing:
Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607 - [c25]Rolf Hennicker, Nora Koch:
Modeling the User Interface of Web Applications with UML. pUML 2001: 158-172 - [p3]Rolf Hennicker, Nora Koch:
Systematic Design of Web Applications with UML. Unified Modeling Language: Systems Analysis, Design and Development Issues 2001: 1-20 - 2000
- [c24]Rolf Hennicker, Nora Koch:
A UML-based Methodology for Hypermedia Design. UML 2000: 410-424
1990 – 1999
- 1999
- [c23]Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing:
Correct Realization of Interface Constraints with OCL. UML 1999: 399-415 - [c22]Rolf Hennicker, Alexander Kurz:
(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. CMCS 1999: 164-180 - [p2]Michel Bidoit, María Victoria Cengarle, Rolf Hennicker:
Proof Systems for Structured Specifications and Their Refinements. Algebraic Foundations of Systems Specification 1999: 385-433 - 1998
- [j7]Michel Bidoit, Rolf Hennicker:
Modular Correctness Proofs of Behavioural Implementations. Acta Informatica 35(11): 951-1005 (1998) - [c21]Rolf Hennicker, Michel Bidoit:
Observational Logic. AMAST 1998: 263-277 - 1997
- [j6]Rolf Hennicker, Martin Wirsing, Michel Bidoit:
Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. 173(2): 393-443 (1997) - [c20]Rolf Hennicker, Martin Wirsing:
Proof Systems for Struvtured Algebraic Specifications: An Overview. FCT 1997: 19-37 - 1996
- [j5]Michel Bidoit, Rolf Hennicker:
Behavioural Theories and the Proof of Behavioural Properties. Theor. Comput. Sci. 165(1): 3-55 (1996) - [c19]Rolf Hennicker, Christoph Schmitz:
Object-Oriented Implementation of Abstract Data Type Specifications. AMAST 1996: 163-179 - 1995
- [j4]Michel Bidoit, Rolf Hennicker, Martin Wirsing:
Behavioural and Abstractor Specifications. Sci. Comput. Program. 25(2-3): 149-186 (1995) - [c18]Michel Bidoit, Rolf Hennicker:
Proving the Correctness of Behavioural Implementations. AMAST 1995: 152-168 - [p1]Stefan Gastinger, Rolf Hennicker, Robert Stabl:
Design of Modular Software Systems with Reuse. KORSO Book 1995: 112-127 - 1994
- [c17]Michel Bidoit, Rolf Hennicker:
Proving Behavioural Theorems with Standard First-Order Logic. ALP 1994: 41-58 - [c16]Michel Bidoit, Rolf Hennicker:
Behavioural Theories. COMPASS/ADT 1994: 153-169 - [c15]Michel Bidoit, Rolf Hennicker, Martin Wirsing:
Characterizing Behavioural Semantics and Abstractor Semantics. ESOP 1994: 105-119 - 1993
- [c14]Bernhard Bauer, Rolf Hennicker:
Proving the Correctness of Algebraic Implementations by the ISAR System. DISCO 1993: 2-16 - [c13]Patrick Shicheng Chen, Rolf Hennicker, Matthias Jarke:
On the retrieval of reusable software components. IWSR 1993: 99-108 - [c12]Michel Bidoit, Rolf Hennicker:
A General Framework for Modular Implementations of Modular System Specifications. TAPSOFT 1993: 199-214 - 1992
- [j3]Rolf Hennicker:
A Semi-Algorithm for Algebraic Implementation Proofs. Theor. Comput. Sci. 104(1): 53-87 (1992) - [c11]Rolf Hennicker, Friederike Nickl:
A Behavioural Algebraic Framework for Modular System Design with Reuse. COMPASS/ADT 1992: 220-234 - [c10]Michel Bidoit, Rolf Hennicker:
How to Prove Observational Theorems with LP. Larch 1992: 18-35 - [c9]Bernhard Bauer, Rolf Hennicker:
ISAR: An Interactive System for Algebraic Implementation Proofs. LPAR 1992: 451-453 - 1991
- [j2]Rolf Hennicker:
Observational Implementation of Algebraic Specifications. Acta Informatica 28(3): 187-230 (1991) - [j1]Rolf Hennicker:
Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations. Formal Aspects Comput. 3(4): 326-345 (1991) - [c8]Rolf Hennicker, Martin Wirsing:
A Formal Method for the Systematic Reuse of Specification Components. Methods of Programming 1991: 49-75 - 1990
- [c7]Rolf Hennicker:
Context Induction: a Proof Principle for Behavioural Abstractions. DISCO 1990: 101-110
1980 – 1989
- 1989
- [c6]Martin Wirsing, Rolf Hennicker, Robert Stabl:
MENU - An Example for the Systematic Reuse of Specifications. ESEC 1989: 20-41 - [c5]Rolf Hennicker:
Observational Implementations. STACS 1989: 59-71 - [c4]Rolf Hennicker:
Implementation of Parameterized Observational Specifications. TAPSOFT, Vol.1 1989: 290-305 - 1988
- [b1]Rolf Hennicker:
Beobachtungsorientierte Spezifikationen. University of Passau, Germany, 1988, pp. 1-161 - [c3]Martin Wirsing, Rolf Hennicker, Ruth Breu:
Reusable Specification Components. MFCS 1988: 121-137 - 1986
- [c2]