Ernst-Rüdiger Olderog

According to our database1, Ernst-Rüdiger Olderog authored at least 97 papers between 1980 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Petri games: Synthesis of distributed systems with causal memory.
Inf. Comput., 2017

Synthesizing and verifying controllers for multi-lane traffic maneuvers.
Formal Asp. Comput., 2017

Symbolic vs. Bounded Synthesis for Petri Games.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Formalising a Hazard Warning Communication Protocol with Timed Automata.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

Space for Traffic Manoeuvres: An Overview.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2017

Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers.
Proceedings of the Provably Correct Systems, 2017

2016
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Structural transformations for data-enriched real-time systems.
Formal Asp. Comput., 2015

Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version -.
CoRR, 2015

A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -.
CoRR, 2015

Letter from the Managing Editor.
Acta Inf., 2015

Special issue on "Combining Compositionality and Concurrency": part 2.
Acta Inf., 2015

Special issue on "Combining Compositionality and Concurrency": part 1.
Acta Inf., 2015

Synthesizing Controllers for Multi-lane Traffic Maneuvers.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Linking spatial and dynamic models for traffic maneuvers.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Adam: Causality-Based Synthesis of Distributed Systems.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Petri Games: Synthesis of Distributed Systems with Causal Memory.
Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Von Petri-Spielen zu endlichen Automaten.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data, 2014

2013
Structural Transformations for Data-Enriched Real-Time Systems.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Proving Safety of Traffic Manoeuvres on Country Roads.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Verification of object-oriented programs: A transformational approach.
J. Comput. Syst. Sci., 2012

Turing und die Verifikation.
Informatik Spektrum, 2012

Layered reasoning for randomized distributed algorithms.
Formal Asp. Comput., 2012

Automatic Verification of Real-Time Systems with Rich Data: An Overview.
Proceedings of the Theory and Applications of Models of Computation, 2012

2011
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data.
Int. J. Software and Informatics, 2011

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
Verification of Object-Oriented Programs: a Transformational Approach
CoRR, 2010

Fairness for Dynamic Control.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Layered Composition for Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Kleene, Rabin, and Scott Are Available.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Explicit Fair Scheduling for Dynamic Control.
Proceedings of the Concurrency, 2010

2009
Verification of Sequential and Concurrent Programs.
Texts in Computer Science, Springer, ISBN: 978-1-84882-745-5, 2009

Modular Verification of Recursive Programs
CoRR, 2009

Modular Verification of Recursive Programs.
Proceedings of the Languages: From Formal to Natural, 2009

2008
Integrating a formal method into a software engineering process with UML and Java.
Formal Asp. Comput., 2008

Automatic Verification of Combined Specifications: An Overview.
Electr. Notes Theor. Comput. Sci., 2008

Real-time systems - formal specification and automatic verification.
Cambridge University Press, ISBN: 978-0-521-88333-7, 2008

2007
SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).
it - Information Technology, 2007

Editorial: Hybrid Systems.
Acta Inf., 2007

Specifying and analyzing security automata using CSP-OZ.
Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007

Automating Verification of Cooperation, Control, and Design in Traffic Applications.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
Controlling Access to Documents: A Formal Access Control Model.
Proceedings of the Emerging Trends in Information and Communication Security, 2006

2005
Specification and (property) inheritance in CSP-OZ.
Sci. Comput. Program., 2005

2004
Linking CSP-OZ with UML and Java: A Case Study.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

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

Translation and Optimization in the Verification of Real-Time Systems.
Electr. Notes Theor. Comput. Sci., 2003

On the Verification of Cooperating Traffic Agents.
Proceedings of the Formal Methods for Components and Objects, 2003

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

Combining Specification Techniques for Processes, Data and Time.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Specification and Inheritance in CSP-OZ.
Proceedings of the Formal Methods for Components and Objects, 2002

2001
A CSP View on UML-RT Structure Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
Completeness in formal specification language design for process-control systems.
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.
Acta Inf., 1999

The UniForM Workbench, a Universal Development Environment for Formal Methods.
Proceedings of the FM'99 - Formal Methods, 1999

Entwicklung korrekter zeitkritischer Systeme.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Correct Real-Time Software for Programmable Logic Controllers.
Proceedings of the Correct System Design, 1999

1998
Combining Specification Techniques for Processes, Data and Time.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Formal methods in real-time systems.
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997
Verification of Sequential and Concurrent Programs, Second Edition.
Graduate Texts in Computer Science, Springer, ISBN: 978-1-4757-2714-2, 1997

Beweisbar korrekte Telekommunikationssysteme.
it+ti - Informationstechnik und Technische Informatik, 1997

Decomposing Real-Time Specifications.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1995
Korso Reference Languages - Concepts and Application Domains.
Proceedings of the KORSO, 1995

1994
Provably Correct Systems.
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.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

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

1992
Interfaces between Languages for Communicating Systems.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991
Verification of Sequential and Concurrent Programs
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4757-4376-0, 1991

Correctness of Concurrent Processes.
Theor. Comput. Sci., 1991

Towards a Design Calculus for Communicationg Programs.
Proceedings of the CONCUR '91, 1991

1990
Hiding in Stream Semantics of Uniform Concurrency.
Acta Inf., 1990

1989
From Trace Specifications to Process Terms.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Correctness of Concurrent Processes.
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Using Transformation to Verify Parallel Programs.
Proceedings of the Algebraic Methods II: Theory, 1989

1988
Fairness in Parallel Programs: The Transformational Approach.
ACM Trans. Program. Lang. Syst., 1988

Readies and Failures in the Algebra of Communicating Processes.
SIAM J. Comput., 1988

Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency.
J. Comput. Syst. Sci., 1988

Strong bisimilarity on nets: a new concept for comparing net semantics.
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.
Theor. Comput. Sci., 1987

1986
Specification-Oriented Semantics for Communicating Processes.
Acta Inf., 1986

Operational Petri net semantics for CCSP.
Proceedings of the Advances in Petri Nets 1987, 1986

TCSP: Theory of Communicating Sequential Processes.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Process Theory: Semantics, Specification and Verification.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

Contrasting Themes in the Semantics of Imperative Concurrency.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1985
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency
Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.
Proceedings of the Automata, 1985

1984
Correctnes of Programs with Pascal-Like Procedures without Global Variables.
Theor. Comput. Sci., 1984

Transformations Realizing Fairness Assumptions for Parallel Programs.
Proceedings of the STACS 84, 1984

1983
On the Notion of Expressiveness and the Rule of Adaption.
Theor. Comput. Sci., 1983

Proof Rules and Transformations Dealing with Fairness.
Sci. Comput. Program., 1983

A Characterization of Hoare's Logic for Programs with Pascal-like Procedures
Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983

Hoare's Logic for Programs with Procedures - What Has Been Achieved?.
Proceedings of the Logics of Programs, 1983

Specification-Oriented Semantics for Communicating Processes.
Proceedings of the Automata, 1983

1981
Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen.
PhD thesis, 1981

Sound and Complete Hoare-like Calculi Based on Copy Rules.
Acta Inf., 1981

Proof Rules Dealing with Fairness.
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

Hoare-Style Proof Systems and Formal Computations.
Proceedings of the GI, 1981

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


  Loading...