Rolf Hennicker

According to our database1, Rolf Hennicker
  • authored at least 93 papers between 1984 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Institutions for Behavioural Dynamic Logic with Binders.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

Communication Requirements for Team Automata.
Proceedings of the Coordination Models and Languages, 2017

2016
Compatibility Properties of Synchronously and Asynchronously Communicating Components.
CoRR, 2016

A Calculus for Open Ensembles and Their Composition.
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.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

On Synchronous and Asynchronous Compatibility of Communicating Components.
Proceedings of the Coordination Models and Languages, 2016

2015
The Autonomic Cloud.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Refinement in hybridised institutions.
Formal Asp. Comput., 2015

Moving from interface theories to assembly theories.
Acta Inf., 2015

OnPlan: A Framework for Simulation-Based Online Planning.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

A Homage to Martin Wirsing.
Proceedings of the Software, 2015

Model-Checking Helena Ensembles with Spin.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
A meta-theory for component interfaces with contracts on ports.
Sci. Comput. Program., 2014

Helena@Work: Modeling the Science Cloud Platform.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

From Helena Ensemble Specifications to Executable Code.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Assembly Theories for Communication-Safe Component Systems.
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.
Proceedings of the Specification, Algebra, and Software, 2014

Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework.
Proceedings of the 23rd Australian Software Engineering Conference, 2014

2013
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Channel Properties of Asynchronously Composed Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
Refinement and Asynchronous Composition of Modal Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2012

View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Moving from Specifications to Contracts in Component-Based Design.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Component Interfaces with Contracts on Ports.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011
Interface theories for concurrency and data.
Theor. Comput. Sci., 2011

Modal Interface Theories for Communication-Safe Component Assemblies.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2010
On the Observable Behaviour of Composite Components.
Electr. Notes Theor. Comput. Sci., 2010

Behaviour Protocols for Interacting Stateful Components.
Electr. Notes Theor. Comput. Sci., 2010

Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems
Proceedings of the Proceedings Foundations for Interface Technologies, 2010

Building a Modal Interface Theory for Concurrency and Data.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

On Weak Modal Compatibility, Refinement, and the MIO Workbench.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

A Modal Interface Theory with Data Constraints.
Proceedings of the Formal Methods: Foundations and Applications, 2010

Process Refinement and Asynchronous Composition with Modalities.
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
Views on Behaviour Protocols and Their Semantic Foundation.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Service Specification and Matchmaking Using Description Logic.
Proceedings of the Algebraic Methodology and Software Technology, 2008

An Algebraic Semantics for Contract-Based Software Components.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2007
Activity-Driven Synthesis of State Machines.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

Modelling the CoCoME with the Java/AComponent Model.
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.
J. Log. Algebr. Program., 2006

A Component Model for Architectural Programming.
Electr. Notes Theor. Comput. Sci., 2006

Design and Implementation of a Coordination Model for Distributed Simulations.
Proceedings of the Modellierung 2006, 2006

Proving Behavioral Refinements of COL-specifications.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Externalized and Internalized Notions of Behavioral Refinement.
Proceedings of the Theoretical Aspects of Computing, 2005

Property-Driven Development of a Coordination Model for Distributed Simulations.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004
Semantics of OCL Operation Specifications.
Electr. Notes Theor. Comput. Sci., 2004

DANUBIA: An Integrative Simulation System for Global Change Research in the Upper Danube Basin.
Cybernetics and Systems, 2004

Glass-Box and Black-Box Views on Object-Oriented Specifications.
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..
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Observational logic, constructor-based logic, and their duality.
Theor. Comput. Sci., 2003

2002
On institutions for modular coalgebraic specifications.
Theor. Comput. Sci., 2002

On the Precise Meaning of OCL Constraints.
Proceedings of the Object Modeling with the OCL, 2002

On the Integration of Observability and Reachability Concepts.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Modeling the User Interface of Web Applications with UML.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Specifying Component Invariants with OCL.
GI Jahrestagung (1), 2001

On the Duality between Observability and Reachability.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Systematic Design of Web Applications with UML.
Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001

2000
A UML-based Methodology for Hypermedia Design.
Proceedings of the «UML» 2000, 2000

1999
Proof Systems for Structured Specifications and Their Refinements.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications.
Electr. Notes Theor. Comput. Sci., 1999

Correct Realization of Interface Constraints with OCL.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

1998
Modular Correctness Proofs of Behavioural Implementations.
Acta Inf., 1998

Observational Logic.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Proof Systems for Structured Specifications with Observability Operators.
Theor. Comput. Sci., 1997

Proof Systems for Struvtured Algebraic Specifications: An Overview.
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1996
Behavioural Theories and the Proof of Behavioural Properties.
Theor. Comput. Sci., 1996

Object-Oriented Implementation of Abstract Data Type Specifications.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Behavioural and Abstractor Specifications.
Sci. Comput. Program., 1995

Design of Modular Software Systems with Reuse.
Proceedings of the KORSO, 1995

Proving the Correctness of Behavioural Implementations.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
Characterizing Behavioural Semantics and Abstractor Semantics.
Proceedings of the Programming Languages and Systems, 1994

Behavioural Theories.
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.
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993
A General Framework for Modular Implementations of Modular System Specifications.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

On the retrieval of reusable software components.
Proceedings of the Proceedings Advances in Software Reuse, 1993

Proving the Correctness of Algebraic Implementations by the ISAR System.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992
A Semi-Algorithm for Algebraic Implementation Proofs.
Theor. Comput. Sci., 1992

ISAR: An Interactive System for Algebraic Implementation Proofs.
Proceedings of the Logic Programming and Automated Reasoning, 1992

How to Prove Observational Theorems with LP.
Proceedings of the First International Workshop on Larch, 1992

A Behavioural Algebraic Framework for Modular System Design with Reuse.
Proceedings of the Recent Trends in Data Type Specification, 1992

1991
Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations.
Formal Asp. Comput., 1991

Observational Implementation of Algebraic Specifications.
Acta Inf., 1991

A Formal Method for the Systematic Reuse of Specification Components.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1990
Context Induction: a Proof Principle for Behavioural Abstractions.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1989
Implementation of Parameterized Observational Specifications.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Observational Implementations.
Proceedings of the STACS 89, 1989

MENU - An Example for the Systematic Reuse of Specifications.
Proceedings of the ESEC '89, 1989

1988
Beobachtungsorientierte Spezifikationen.
PhD thesis, 1988

Reusable Specification Components.
Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1986
An Implementation Concept for Observational Specifications.
ADT, 1986

1984
Observational Specification: A Birkhoff Theorem.
Proceedings of the Recent Trends in Data Type Specification, 1984


  Loading...