×

Olderog, Ernst-Rüdiger

Compute Distance To:
Author ID: olderog.ernst-rudiger Recent zbMATH articles by "Olderog, Ernst-Rüdiger"
Published as: Olderog, Ernst-Rüdiger; Olderog, E.-R.; Olderog, Ernst-Ruediger; Olderog, E. R.
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 64 Publications since 1980, including 7 Books
5 Contributions as Editor
Biographic References: 4 Publications
Co-Authors: 45 Co-Authors with 51 Joint Publications
1,087 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 350 times in 264 Documents Cited by Year
Specification-oriented semantics for communicating processes. Zbl 0569.68019
Olderog, E.-R.; Hoare, Tony
56
1986
Verification of sequential and concurrent programs. 3rd revised ed. Zbl 1183.68361
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
30
2009
Nets, terms and formulas. Three views of concurrent processes and their relationship. Zbl 0741.68002
Olderog, E.-R.
30
1991
Proof rules and transformations dealing with fairness. Zbl 0512.68014
Apt, Krysztof R.; Olderog, E.-R.
25
1983
Verification of sequential and concurrent programs. Zbl 0733.68053
Apt, Krysztof R.; Olderog, Ernst-Rüdiger
21
1991
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Zbl 0652.68028
De Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1988
Contrasting themes in the semantics of imperative concurrency. Zbl 0606.68019
de Bakker, J. W.; Kok, J. N.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1986
On the notion of expressiveness and the rule of adaptation. Zbl 0511.68006
Olderog, Ernst-Ruediger
11
1983
Readies and failures in the algebra of communicating processes. Zbl 0677.68089
Bergstra, J. A.; Klop, J. W.; Olderog, E.-R.
11
1988
Sound and complete Hoare-like calculi based on copy rules. Zbl 0464.68037
Olderog, Ernst-Rüdiger
9
1981
Real-time systems. Formal specification and automatic verification. Zbl 1161.68030
Olderog, Ernst-Rüdiger; Dierks, Henning
9
2008
Verification of sequential and concurrent programs. 2nd ed. Zbl 0869.68064
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger
9
1997
Verification of cooperating traffic agents. Zbl 1122.90325
Damm, W.; Hungar, H.; Olderog, E.-R.
8
2006
Specification-oriented semantics for communicating processes. Zbl 0578.68009
Olderog, E.-R.; Hoare, C. A. R.
7
1983
Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions. Zbl 0441.68008
Langmaack, Hans; Olderog, Ernst-Rüdiger
7
1980
Petri games: synthesis of distributed systems with causal memory. Zbl 1362.68211
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger
7
2017
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0623.68016
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
6
1987
Operational Petri net semantics for CCSP. Zbl 0636.68072
Olderog, Ernst-Rüdiger
6
1987
Proving safety of traffic manoeuvres on country roads. Zbl 1390.68429
Hilscher, Martin; Linker, Sven; Olderog, Ernst-Rüdiger
5
2013
CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643
Hoenicke, Jochen; Olderog, Ernst-Rüdiger
5
2002
Proof rules dealing with fairness (Extended abstract). Zbl 0481.68021
Apt, Krzysztof R.; Olderog, Ernst-Ruediger
4
1982
Specification and (property) inheritance in CSP-OZ. Zbl 1075.68051
Olderog, Ernst-Rüdiger; Wehrheim, Heike
4
2005
Strong bisimilarity on nets: a new concept for comparing net semantics. (Technical contribution). Zbl 0683.68070
Olderog, E. R.
4
1989
Combining specification techniques for processes, data and time. Zbl 1057.68626
Hoenicke, Jochen; Olderog, Ernst-Rüdiger
4
2002
Transformations realizing fairness assumptions for parallel programs. Zbl 0558.68015
Apt, Krysztof R.; Olderog, E.-R.
3
1984
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0566.68011
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
3
1985
Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen. Zbl 0526.68006
Olderog, Ernst-Ruediger
3
1981
Verification of object-oriented programs: a transformational approach. Zbl 1245.68062
Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn
3
2012
Fairness for dynamic control. Zbl 1284.68400
Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas
3
2010
Layered composition for timed automata. Zbl 1290.68078
Olderog, Ernst-Rüdiger; Swaminathan, Mani
3
2010
Integrating a formal method into a software engineering process with UML and Java. Zbl 1141.68024
Möller, Michael; Olderog, Ernst-Rüdiger; Rasch, Holger; Wehrheim, Heike
3
2008
Explicit fair scheduling for dynamic control. Zbl 1274.68035
Olderog, Ernst-Rüdiger; Podelski, Andreas
3
2010
Automating verification of cooperation, control, and design in traffic applications. Zbl 1151.68476
Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger; Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Boris
3
2007
A CSP view on UML-RT structure diagrams. Zbl 0977.68575
Fischer, Clemens; Olderog, Ernst-Rüdiger; Wehrheim, Heike
3
2001
Transformational design of real-time systems. I: From requirements to program specifications. Zbl 0912.68129
Schenke, Michael; Olderog, Ernst-Rüdiger
3
1999
Trace-oriented models of concurrency. Zbl 1021.68040
Broy, Manfred; Olderog, Ernst-Rüdiger
2
2001
Hiding in stream semantics of uniform concurrency. Zbl 0672.68008
Meyer, J.-J. Ch.; Olderog, E.-R.
2
1990
On the verification of cooperating traffic agents. Zbl 1104.68526
Damm, Werner; Hungar, Hardi; Olderog, Ernst-Rüdiger
2
2004
Modular verification of recursive programs. Zbl 1241.68047
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
2
2009
Hoare’s logic for programs with procedures - what has been achieved? Zbl 0557.68020
Olderog, Ernst-Rüdiger
1
1984
Specification-oriented programming in TCSP (preliminary version). Zbl 0578.68008
Olderog, Ernst-Rüdiger
1
1985
Process theory: Semantics, specification and verification. Zbl 0597.68026
Olderog, Ernst-Rüdiger
1
1986
Special issue on “Combining compositionality and concurrency”. I. Zbl 1315.00129
1
2015
Petri games: synthesis of distributed systems with causal memory. Zbl 1464.68241
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger
1
2014
Layered reasoning for randomized distributed algorithms. Zbl 1259.68114
Swaminathan, Mani; Katoen, Joost-Pieter; Olderog, Ernst-Rüdiger
1
2012
Model checking data flows in concurrent network updates. Zbl 1437.68115
Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger
1
2019
Solving high-level Petri games. Zbl 1443.68112
Gieseking, Manuel; Olderog, Ernst-Rüdiger; Würdemann, Nick
1
2020
AdamMC: a model checker for Petri nets with transits against Flow-LTL. Zbl 1478.68156
Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger
1
2020
Solving high-level Petri games. Zbl 1443.68112
Gieseking, Manuel; Olderog, Ernst-Rüdiger; Würdemann, Nick
1
2020
AdamMC: a model checker for Petri nets with transits against Flow-LTL. Zbl 1478.68156
Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger
1
2020
Model checking data flows in concurrent network updates. Zbl 1437.68115
Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger
1
2019
Petri games: synthesis of distributed systems with causal memory. Zbl 1362.68211
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger
7
2017
Special issue on “Combining compositionality and concurrency”. I. Zbl 1315.00129
1
2015
Petri games: synthesis of distributed systems with causal memory. Zbl 1464.68241
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger
1
2014
Proving safety of traffic manoeuvres on country roads. Zbl 1390.68429
Hilscher, Martin; Linker, Sven; Olderog, Ernst-Rüdiger
5
2013
Verification of object-oriented programs: a transformational approach. Zbl 1245.68062
Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn
3
2012
Layered reasoning for randomized distributed algorithms. Zbl 1259.68114
Swaminathan, Mani; Katoen, Joost-Pieter; Olderog, Ernst-Rüdiger
1
2012
Fairness for dynamic control. Zbl 1284.68400
Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas
3
2010
Layered composition for timed automata. Zbl 1290.68078
Olderog, Ernst-Rüdiger; Swaminathan, Mani
3
2010
Explicit fair scheduling for dynamic control. Zbl 1274.68035
Olderog, Ernst-Rüdiger; Podelski, Andreas
3
2010
Verification of sequential and concurrent programs. 3rd revised ed. Zbl 1183.68361
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
30
2009
Modular verification of recursive programs. Zbl 1241.68047
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
2
2009
Real-time systems. Formal specification and automatic verification. Zbl 1161.68030
Olderog, Ernst-Rüdiger; Dierks, Henning
9
2008
Integrating a formal method into a software engineering process with UML and Java. Zbl 1141.68024
Möller, Michael; Olderog, Ernst-Rüdiger; Rasch, Holger; Wehrheim, Heike
3
2008
Automating verification of cooperation, control, and design in traffic applications. Zbl 1151.68476
Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger; Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Boris
3
2007
Verification of cooperating traffic agents. Zbl 1122.90325
Damm, W.; Hungar, H.; Olderog, E.-R.
8
2006
Specification and (property) inheritance in CSP-OZ. Zbl 1075.68051
Olderog, Ernst-Rüdiger; Wehrheim, Heike
4
2005
On the verification of cooperating traffic agents. Zbl 1104.68526
Damm, Werner; Hungar, Hardi; Olderog, Ernst-Rüdiger
2
2004
CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643
Hoenicke, Jochen; Olderog, Ernst-Rüdiger
5
2002
Combining specification techniques for processes, data and time. Zbl 1057.68626
Hoenicke, Jochen; Olderog, Ernst-Rüdiger
4
2002
A CSP view on UML-RT structure diagrams. Zbl 0977.68575
Fischer, Clemens; Olderog, Ernst-Rüdiger; Wehrheim, Heike
3
2001
Trace-oriented models of concurrency. Zbl 1021.68040
Broy, Manfred; Olderog, Ernst-Rüdiger
2
2001
Transformational design of real-time systems. I: From requirements to program specifications. Zbl 0912.68129
Schenke, Michael; Olderog, Ernst-Rüdiger
3
1999
Verification of sequential and concurrent programs. 2nd ed. Zbl 0869.68064
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger
9
1997
Nets, terms and formulas. Three views of concurrent processes and their relationship. Zbl 0741.68002
Olderog, E.-R.
30
1991
Verification of sequential and concurrent programs. Zbl 0733.68053
Apt, Krysztof R.; Olderog, Ernst-Rüdiger
21
1991
Hiding in stream semantics of uniform concurrency. Zbl 0672.68008
Meyer, J.-J. Ch.; Olderog, E.-R.
2
1990
Strong bisimilarity on nets: a new concept for comparing net semantics. (Technical contribution). Zbl 0683.68070
Olderog, E. R.
4
1989
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Zbl 0652.68028
De Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1988
Readies and failures in the algebra of communicating processes. Zbl 0677.68089
Bergstra, J. A.; Klop, J. W.; Olderog, E.-R.
11
1988
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0623.68016
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
6
1987
Operational Petri net semantics for CCSP. Zbl 0636.68072
Olderog, Ernst-Rüdiger
6
1987
Specification-oriented semantics for communicating processes. Zbl 0569.68019
Olderog, E.-R.; Hoare, Tony
56
1986
Contrasting themes in the semantics of imperative concurrency. Zbl 0606.68019
de Bakker, J. W.; Kok, J. N.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1986
Process theory: Semantics, specification and verification. Zbl 0597.68026
Olderog, Ernst-Rüdiger
1
1986
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0566.68011
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
3
1985
Specification-oriented programming in TCSP (preliminary version). Zbl 0578.68008
Olderog, Ernst-Rüdiger
1
1985
Transformations realizing fairness assumptions for parallel programs. Zbl 0558.68015
Apt, Krysztof R.; Olderog, E.-R.
3
1984
Hoare’s logic for programs with procedures - what has been achieved? Zbl 0557.68020
Olderog, Ernst-Rüdiger
1
1984
Proof rules and transformations dealing with fairness. Zbl 0512.68014
Apt, Krysztof R.; Olderog, E.-R.
25
1983
On the notion of expressiveness and the rule of adaptation. Zbl 0511.68006
Olderog, Ernst-Ruediger
11
1983
Specification-oriented semantics for communicating processes. Zbl 0578.68009
Olderog, E.-R.; Hoare, C. A. R.
7
1983
Proof rules dealing with fairness (Extended abstract). Zbl 0481.68021
Apt, Krzysztof R.; Olderog, Ernst-Ruediger
4
1982
Sound and complete Hoare-like calculi based on copy rules. Zbl 0464.68037
Olderog, Ernst-Rüdiger
9
1981
Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen. Zbl 0526.68006
Olderog, Ernst-Ruediger
3
1981
Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions. Zbl 0441.68008
Langmaack, Hans; Olderog, Ernst-Rüdiger
7
1980
all top 5

Cited by 361 Authors

18 Olderog, Ernst-Rüdiger
11 Hesselink, Wim H.
10 Meyer, John-Jules Charles
10 van Glabbeek, Robert Jan
9 Gorrieri, Roberto
8 Francez, Nissim
7 de Bakker, Jacobus W.
7 de Boer, Frank S.
6 Apt, Krzysztof Rafal
5 de Vink, Erik P.
5 Grumberg, Orna
5 Vogler, Walter
5 Wehrheim, Heike
4 Bergstra, Jan A.
4 Best, Eike
4 Koutny, Maciej
4 Platzer, André
4 Vaandrager, Frits W.
3 De Gouw, Stijn
3 Dovland, Johan
3 Finkbeiner, Bernd
3 Gieseking, Manuel
3 Hallerstede, Stefan
3 Hecking-Harbusch, Jesko
3 Johnsen, Einar Broch
3 Katz, Shmuel
3 Kok, Joost N.
3 Lüttgen, Gerald
3 Montanari, Ugo G.
3 Moszkowski, Ben C.
3 Owe, Olaf
3 Podelski, Andreas
3 Priese, Lutz
3 Rodríguez-Artalejo, Mario
3 Roscoe, Andrew William
3 Steffen, Martin
3 Stirling, Colin
3 Tucker, John V.
3 van der Hoek, Wiebe
2 America, Pierre
2 Andova, Suzana
2 Attie, Paul C.
2 Back, Ralph-Johan
2 Baeten, Jos C. M.
2 Bernardo, Marco
2 Boreale, Michele
2 Cavalcanti, Ana
2 Clarke, Edmund Melson jun.
2 Costa, Gerardo
2 Costa, José Félix
2 Damm, Werner
2 de Bakker, Jaco
2 De Nicola, Rocco
2 Faber, Johannes
2 Fix, Limor
2 Groenewegen, Luuk P. J.
2 Guelev, Dimitar P.
2 Guerra, Hélia
2 Hansen, Michael Reichhardt
2 Hennessy, Matthew C. B.
2 Hilscher, Martin
2 Hoare, C. A. R. Tony
2 Hoenicke, Jochen
2 Höfner, Peter
2 Hortala-Gonzalez, Maria Teresa
2 Huynh, Dung T.
2 Jonsson, Bengt
2 Larsen, Kim Guldstrand
2 Liu, Zhiming
2 Main, Michael G.
2 Majster-Cederbaum, Mila E.
2 Meyer, Roland
2 Möller, Bernhard
2 Naumann, David A.
2 Nicola, R. D.
2 Nielsen, Mogens
2 Panangaden, Prakash
2 Pnueli, Amir
2 Pugliese, Rosario
2 Rutten, Jan J. M. M.
2 Sampaio, Augusto C. A.
2 Schwammberger, Maike
2 Shanbhogue, Vasant
2 Struth, Georg
2 Swaminathan, Mani
2 Taubner, Dirk
2 Tian, Lu
2 Utard, Gil
2 Vardi, Moshe Ya’akov
2 Winskel, Glynn
2 Würdemann, Nick
2 Xiang, Shuangqing
2 Xie, Wanling
2 Yen, Hsuchun
2 Ying, Mingsheng
2 Zhao, Xishun
2 Zhu, Huibiao
1 Ábrahám, Erika
1 Abramsky, Samson
1 Adobbati, Federica
...and 261 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.