 | 2009 |
|---|
| 62 |       | Krzysztof R. Apt,
Frank S. de Boer,
Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs.
Languages: From Formal to Natural 2009: 1-21 |
| 61 | | Krzysztof R. Apt,
Frank S. de Boer,
Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs
CoRR abs/0907.4316: (2009) |
| 2008 |
|---|
| 60 | | Ernst-Rüdiger Olderog:
Automatic Verification of Combined Specifications: An Overview.
Electr. Notes Theor. Comput. Sci. 207: 3-16 (2008) |
| 59 | | 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. 20(2): 161-204 (2008) |
| 2007 |
|---|
| 58 | | David A. Basin,
Ernst-Rüdiger Olderog,
Paul E. Sevinç:
Specifying and analyzing security automata using CSP-OZ.
ASIACCS 2007: 70-81 |
| 57 | | 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: 115-169 |
| 56 | | Ernst-Rüdiger Olderog,
Anders P. Ravn:
Editorial: Hybrid Systems.
Acta Inf. 43(7): 449-450 (2007) |
| 55 | | 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 49(2): 118- (2007) |
| 2006 |
|---|
| 54 | | Paul E. Sevinç,
David A. Basin,
Ernst-Rüdiger Olderog:
Controlling Access to Documents: A Formal Access Control Model.
ETRICS 2006: 352-367 |
| 2005 |
|---|
| 53 | | Ernst-Rüdiger Olderog,
Heike Wehrheim:
Specification and (property) inheritance in CSP-OZ.
Sci. Comput. Program. 55(1-3): 227-257 (2005) |
| 2004 |
|---|
| 52 | | Michael Möller,
Ernst-Rüdiger Olderog,
Holger Rasch,
Heike Wehrheim:
Linking CSP-OZ with UML and Java: A Case Study.
IFM 2004: 267-286 |
| 2003 |
|---|
| 51 | | Werner Damm,
Hardi Hungar,
Ernst-Rüdiger Olderog:
On the Verification of Cooperating Traffic Agents.
FMCO 2003: 77-110 |
| 50 | | Ernst-Rüdiger Olderog:
Translation and Optimization in the Verification of Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 82(2): (2003) |
| 49 | | Ernst-Rüdiger Olderog,
Henning Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems.
J. UCS 9(2): 88-105 (2003) |
| 2002 |
|---|
| 48 |  | Werner Damm,
Ernst-Rüdiger Olderog:
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
Springer 2002 |
| 47 | | Ernst-Rüdiger Olderog,
Heike Wehrheim:
Specification and Inheritance in CSP-OZ.
FMCO 2002: 361-379 |
| 46 | | Jochen Hoenicke,
Ernst-Rüdiger Olderog:
Combining Specification Techniques for Processes, Data and Time.
IFM 2002: 245-266 |
| 45 | | Jochen Hoenicke,
Ernst-Rüdiger Olderog:
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time.
Nord. J. Comput. 9(4): 301-334 (2002) |
| 2001 |
|---|
| 44 | | Clemens Fischer,
Ernst-Rüdiger Olderog,
Heike Wehrheim:
A CSP View on UML-RT Structure Diagrams.
FASE 2001: 91-108 |
| 2000 |
|---|
| 43 | | Ernst-Rüdiger Olderog,
Anders P. Ravn:
Completeness in formal specification language design for process-control systems.
FMSP 2000: 89-100 |
| 1999 |
|---|
| 42 | | Ernst-Rüdiger Olderog,
Bernhard Steffen:
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Springer 1999 |
| 41 | | Ernst-Rüdiger Olderog:
Correct Real-Time Software for Programmable Logic Controllers.
Correct System Design 1999: 342-362 |
| 40 | | Ernst-Rüdiger Olderog:
Entwicklung korrekter zeitkritischer Systeme.
FBT 1999: 7-16 |
| 39 | | 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: 1186-1205 |
| 38 | | Michael Schenke,
Ernst-Rüdiger Olderog:
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications.
Acta Inf. 36(1): 1-65 (1999) |
| 1998 |
|---|
| 37 | | Ernst-Rüdiger Olderog:
Formal methods in real-time systems.
ECRTS 1998: 254-263 |
| 36 | | Ernst-Rüdiger Olderog:
Combining Specification Techniques for Processes, Data and Time.
ZUM 1998: 192 |
| 1997 |
|---|
| 35 | | Ernst-Rüdiger Olderog,
Henning Dierks:
Decomposing Real-Time Specifications.
COMPOS 1997: 465-489 |
| 1995 |
|---|
| 34 | | 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: 150-172 |
| 1994 |
|---|
| 33 | | Ernst-Rüdiger Olderog:
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
North-Holland 1994 |
| 32 | | 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: 288-335 |
| 1993 |
|---|
| 31 | | Ernst-Rüdiger Olderog,
Stephan Rössig:
A Case Study in Transformational Design of Concurrent Systems.
TAPSOFT 1993: 90-104 |
| 1992 |
|---|
| 30 | | Ernst-Rüdiger Olderog:
Interfaces between Languages for Communicating Systems.
ICALP 1992: 641-655 |
| 1991 |
|---|
| 29 | | Ernst-Rüdiger Olderog:
Towards a Design Calculus for Communicationg Programs.
CONCUR 1991: 61-77 |
| 28 | | Ernst-Rüdiger Olderog:
Correctness of Concurrent Processes.
Theor. Comput. Sci. 80(2): 263-288 (1991) |
| 1989 |
|---|
| 27 | | Ernst-Rüdiger Olderog,
Krzysztof R. Apt:
Using Transformation to Verify Parallel Programs.
Algebraic Methods 1989: 55-81 |
| 26 | | Ernst-Rüdiger Olderog:
Correctness of Concurrent Processes.
MFCS 1989: 107-132 |
| 25 | | Ernst-Rüdiger Olderog:
From Trace Specifications to Process Terms.
REX Workshop 1989: 592-621 |
| 24 | | John-Jules Ch. Meyer,
Ernst-Rüdiger Olderog:
Hiding in Stream Semantics of Uniform Concurrency.
Acta Inf. 27(5): 381-397 (1989) |
| 1988 |
|---|
| 23 | | Ernst-Rüdiger Olderog:
Strong bisimilarity on nets: a new concept for comparing net semantics.
REX Workshop 1988: 549-573 |
| 22 | | Ernst-Rüdiger Olderog,
Krzysztof R. Apt:
Fairness in Parallel Programs: The Transformational Approach.
ACM Trans. Program. Lang. Syst. 10(3): 420-455 (1988) |
| 21 | | 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. 36(2): 158-224 (1988) |
| 20 | | Jan A. Bergstra,
Jan Willem Klop,
Ernst-Rüdiger Olderog:
Readies and Failures in the Algebra of Communicating Processes.
SIAM J. Comput. 17(6): 1134-1177 (1988) |
| 1987 |
|---|
| 19 | | 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. 49: 87-112 (1987) |
| 1986 |
|---|
| 18 | | Ernst-Rüdiger Olderog:
TCSP: Theory of Communicating Sequential Processes.
Advances in Petri Nets 1986: 441-465 |
| 17 | | Ernst-Rüdiger Olderog:
Operational Petri net semantics for CCSP.
European Workshop on Applications and Theory of Petri Nets 1986: 196-223 |
| 16 | | Ernst-Rüdiger Olderog:
Process Theory: Semantics, Specification and Verification.
Current Trends in Concurrency 1986: 442-509 |
| 15 | | 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: 51-122 |
| 14 | | Ernst-Rüdiger Olderog,
C. A. R. Hoare:
Specification-Oriented Semantics for Communicating Processes.
Acta Inf. 23(1): 9-66 (1986) |
| 1985 |
|---|
| 13 | | 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: 149-157 |
| 12 | | 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: 252-262 |
| 1984 |
|---|
| 11 | | Krzysztof R. Apt,
Ernst-Rüdiger Olderog:
Transformations Realizing Fairness Assumptions for Parallel Programs.
STACS 1984: 26-42 |
| 10 | | Ernst-Rüdiger Olderog:
Correctnes of Programs with Pascal-Like Procedures without Global Variables.
Theor. Comput. Sci. 30: 49-90 (1984) |
| 1983 |
|---|
| 9 | | Ernst-Rüdiger Olderog,
C. A. R. Hoare:
Specification-Oriented Semantics for Communicating Processes.
ICALP 1983: 561-572 |
| 8 | | Ernst-Rüdiger Olderog:
Hoare's Logic for Programs with Procedures - What Has Been Achieved?.
Logic of Programs 1983: 383-395 |
| 7 | | Ernst-Rüdiger Olderog:
A Characterization of Hoare's Logic for Programs with Pascal-like Procedures
STOC 1983: 320-329 |
| 6 | | Krzysztof R. Apt,
Ernst-Rüdiger Olderog:
Proof Rules and Transformations Dealing with Fairness.
Sci. Comput. Program. 3(1): 65-100 (1983) |
| 5 | | Ernst-Rüdiger Olderog:
On the Notion of Expressiveness and the Rule of Adaption.
Theor. Comput. Sci. 24: 337-347 (1983) |
| 1981 |
|---|
| 4 | | Ernst-Rüdiger Olderog:
Hoare-Style Proof Systems and Formal Computations.
GI Jahrestagung 1981: 65-71 |
| 3 | | Krzysztof R. Apt,
Ernst-Rüdiger Olderog:
Proof Rules Dealing with Fairness.
Logic of Programs 1981: 1-8 |
| 2 | | Ernst-Rüdiger Olderog:
Sound and Complete Hoare-like Calculi Based on Copy Rules.
Acta Inf. 16: 161-197 (1981) |
| 1980 |
|---|
| 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: 363-373 |
