|
Publications:
Dennis Dams, Ulrich Hannemann,
and Martin
Steffen (editors):
Concurrency,
Compositionality, and Correctness
Essays in Honor of Willem-Paul de Roever
Lecture Notes in Computer Science, Volume 5930, 2010.
ISBN: 978-3-642-11511-0
Stefan Bisanz, Ulrich Hannemann, and Jan
Peleska:
Executable Semantics for Hybrid Systems -- The Hybrid Low-Level Framework
COMPSAC 2008 ,
Turku, Finland, July 28- Aug 1, 2008.
Kirsten Berkenkötter, Ulrich Hannemann,
Modeling the Railway Control Domain rigorously with a UML 2.0
Profile,
in J. Górski (editor): Safecomp 2006,
number 4166 in Lecture Notes in Computer Science, Springer Verlag,
Berlin, Heidelberg, New York, 2006,
Kirsten
Berkenkötter , Stefan Bisanz, Ulrich Hannemann, and Jan
Peleska:
The HybridUML profile for UML 2.0,
International Journal on Software Tools for Technology Transfer
(STTT),
volume 8, number 2, 4/2006, Springer Verlag, Berlin, Heidelberg, New
York,
Kirsten
Berkenkötter , Stefan Bisanz, Ulrich Hannemann, and Jan
Peleska:
Executable HybridUML and its Application to Train Control
Systems
In Ehrig, Damm, Desel, Große-Rhode, Reif, Schnieder, Westkämper
(editors): Integration of Software Specification Techniques for Applications in Engineering , number 3147 in Lecture Notes in Computer Science. Springer Verlag,
Berlin, Heidelberg, New York, 2004
Kirsten
Berkenkötter , Stefan Bisanz, Ulrich Hannemann, and Jan
Peleska:
Spezifikation von Echtzeit-Automatisierungssystemen mit
HybridUML
atp - Automatisierungstechnische Praxis 8/2004, Oldenbourg Verlag , München, August 2004.
Kirsten
Berkenkötter , Stefan Bisanz, Ulrich Hannemann, and Jan
Peleska:
HybridUML Profile for UML 2.0
International Workshop
SVERTS
Specification and Validation of UML models for Real Time and Embedded
Systems, San Francisco, October 2003.
Ulrich Hannemann and Jozef
Hooman :
Formal Reasoning about Real-Time Components on a Data-oriented
Architecture. Proceedings of the 6th World
Multiconference on Systemics, Cybernetics and
Informatics. Volume XI, pages 313--318, Orlando, Florida,
USA, July 2002.
Concurrency Verification: Introduction to Compositional and
Noncompositional Methods
by Willem-Paul de
Roever, Frank S. de Boer,
Ulrich Hannemann,
Jozef Hooman, Yassine Lakhnech,
Mannes
Poel, and Job Zwiers.
xxiv+776 pages, 5 tables, 84 figures, and 156 excercises; ISBN
0 521 80608 9; £80. Published by
Cambridge University Press.
See Publisher information for this book
Ulrich Hannemann and Jozef
Hooman :
Formal Design of Real-Time Components on a
Shared Data Space Architecture.
COMPSAC 2001 ,
Chicago, Illinois, USA, October 8-12, 2001.
Ulrich Hannemann and Jozef
Hooman :
Top-down Design of a Command-and-Control System with Timing
Assumptions .
Technical Report CSI-R0116, Computing Science Institute,
University of Nijmegen, June 2001.
Erika
Ábrahám-Mumm, Ulrich Hannemann, and Martin Steffen:
Verification of Hybrid Systems: Formalization and Proof Rules in
PVS.
ICECCS 2001,
Skövde, June 11-13, 2001.
Erika Ábrahám-Mumm, Ulrich Hannemann, and Martin Steffen:
Assertion-Based Analysis of Hybrid Systems with PVS .
Eurocast
2001, February 2001, volume 2178 of Lecture Notes in Computer Science,
Springer Verlag, Berlin, Heidelberg, New York, 2001.
(Abstract) gzipped postscript
Erika Ábrahám-Mumm, Ulrich Hannemann, and Martin Steffen:
Verification of Hybrid Systems: Formalization and Proof Rules in
PVS.
Technical Report TR-ST-01-1, Lehrstuhl für Software-Technologie,
Institut für Informatik und praktische Mathematik,
Christian-Albrechts-Universität zu Kiel, January 2001.
Ulrich Hannemann:
Semantic Analysis of Compositional Proof Methods for Concurrency.
PhD. Thesis, University of Utrecht, Oct. 2000
Frank S. de Boer, Ulrich Hannemann, and Willem-Paul de Roever :
Formal Justification of the Rely-Guarantee Paradigm for
Shared-Variable Concurrency: A Semantic Approach.
In Jeannette Wing, Jim Woodcock, and Jim Davies, editors, FM'99
- Formal Methods, volume 1709 of Lecture Notes in Computer Science,
pages 1245--1265. Springer Verlag, Berlin, Heidelberg, New York, 1999.
Frank S. de Boer, Ulrich Hannemann, and Willem-Paul de Roever :
The Semantic Foundations of a Compositional Proof Method for
Synchronously Communicating Processes.
In Miroslaw Kutylowski, Lescek Pacholski, and Tomasz
Wierzbicki, editors, Mathematical Foundations of Computer Science 1999,
number 1672 in Lecture Notes in Computer Science, pages 343--353. Springer Verlag, Berlin,
Heidelberg, New York, 1999.
Frank S. de Boer, Ulrich Hannemann, and Willem-Paul de Roever .
A Compositional Proof System for Shared Variable Concurrency.
In John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors,
FME'97: Industrial Applications and Strengthened Foundations of Formal
Methods, number 1313 in Lecture Notes in Computer Science, pages 515--532. Springer Verlag, Berlin, Heidelberg, New York,
1997.
Frank S. de Boer, Ulrich Hannemann, and Willem-Paul de Roever :
Hoare-style Compositional Proof Systems for Reactive Shared Variable
Concurrency. In FST & TCS 17, number 1346 in Lecture Notes in Computer
Science, Berlin, Heidelberg, New York, 1997. Springer Verlag.
Ulrich Hannemann and Willem-Paul de Roever :
Concurrency Verification: From Non-Compositional to Compositional
Proof Methods.
Published in: Proceedings of the 8th Nordic Workshop on Programming
Theory, Department of Informatics, University of Oslo, Norway, 1997.
Job Zwiers,
Ulrich Hannemann,Yassine Lakhnech, Frank Stomp, and Willem-Paul de Roever
:
Modular Completeness:
Integrating the Reuse of Specified Software in Top-Down Program Development. Published in:
Formal Methods Europe, FME'96 Symposium. Lecture Notes in Computer
Science 1051, 1996.
Job Zwiers,
Ulrich Hannemann, Yassine Lakhnech, and Willem-Paul de Roever
:
Synthesizing Different Development
Paradigms: Combining Top-Down with Bottom-Up Reasoning About
Distributed Systems. Published
in: Foundations of Software Technology and Theoretical Computer
Science. Lecture Notes in
Computer Science 1026, 1995.
Ulrich Hannemann:
Modular Completeness of State-Trace-Based Proof Systems for Partial
Correctness of Concurrent Programs.
Diplomarbeit, Institut für Informatik und Praktische
Mathematik , Christian-Albrechts-Universität zu Kiel, 1994.
| |
