2008 |
60 | EE | Ernst-Rüdiger Olderog:
Automatic Verification of Combined Specifications: An Overview.
Electr. Notes Theor. Comput. Sci. 207: 3-16 (2008) |
59 | EE | 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 | EE | David A. Basin,
Ernst-Rüdiger Olderog,
Paul E. Sevinç:
Specifying and analyzing security automata using CSP-OZ.
ASIACCS 2007: 70-81 |
57 | EE | 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 | EE | Ernst-Rüdiger Olderog,
Anders P. Ravn:
Editorial: Hybrid Systems.
Acta Inf. 43(7): 449-450 (2007) |
55 | EE | 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 | EE | 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 | EE | Ernst-Rüdiger Olderog,
Heike Wehrheim:
Specification and (property) inheritance in CSP-OZ.
Sci. Comput. Program. 55(1-3): 227-257 (2005) |
2004 |
52 | EE | 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 | EE | Werner Damm,
Hardi Hungar,
Ernst-Rüdiger Olderog:
On the Verification of Cooperating Traffic Agents.
FMCO 2003: 77-110 |
50 | EE | Ernst-Rüdiger Olderog:
Translation and Optimization in the Verification of Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 82(2): (2003) |
49 | EE | 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 | EE | Ernst-Rüdiger Olderog,
Heike Wehrheim:
Specification and Inheritance in CSP-OZ.
FMCO 2002: 361-379 |
46 | EE | 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 | EE | Clemens Fischer,
Ernst-Rüdiger Olderog,
Heike Wehrheim:
A CSP View on UML-RT Structure Diagrams.
FASE 2001: 91-108 |
2000 |
43 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |