dblp.uni-trier.dewww.uni-trier.de

Ernst-Rüdiger Olderog Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
62EEKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21
61EEKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs CoRR abs/0907.4316: (2009)
2008
60EEErnst-Rüdiger Olderog: Automatic Verification of Combined Specifications: An Overview. Electr. Notes Theor. Comput. Sci. 207: 3-16 (2008)
59EEMichael 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
58EEDavid A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç: Specifying and analyzing security automata using CSP-OZ. ASIACCS 2007: 70-81
57EEWerner 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
56EEErnst-Rüdiger Olderog, Anders P. Ravn: Editorial: Hybrid Systems. Acta Inf. 43(7): 449-450 (2007)
55EEBernd 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
54EEPaul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog: Controlling Access to Documents: A Formal Access Control Model. ETRICS 2006: 352-367
2005
53EEErnst-Rüdiger Olderog, Heike Wehrheim: Specification and (property) inheritance in CSP-OZ. Sci. Comput. Program. 55(1-3): 227-257 (2005)
2004
52EEMichael 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
51EEWerner Damm, Hardi Hungar, Ernst-Rüdiger Olderog: On the Verification of Cooperating Traffic Agents. FMCO 2003: 77-110
50EEErnst-Rüdiger Olderog: Translation and Optimization in the Verification of Real-Time Systems. Electr. Notes Theor. Comput. Sci. 82(2): (2003)
49EEErnst-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
47EEErnst-Rüdiger Olderog, Heike Wehrheim: Specification and Inheritance in CSP-OZ. FMCO 2002: 361-379
46EEJochen 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
44EEClemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim: A CSP View on UML-RT Structure Diagrams. FASE 2001: 91-108
2000
43EEErnst-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
41EEErnst-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
39EEBernd 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
38EEMichael 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
37EEErnst-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
35EEErnst-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
31EEErnst-Rüdiger Olderog, Stephan Rössig: A Case Study in Transformational Design of Concurrent Systems. TAPSOFT 1993: 90-104
1992
30EEErnst-Rüdiger Olderog: Interfaces between Languages for Communicating Systems. ICALP 1992: 641-655
1991
29EEErnst-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
27EEErnst-Rüdiger Olderog, Krzysztof R. Apt: Using Transformation to Verify Parallel Programs. Algebraic Methods 1989: 55-81
26EEErnst-Rüdiger Olderog: Correctness of Concurrent Processes. MFCS 1989: 107-132
25EEErnst-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
23EEErnst-Rüdiger Olderog: Strong bisimilarity on nets: a new concept for comparing net semantics. REX Workshop 1988: 549-573
22EEErnst-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
17EEErnst-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
13EEJ. 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
11EEKrzysztof 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
9EEErnst-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
1EEHans 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

Coauthor Index

1Krzysztof R. Apt [3] [6] [11] [22] [27] [61] [62]
2Alexander Baer [39]
3J. W. de Bakker (Jaco de Bakker) [12] [13] [15] [19] [21]
4David A. Basin [54] [58]
5Bernd Becker [55]
6Jan A. Bergstra [20]
7Frank S. de Boer [61] [62]
8Werner Damm [48] [51] [55] [57]
9Grit Denker [34]
10Henning Dierks [35] [49]
11Hans-Dieter Ehrich [34]
12Clemens Fischer [44]
13Martin Fränzle [32] [55]
14Carola Gerke [34]
15Martin Gogolla [34]
16Wolfgang Grieskamp [34]
17Michael R. Hansen [32]
18Jifeng He [32]
19Rudolf Herzig [34]
20C. A. R. Hoare (Tony Hoare) [9] [14] [32]
21Jochen Hoenicke [45] [46]
22Hardi Hungar [51]
23Jan Willem Klop [20]
24Joost N. Kok [15]
25Bernd Krieg-Brückner [39]
26Hans Langmaack [1]
27John-Jules Ch. Meyer [12] [13] [15] [19] [21] [24]
28Alfred Mikschl [57]
29Michael Möller [52] [59]
30Markus Müller-Olm [32]
31Jens Oehlerking [57]
32Jun Pang [57]
33Jan Peleska [39]
34André Platzer [57]
35Andreas Podelski [55]
36Holger Rasch [52] [59]
37Anders P. Ravn [32] [43] [56]
38Franz Regensburger [34]
39Hans Rischel [32]
40Stephan Rössig [31]
41Michael Schenke [32] [38]
42Marc Segelken [57]
43Paul E. Sevinç [54] [58]
44Bernhard Steffen [42]
45Heike Wehrheim [44] [47] [52] [53] [59]
46Reinhard Wilhelm [55]
47Boris Wirtz [57]
48Jeffery I. Zucker [12] [15] [21]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)