Ernst-Rüdiger Olderog

Reinhard Wilhelm

it Inf. Technol., 2007

Automatic Verification of Combined Specifications: An Overview.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Editorial: Hybrid Systems.

[BibT_eX]

[DOI]

Anders P. Ravn

Acta Informatica, 2007

Specifying and analyzing security automata using CSP-OZ.

[BibT_eX]

[DOI]

David A. Basin

Paul E. Sevinç

Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007

Automating Verification of Cooperation, Control, and Design in Traffic Applications.

[BibT_eX]

[DOI]

Werner Damm

Alfred Mikschl

Jens Oehlerking

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

Controlling Access to Documents: A Formal Access Control Model.

[BibT_eX]

[DOI]

Paul E. Sevinç

David A. Basin

Proceedings of the Emerging Trends in Information and Communication Security, 2006

2005

Specification and (property) inheritance in CSP-OZ.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

2004

Linking CSP-OZ with UML and Java: A Case Study.

[BibT_eX]

[DOI]

Michael Möller

Holger Rasch

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Moby/RT: A Tool for Specification and Verification of Real-Time Systems.

[BibT_eX]

[DOI]

Henning Dierks

J. Univers. Comput. Sci., 2003

Translation and Optimization in the Verification of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

On the Verification of Cooperating Traffic Agents.

[BibT_eX]

[DOI]

Werner Damm

Hardi Hungar

Proceedings of the Formal Methods for Components and Objects, 2003

2002

CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time.

[BibT_eX]

Jochen Hoenicke

Nord. J. Comput., 2002

Combining Specification Techniques for Processes, Data and Time.

[BibT_eX]

[DOI]

Jochen Hoenicke

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Specification and Inheritance in CSP-OZ.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2002

2001

A CSP View on UML-RT Structure Diagrams.

[BibT_eX]

[DOI]

Clemens Fischer

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Trace-Oriented Models of Concurrency.

[BibT_eX]

[DOI]

Manfred Broy

Proceedings of the Handbook of Process Algebra, 2001

2000

Completeness in formal specification language design for process-control systems.

[BibT_eX]

[DOI]

Anders P. Ravn

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1999

Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications.

[BibT_eX]

[DOI]

Michael Schenke

Acta Informatica, 1999

The UniForM Workbench, a Universal Development Environment for Formal Methods.

[BibT_eX]

[DOI]

Bernd Krieg-Brückner

Jan Peleska

Alexander Baer

Proceedings of the FM'99 - Formal Methods, 1999

Entwicklung korrekter zeitkritischer Systeme.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Correct Real-Time Software for Programmable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 1999

1998

Combining Specification Techniques for Processes, Data and Time.

[BibT_eX]

[DOI]

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Formal methods in real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997

Verification of Sequential and Concurrent Programs, Second Edition.

[BibT_eX]

[DOI]

Graduate Texts in Computer Science, Springer, ISBN: 978-1-4757-2714-2, 1997

Beweisbar korrekte Telekommunikationssysteme.

[BibT_eX]

[DOI]

Clemens Fischer

Stephan Kleuker

Informationstechnik Tech. Inform., 1997

Decomposing Real-Time Specifications.

[BibT_eX]

[DOI]

Henning Dierks

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1995

Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications.

[BibT_eX]

[DOI]

Michael Schenke

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

Korso Reference Languages - Concepts and Application Domains.

[BibT_eX]

[DOI]

Proceedings of the KORSO, 1995

1994

Provably Correct Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

A Case Study in Transformational Design of Concurrent Systems.

[BibT_eX]

[DOI]

Stephan Rössig

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Developing Correct Systems.

[BibT_eX]

[DOI]

Jonathan P. Bowen

Martin Fränzle

Anders P. Ravn

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992

Interfaces between Languages for Communicating Systems.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

Verification of Sequential and Concurrent Programs

[BibT_eX]

[DOI]

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4757-4376-0, 1991

Correctness of Concurrent Processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

Towards a Design Calculus for Communicationg Programs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '91, 1991

1990

Hiding in Stream Semantics of Uniform Concurrency.

[BibT_eX]

[DOI]

Acta Informatica, 1990

1989

From Trace Specifications to Process Terms.

[BibT_eX]

[DOI]

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Introduction to Program Verification.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts, 1989

Using Transformation to Verify Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methods II: Theory, 1989

1988

Fairness in Parallel Programs: The Transformational Approach.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1988

Readies and Failures in the Algebra of Communicating Processes.

[BibT_eX]

[DOI]

Jan A. Bergstra

Jan Willem Klop

SIAM J. Comput., 1988

Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency.

[BibT_eX]

[DOI]

Jeffery I. Zucker

J. Comput. Syst. Sci., 1988

Strong bisimilarity on nets: a new concept for comparing net semantics.

[BibT_eX]

[DOI]

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987

Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1987

Failures without chaos: a new process semantics for fair abstraction.

[BibT_eX]

Jan A. Bergstra

Jan Willem Klop

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986

Specification-Oriented Semantics for Communicating Processes.

[BibT_eX]

[DOI]

C. A. R. Hoare

Acta Informatica, 1986

Operational Petri net semantics for CCSP.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1987, 1986

TCSP: Theory of Communicating Sequential Processes.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Process Theory: Semantics, Specification and Verification.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

Contrasting Themes in the Semantics of Imperative Concurrency.

[BibT_eX]

[DOI]

Joost N. Kok

Jeffery I. Zucker

Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1985

Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency

[BibT_eX]

[DOI]

Jeffery I. Zucker

Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

1984

Correctnes of Programs with Pascal-Like Procedures without Global Variables.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

Transformations Realizing Fairness Assumptions for Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the STACS 84, 1984

Specification-Oriented Programming in TCSP.

[BibT_eX]

[DOI]

Proceedings of the Logics and Models of Concurrent Systems, 1984

1983

On the Notion of Expressiveness and the Rule of Adaption.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1983

Proof Rules and Transformations Dealing with Fairness.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1983

A Characterization of Hoare's Logic for Programs with Pascal-like Procedures

[BibT_eX]

[DOI]

Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983

Hoare's Logic for Programs with Procedures - What Has Been Achieved?.

[BibT_eX]

[DOI]

Proceedings of the Logics of Programs, 1983

1981

Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen.

[BibT_eX]

[DOI]

PhD thesis, 1981

Sound and Complete Hoare-like Calculi Based on Copy Rules.

[BibT_eX]

[DOI]

Acta Informatica, 1981

Proof Rules Dealing with Fairness.

[BibT_eX]

[DOI]

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

Hoare-Style Proof Systems and Formal Computations.

[BibT_eX]

[DOI]

Proceedings of the GI, 1981

1980

Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions.

[BibT_eX]

[DOI]

Hans Langmaack