Ernst-Rüdiger Olderog

	2012
72		Ernst-Rüdiger Olderog: Automatic Verification of Real-Time Systems with Rich Data: An Overview. TAMC 2012: 84-93
71		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. 78(3): 823-852 (2012)
	2011
70		Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn: An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ICFEM 2011: 404-419
69		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 5(1-2): 117-137 (2011)
	2010
68		Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog: Kleene, Rabin, and Scott Are Available. CONCUR 2010: 462-477
67		Ernst-Rüdiger Olderog, Andreas Podelski: Explicit Fair Scheduling for Dynamic Control. Concurrency, Compositionality, and Correctness 2010: 96-117
66		Ernst-Rüdiger Olderog, Mani Swaminathan: Layered Composition for Timed Automata. FORMATS 2010: 228-242
65		Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski: Fairness for Dynamic Control. TACAS 2010: 251-265
64		Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Verification of Object-Oriented Programs: a Transformational Approach CoRR abs/1004.4656: (2010)
	2009
63		Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21
62		Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs CoRR abs/0907.4316: (2009)
	2008
61		Ernst-Rüdiger Olderog, Henning Dierks: Real-time systems - formal specification and automatic verification. Cambridge University Press 2008: I-XVI, 1-320
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): 345 (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

Coauthor Index

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page