Rolf Hennicker
Affiliations:- Ludwig Maximilian University of Munich, Germany
According to our database1,
Rolf Hennicker
authored at least 121 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
1
1
1
1
1
1
2
1
3
2
1
1
1
1
1
1
1
1
1
1
1
1
2
4
2
1
1
3
4
3
2
4
3
5
3
3
1
5
2
4
2
2
3
2
1
1
4
1
2
1
1
1
1
3
3
3
1
1
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Proceedings of the Proceedings 17th Interaction and Concurrency Experience, 2024
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs).
CoRR, 2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
Proceedings of the Coordination Models and Languages, 2024
2023
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
Dataset, November, 2022
Specification of systems with parameterised events: An institution-independent approach.
J. Log. Algebraic Methods Program., 2022
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.
J. Log. Algebraic Methods Program., 2021
Formal Aspects Comput., 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020
Proceedings of the Coordination Models and Languages, 2020
2019
J. Log. Algebraic Methods Program., 2019
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.
Proceedings of the Dynamic Logic. New Trends and Applications, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Compatibility Properties of Synchronously and Asynchronously Communicating Components.
Log. Methods Comput. Sci., 2018
Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
2017
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017
Proceedings of the Coordination Models and Languages, 2017
Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017
2016
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
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
Proceedings of the Coordination Models and Languages, 2016
2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
Sci. Comput. Program., 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
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
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
2012
Trans. Petri Nets Other Model. Concurr., 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
Proceedings of the Fundamental Approaches to Software Engineering, 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
2011
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011
2010
Proceedings of the Proceedings Foundations for Interface Technologies, 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the Formal Methods: Foundations and Applications, 2010
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
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
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.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
2006
Proceedings of the Modellierung 2006, 2006
Proceedings of the Algebra, Meaning, and Computation, 2006
2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Proceedings of the Theoretical Aspects of Computing, 2005
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.
Cybern. Syst., 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Theor. Comput. Sci., 2003
Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003
2002
Proceedings of the Object Modeling with the OCL, 2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001
Specifying Component Invariants with OCL.
Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001
Proceedings of the Foundations of Software Science and Computation Structures, 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Systematic Design of Web Applications with UML.
Proceedings of the Unified Modeling Language: Systems Analysis, 2001
2000
1999
Proceedings of the Algebraic Foundations of Systems Specification, 1999
Proceedings of the Coalgebraic Methods in Computer Science, 1999
Proceedings of the «UML»'99: The Unified Modeling Language, 1999
1998
Proceedings of the Algebraic Methodology and Software Technology, 1998
1997
Theor. Comput. Sci., 1997
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997
1996
Theor. Comput. Sci., 1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
Proceedings of the Algebraic Methodology and Software Technology, 1995
1994
Proceedings of the Programming Languages and Systems, 1994
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
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994
1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
Proceedings of the Proceedings Advances in Software Reuse, 1993
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993
1992
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
Proceedings of the Recent Trends in Data Type Specification, 1992
1991
Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations.
Formal Aspects Comput., 1991
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991
1990
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990
1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Proceedings of the ESEC '89, 1989
1988
Proceedings of the Mathematical Foundations of Computer Science 1988, 1988
1986
An Implementation Concept for Observational Specifications.
Proceedings of the 4st Workshop on Abstract Data Type, 1986
1984
Proceedings of the Recent Trends in Data Type Specification, 1984