Edit Profile (opens in new tab) Olderog, Ernst-Rüdiger Compute Distance To: Compute Author ID: olderog.ernst-rudiger Published as: Olderog, Ernst-Rüdiger; Olderog, E.-R.; Olderog, Ernst-Ruediger; Olderog, E. R. more...less 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 all top 5 Co-Authors 18 single-authored 11 Apt, Krzysztof Rafal 5 Meyer, John-Jules Charles 4 Damm, Werner 4 de Bakker, Jacobus W. 4 Finkbeiner, Bernd 4 Hoenicke, Jochen 4 Wehrheim, Heike 3 de Boer, Frank S. 3 Gieseking, Manuel 3 Swaminathan, Mani 2 Goltz, Ursula 2 Hecking-Harbusch, Jesko 2 Hoare, C. A. R. Tony 2 Hungar, Hardi 2 Podelski, Andreas 2 van Glabbeek, Robert Jan 2 Zucker, Jeffery I. 1 Bergstra, Jan A. 1 Bowen, Jonathan P. 1 Broy, Manfred 1 De Gouw, Stijn 1 Dierks, Henning 1 Engelmann, Björn 1 Fischer, Clemens 1 Hilscher, Martin 1 Hinchey, Mike G. 1 Katoen, Joost-Pieter 1 Klop, Jan Willem 1 Kok, Joost N. 1 Langmaack, Hans 1 Linker, Sven 1 Meyer, Roland 1 Mikschl, Alfred 1 Möller, Michael 1 Oehlerking, Jens 1 Pang, Jun 1 Platzer, André 1 Rasch, Holger 1 Schenke, Michael 1 Schwammberger, Maike 1 Segelken, Marc 1 Steffen, Bernhard 1 Wirtz, Boris 1 Würdemann, Nick 1 Yi, Wang all top 5 Serials 7 Acta Informatica 4 Theoretical Computer Science 4 Formal Aspects of Computing 2 Journal of Computer and System Sciences 2 Science of Computer Programming 2 Bulletin of the European Association for Theoretical Computer Science (EATCS) 2 Lecture Notes in Computer Science 1 International Journal of Control 1 SIAM Journal on Computing 1 Information and Computation 1 Nordic Journal of Computing 1 Cambridge Tracts in Theoretical Computer Science 1 Texts in Computer Science 1 NASA Monographs in Systems and Software Engineering all top 5 Fields 68 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 5 Operations research, mathematical programming (90-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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.68019Olderog, E.-R.; Hoare, Tony 56 1986 Verification of sequential and concurrent programs. 3rd revised ed. Zbl 1183.68361Apt, 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.68002Olderog, E.-R. 30 1991 Proof rules and transformations dealing with fairness. Zbl 0512.68014Apt, Krysztof R.; Olderog, E.-R. 25 1983 Verification of sequential and concurrent programs. Zbl 0733.68053Apt, Krysztof R.; Olderog, Ernst-Rüdiger 21 1991 Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Zbl 0652.68028De 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.68019de 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.68006Olderog, Ernst-Ruediger 11 1983 Readies and failures in the algebra of communicating processes. Zbl 0677.68089Bergstra, J. A.; Klop, J. W.; Olderog, E.-R. 11 1988 Sound and complete Hoare-like calculi based on copy rules. Zbl 0464.68037Olderog, Ernst-Rüdiger 9 1981 Real-time systems. Formal specification and automatic verification. Zbl 1161.68030Olderog, Ernst-Rüdiger; Dierks, Henning 9 2008 Verification of sequential and concurrent programs. 2nd ed. Zbl 0869.68064Apt, Krzysztof R.; Olderog, Ernst-Rüdiger 9 1997 Verification of cooperating traffic agents. Zbl 1122.90325Damm, W.; Hungar, H.; Olderog, E.-R. 8 2006 Specification-oriented semantics for communicating processes. Zbl 0578.68009Olderog, 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.68008Langmaack, Hans; Olderog, Ernst-Rüdiger 7 1980 Petri games: synthesis of distributed systems with causal memory. Zbl 1362.68211Finkbeiner, Bernd; Olderog, Ernst-Rüdiger 7 2017 Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0623.68016de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R. 6 1987 Operational Petri net semantics for CCSP. Zbl 0636.68072Olderog, Ernst-Rüdiger 6 1987 Proving safety of traffic manoeuvres on country roads. Zbl 1390.68429Hilscher, Martin; Linker, Sven; Olderog, Ernst-Rüdiger 5 2013 CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643Hoenicke, Jochen; Olderog, Ernst-Rüdiger 5 2002 Proof rules dealing with fairness (Extended abstract). Zbl 0481.68021Apt, Krzysztof R.; Olderog, Ernst-Ruediger 4 1982 Specification and (property) inheritance in CSP-OZ. Zbl 1075.68051Olderog, Ernst-Rüdiger; Wehrheim, Heike 4 2005 Strong bisimilarity on nets: a new concept for comparing net semantics. (Technical contribution). Zbl 0683.68070Olderog, E. R. 4 1989 Combining specification techniques for processes, data and time. Zbl 1057.68626Hoenicke, Jochen; Olderog, Ernst-Rüdiger 4 2002 Transformations realizing fairness assumptions for parallel programs. Zbl 0558.68015Apt, Krysztof R.; Olderog, E.-R. 3 1984 Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0566.68011de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R. 3 1985 Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen. Zbl 0526.68006Olderog, Ernst-Ruediger 3 1981 Verification of object-oriented programs: a transformational approach. Zbl 1245.68062Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn 3 2012 Fairness for dynamic control. Zbl 1284.68400Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas 3 2010 Layered composition for timed automata. Zbl 1290.68078Olderog, Ernst-Rüdiger; Swaminathan, Mani 3 2010 Integrating a formal method into a software engineering process with UML and Java. Zbl 1141.68024Möller, Michael; Olderog, Ernst-Rüdiger; Rasch, Holger; Wehrheim, Heike 3 2008 Explicit fair scheduling for dynamic control. Zbl 1274.68035Olderog, Ernst-Rüdiger; Podelski, Andreas 3 2010 Automating verification of cooperation, control, and design in traffic applications. Zbl 1151.68476Damm, 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.68575Fischer, Clemens; Olderog, Ernst-Rüdiger; Wehrheim, Heike 3 2001 Transformational design of real-time systems. I: From requirements to program specifications. Zbl 0912.68129Schenke, Michael; Olderog, Ernst-Rüdiger 3 1999 Trace-oriented models of concurrency. Zbl 1021.68040Broy, Manfred; Olderog, Ernst-Rüdiger 2 2001 Hiding in stream semantics of uniform concurrency. Zbl 0672.68008Meyer, J.-J. Ch.; Olderog, E.-R. 2 1990 On the verification of cooperating traffic agents. Zbl 1104.68526Damm, Werner; Hungar, Hardi; Olderog, Ernst-Rüdiger 2 2004 Modular verification of recursive programs. Zbl 1241.68047Apt, 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.68020Olderog, Ernst-Rüdiger 1 1984 Specification-oriented programming in TCSP (preliminary version). Zbl 0578.68008Olderog, Ernst-Rüdiger 1 1985 Process theory: Semantics, specification and verification. Zbl 0597.68026Olderog, 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.68241Finkbeiner, Bernd; Olderog, Ernst-Rüdiger 1 2014 Layered reasoning for randomized distributed algorithms. Zbl 1259.68114Swaminathan, Mani; Katoen, Joost-Pieter; Olderog, Ernst-Rüdiger 1 2012 Model checking data flows in concurrent network updates. Zbl 1437.68115Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger 1 2019 Solving high-level Petri games. Zbl 1443.68112Gieseking, Manuel; Olderog, Ernst-Rüdiger; Würdemann, Nick 1 2020 AdamMC: a model checker for Petri nets with transits against Flow-LTL. Zbl 1478.68156Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger 1 2020 Solving high-level Petri games. Zbl 1443.68112Gieseking, Manuel; Olderog, Ernst-Rüdiger; Würdemann, Nick 1 2020 AdamMC: a model checker for Petri nets with transits against Flow-LTL. Zbl 1478.68156Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger 1 2020 Model checking data flows in concurrent network updates. Zbl 1437.68115Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger 1 2019 Petri games: synthesis of distributed systems with causal memory. Zbl 1362.68211Finkbeiner, 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.68241Finkbeiner, Bernd; Olderog, Ernst-Rüdiger 1 2014 Proving safety of traffic manoeuvres on country roads. Zbl 1390.68429Hilscher, Martin; Linker, Sven; Olderog, Ernst-Rüdiger 5 2013 Verification of object-oriented programs: a transformational approach. Zbl 1245.68062Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn 3 2012 Layered reasoning for randomized distributed algorithms. Zbl 1259.68114Swaminathan, Mani; Katoen, Joost-Pieter; Olderog, Ernst-Rüdiger 1 2012 Fairness for dynamic control. Zbl 1284.68400Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas 3 2010 Layered composition for timed automata. Zbl 1290.68078Olderog, Ernst-Rüdiger; Swaminathan, Mani 3 2010 Explicit fair scheduling for dynamic control. Zbl 1274.68035Olderog, Ernst-Rüdiger; Podelski, Andreas 3 2010 Verification of sequential and concurrent programs. 3rd revised ed. Zbl 1183.68361Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger 30 2009 Modular verification of recursive programs. Zbl 1241.68047Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger 2 2009 Real-time systems. Formal specification and automatic verification. Zbl 1161.68030Olderog, Ernst-Rüdiger; Dierks, Henning 9 2008 Integrating a formal method into a software engineering process with UML and Java. Zbl 1141.68024Möller, Michael; Olderog, Ernst-Rüdiger; Rasch, Holger; Wehrheim, Heike 3 2008 Automating verification of cooperation, control, and design in traffic applications. Zbl 1151.68476Damm, 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.90325Damm, W.; Hungar, H.; Olderog, E.-R. 8 2006 Specification and (property) inheritance in CSP-OZ. Zbl 1075.68051Olderog, Ernst-Rüdiger; Wehrheim, Heike 4 2005 On the verification of cooperating traffic agents. Zbl 1104.68526Damm, Werner; Hungar, Hardi; Olderog, Ernst-Rüdiger 2 2004 CSP-OZ-DC: a combination of specification techniques for processes, data and time. Zbl 1088.68643Hoenicke, Jochen; Olderog, Ernst-Rüdiger 5 2002 Combining specification techniques for processes, data and time. Zbl 1057.68626Hoenicke, Jochen; Olderog, Ernst-Rüdiger 4 2002 A CSP view on UML-RT structure diagrams. Zbl 0977.68575Fischer, Clemens; Olderog, Ernst-Rüdiger; Wehrheim, Heike 3 2001 Trace-oriented models of concurrency. Zbl 1021.68040Broy, Manfred; Olderog, Ernst-Rüdiger 2 2001 Transformational design of real-time systems. I: From requirements to program specifications. Zbl 0912.68129Schenke, Michael; Olderog, Ernst-Rüdiger 3 1999 Verification of sequential and concurrent programs. 2nd ed. Zbl 0869.68064Apt, Krzysztof R.; Olderog, Ernst-Rüdiger 9 1997 Nets, terms and formulas. Three views of concurrent processes and their relationship. Zbl 0741.68002Olderog, E.-R. 30 1991 Verification of sequential and concurrent programs. Zbl 0733.68053Apt, Krysztof R.; Olderog, Ernst-Rüdiger 21 1991 Hiding in stream semantics of uniform concurrency. Zbl 0672.68008Meyer, J.-J. Ch.; Olderog, E.-R. 2 1990 Strong bisimilarity on nets: a new concept for comparing net semantics. (Technical contribution). Zbl 0683.68070Olderog, E. R. 4 1989 Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Zbl 0652.68028De 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.68089Bergstra, J. A.; Klop, J. W.; Olderog, E.-R. 11 1988 Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0623.68016de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R. 6 1987 Operational Petri net semantics for CCSP. Zbl 0636.68072Olderog, Ernst-Rüdiger 6 1987 Specification-oriented semantics for communicating processes. Zbl 0569.68019Olderog, E.-R.; Hoare, Tony 56 1986 Contrasting themes in the semantics of imperative concurrency. Zbl 0606.68019de 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.68026Olderog, Ernst-Rüdiger 1 1986 Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0566.68011de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R. 3 1985 Specification-oriented programming in TCSP (preliminary version). Zbl 0578.68008Olderog, Ernst-Rüdiger 1 1985 Transformations realizing fairness assumptions for parallel programs. Zbl 0558.68015Apt, Krysztof R.; Olderog, E.-R. 3 1984 Hoare’s logic for programs with procedures - what has been achieved? Zbl 0557.68020Olderog, Ernst-Rüdiger 1 1984 Proof rules and transformations dealing with fairness. Zbl 0512.68014Apt, Krysztof R.; Olderog, E.-R. 25 1983 On the notion of expressiveness and the rule of adaptation. Zbl 0511.68006Olderog, Ernst-Ruediger 11 1983 Specification-oriented semantics for communicating processes. Zbl 0578.68009Olderog, E.-R.; Hoare, C. A. R. 7 1983 Proof rules dealing with fairness (Extended abstract). Zbl 0481.68021Apt, Krzysztof R.; Olderog, Ernst-Ruediger 4 1982 Sound and complete Hoare-like calculi based on copy rules. Zbl 0464.68037Olderog, Ernst-Rüdiger 9 1981 Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen. Zbl 0526.68006Olderog, Ernst-Ruediger 3 1981 Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions. Zbl 0441.68008Langmaack, Hans; Olderog, Ernst-Rüdiger 7 1980 all cited Publications top 5 cited Publications 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 all top 5 Cited in 41 Serials 65 Theoretical Computer Science 28 Formal Aspects of Computing 21 Information and Computation 19 Acta Informatica 7 Information Processing Letters 7 Distributed Computing 7 The Journal of Logic and Algebraic Programming 6 Journal of Computer and System Sciences 4 Science of Computer Programming 4 Journal of Automated Reasoning 4 Journal of Logical and Algebraic Methods in Programming 3 International Journal of Parallel Programming 3 MSCS. Mathematical Structures in Computer Science 2 Information Sciences 2 Studia Logica 2 Formal Methods in System Design 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Applied Logic 2 Frontiers of Computer Science 1 ACM Computing Surveys 1 BIT 1 Mathematical Systems Theory 1 Programming and Computer Software 1 Annals of Pure and Applied Logic 1 New Generation Computing 1 Real-Time Systems 1 International Journal of Foundations of Computer Science 1 Discrete Event Dynamic Systems 1 Games and Economic Behavior 1 RAIRO. Informatique Théorique et Applications 1 Applied Categorical Structures 1 Journal of Applied Non-Classical Logics 1 1 Theory of Computing Systems 1 International Journal of Applied Mathematics and Computer Science 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 Acta Universitatis Sapientiae. Informatica 1 Science China. Information Sciences 1 Frontiers of Computer Science in China all top 5 Cited in 16 Fields 256 Computer science (68-XX) 41 Mathematical logic and foundations (03-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Systems theory; control (93-XX) 5 Operations research, mathematical programming (90-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 2 History and biography (01-XX) 2 Category theory; homological algebra (18-XX) 2 General topology (54-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Operator theory (47-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.