| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw |
Verification of object-oriented programs: A transformational approach.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Automatic Verification of Real-Time Systems with Rich Data: An Overview. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel |
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn |
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog |
Verification of Object-Oriented Programs: a Transformational Approach |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog |
Kleene, Rabin, and Scott Are Available. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski |
Fairness for Dynamic Control. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Mani Swaminathan |
Layered Composition for Timed Automata. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Andreas Podelski |
Explicit Fair Scheduling for Dynamic Control. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog |
Modular Verification of Recursive Programs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog |
Modular Verification of Recursive Programs. |
Languages: From Formal to Natural |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Integrating a formal method into a software engineering process with UML and Java. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking |
| 1 | Ernst-Rüdiger Olderog |
Automatic Verification of Combined Specifications: An Overview. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Henning Dierks |
Real-time systems - formal specification and automatic verification. |
|
2008 |
RDF |
|
| 1 | Ernst-Rüdiger Olderog, Anders P. Ravn |
Editorial: Hybrid Systems. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm |
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 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz |
Automating Verification of Cooperation, Control, and Design in Traffic Applications. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç |
Specifying and analyzing security automata using CSP-OZ. |
ASIACCS |
2007 |
DBLP DOI BibTeX RDF |
CSP-OZ, security automata |
| 1 | Paul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog |
Controlling Access to Documents: A Formal Access Control Model. |
ETRICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Heike Wehrheim |
Specification and (property) inheritance in CSP-OZ. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Linking CSP-OZ with UML and Java: A Case Study. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Java, UML, CSP, assertions, Object-Z, runtime checking |
| 1 | Ernst-Rüdiger Olderog, Henning Dierks |
Moby/RT: A Tool for Specification and Verification of Real-Time Systems. |
J. UCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Translation and Optimization in the Verification of Real-Time Systems. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog |
On the Verification of Cooperating Traffic Agents. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Ernst-Rüdiger Olderog |
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Heike Wehrheim |
Specification and Inheritance in CSP-OZ. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
failure divergence semantics, safety and liveness properties, model-checking, CSP, inheritance, Object-Z, FDR |
| 1 | Jochen Hoenicke, Ernst-Rüdiger Olderog |
Combining Specification Techniques for Processes, Data and Time. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL |
| 1 | Werner Damm, Ernst-Rüdiger Olderog (eds.) |
Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings |
FTRTFT |
2002 |
DBLP BibTeX RDF |
|
| 1 | Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim |
A CSP View on UML-RT Structure Diagrams. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Anders P. Ravn |
Completeness in formal specification language design for process-control systems. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
UML |
| 1 | Michael Schenke, Ernst-Rüdiger Olderog |
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. |
Acta Inf. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer |
The UniForM Workbench, a Universal Development Environment for Formal Methods. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Entwicklung korrekter zeitkritischer Systeme. |
FBT |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Bernhard Steffen (eds.) |
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) |
Correct System Design, Recent Insight and Advances |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Correct Real-Time Software for Programmable Logic Controllers. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Combining Specification Techniques for Processes, Data and Time. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Formal methods in real-time systems. |
ECRTS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Henning Dierks |
Decomposing Real-Time Specifications. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog |
Korso Reference Languages - Concepts and Application Domains. |
KORSO Book |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog (eds.) |
Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel |
Provably Correct Systems. |
FTRTFT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Stephan Rössig |
A Case Study in Transformational Design of Concurrent Systems. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Interfaces between Languages for Communicating Systems. |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Correctness of Concurrent Processes. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Towards a Design Calculus for Communicationg Programs. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer, Ernst-Rüdiger Olderog |
Hiding in Stream Semantics of Uniform Concurrency. |
Acta Inf. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Correctness of Concurrent Processes. |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Krzysztof R. Apt |
Using Transformation to Verify Parallel Programs. |
Algebraic Methods |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
From Trace Specifications to Process Terms. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes |
| 1 | Ernst-Rüdiger Olderog, Krzysztof R. Apt |
Fairness in Parallel Programs: The Transformational Approach. |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker |
Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. |
J. Comput. Syst. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog |
Readies and Failures in the Algebra of Communicating Processes. |
SIAM J. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Strong bisimilarity on nets: a new concept for comparing net semantics. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness |
| 1 | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog |
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. |
Theor. Comput. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, C. A. R. Hoare |
Specification-Oriented Semantics for Communicating Processes. |
Acta Inf. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Process Theory: Semantics, Specification and Verification. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker |
Contrasting Themes in the Semantics of Imperative Concurrency. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Operational Petri net semantics for CCSP. |
European Workshop on Applications and Theory of Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
TCSP: Theory of Communicating Sequential Processes. |
Advances in Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog |
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker |
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency |
STOC |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Correctnes of Programs with Pascal-Like Procedures without Global Variables. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Ernst-Rüdiger Olderog |
Transformations Realizing Fairness Assumptions for Parallel Programs. |
STACS |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Ernst-Rüdiger Olderog |
Proof Rules and Transformations Dealing with Fairness. |
Sci. Comput. Program. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
On the Notion of Expressiveness and the Rule of Adaption. |
Theor. Comput. Sci. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Hoare's Logic for Programs with Procedures - What Has Been Achieved?. |
Logic of Programs |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, C. A. R. Hoare |
Specification-Oriented Semantics for Communicating Processes. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
A Characterization of Hoare's Logic for Programs with Pascal-like Procedures |
STOC |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Sound and Complete Hoare-like Calculi Based on Copy Rules. |
Acta Inf. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Ernst-Rüdiger Olderog |
Proof Rules Dealing with Fairness. |
Logic of Programs |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Hoare-Style Proof Systems and Formal Computations. |
GI Jahrestagung |
1981 |
DBLP BibTeX RDF |
|
| 1 | Hans Langmaack, Ernst-Rüdiger Olderog |
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. |
ICALP |
1980 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")