Gieseking, Manuel; Olderog, Ernst-Rüdiger High-level representation of benchmark families for Petri games. (English) Zbl 1522.68364 Olderog, Ernst-Rüdiger (ed.) et al., Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13030, 115-137 (2022). MSC: 68Q85 91A80 PDFBibTeX XMLCite \textit{M. Gieseking} and \textit{E.-R. Olderog}, Lect. Notes Comput. Sci. 13030, 115--137 (2022; Zbl 1522.68364) Full Text: DOI arXiv
Hannibal, Paul; Olderog, Ernst-Rüdiger The synthesis problem for repeatedly communicating Petri games. (English) Zbl 1499.68225 Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 236-257 (2022). MSC: 68Q85 68Q25 91A80 PDFBibTeX XMLCite \textit{P. Hannibal} and \textit{E.-R. Olderog}, Lect. Notes Comput. Sci. 13288, 236--257 (2022; Zbl 1499.68225) Full Text: DOI
Gieseking, Manuel; Olderog, Ernst-Rüdiger; Würdemann, Nick Solving high-level Petri games. (English) Zbl 1443.68112 Acta Inf. 57, No. 3-5, 591-626 (2020). MSC: 68Q85 91A80 PDFBibTeX XMLCite \textit{M. Gieseking} et al., Acta Inf. 57, No. 3--5, 591--626 (2020; Zbl 1443.68112) Full Text: DOI
Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger Model checking data flows in concurrent network updates. (English) Zbl 1437.68115 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 515-533 (2019). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{B. Finkbeiner} et al., Lect. Notes Comput. Sci. 11781, 515--533 (2019; Zbl 1437.68115) Full Text: DOI arXiv
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger Fifty years of Hoare’s logic. (English) Zbl 1427.68008 Formal Asp. Comput. 31, No. 6, 751-807 (2019). MSC: 68-03 03B70 68N30 68Q55 PDFBibTeX XMLCite \textit{K. R. Apt} and \textit{E.-R. Olderog}, Formal Asp. Comput. 31, No. 6, 751--807 (2019; Zbl 1427.68008) Full Text: DOI arXiv Link
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger Petri games: synthesis of distributed systems with causal memory. (English) Zbl 1362.68211 Inf. Comput. 253, Part 2, 181-203 (2017). MSC: 68Q85 68Q17 91A43 PDFBibTeX XMLCite \textit{B. Finkbeiner} and \textit{E.-R. Olderog}, Inf. Comput. 253, Part 2, 181--203 (2017; Zbl 1362.68211) Full Text: DOI arXiv
Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn Verification of object-oriented programs: a transformational approach. (English) Zbl 1245.68062 J. Comput. Syst. Sci. 78, No. 3, 823-852 (2012). MSC: 68N30 68N19 68Q60 PDFBibTeX XMLCite \textit{K. R. Apt} et al., J. Comput. Syst. Sci. 78, No. 3, 823--852 (2012; Zbl 1245.68062) Full Text: DOI
Möller, Michael; Olderog, Ernst-Rüdiger; Rasch, Holger; Wehrheim, Heike Integrating a formal method into a software engineering process with UML and Java. (English) Zbl 1141.68024 Formal Asp. Comput. 20, No. 2, 161-204 (2008). MSC: 68N15 68Q60 PDFBibTeX XMLCite \textit{M. Möller} et al., Formal Asp. Comput. 20, No. 2, 161--204 (2008; Zbl 1141.68024) Full Text: DOI
Olderog, Ernst-Rüdiger Interfaces between languages for communicating systems. (English) Zbl 1425.68300 Kuich, Werner (ed.), Automata, languages and programming. 19th international colloquium, Wien, Austria, July 13–17, 1992. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 623, 641-655 (1992). MSC: 68Q85 68N15 68N20 68Q55 68Q60 PDFBibTeX XMLCite \textit{E.-R. Olderog}, Lect. Notes Comput. Sci. 623, 641--655 (1992; Zbl 1425.68300) Full Text: DOI
Olderog, Ernst-Rüdiger Correctness of concurrent processes. (English) Zbl 0745.68045 Theor. Comput. Sci. 80, No. 2, 263-288 (1991). MSC: 68Q10 68Q55 PDFBibTeX XMLCite \textit{E.-R. Olderog}, Theor. Comput. Sci. 80, No. 2, 263--288 (1991; Zbl 0745.68045) Full Text: DOI
Meyer, J.-J. Ch.; Olderog, E.-R. Hiding in stream semantics of uniform concurrency. (English) Zbl 0672.68008 Acta Inf. 27, No. 8, 381-397 (1990). Reviewer: J.J.Ch.Meyer MSC: 68N25 PDFBibTeX XMLCite \textit{J. J. Ch. Meyer} and \textit{E. R. Olderog}, Acta Inf. 27, No. 8, 381--397 (1990; Zbl 0672.68008) Full Text: DOI
De Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I. Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. (English) Zbl 0652.68028 J. Comput. Syst. Sci. 36, No. 2, 158-224 (1988). Reviewer: J.-J.Ch.Meyer MSC: 68Q99 68Q60 PDFBibTeX XMLCite \textit{J. W. De Bakker} et al., J. Comput. Syst. Sci. 36, No. 2, 158--224 (1988; Zbl 0652.68028) Full Text: DOI Link
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R. Infinite streams and finite observations in the semantics of uniform concurrency. (English) Zbl 0623.68016 Theor. Comput. Sci. 49, 87-112 (1987). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{J. W. de Bakker} et al., Theor. Comput. Sci. 49, 87--112 (1987; Zbl 0623.68016) Full Text: DOI Link
Olderog, E.-R.; Hoare, Tony Specification-oriented semantics for communicating processes. (English) Zbl 0569.68019 Acta Inf. 23, 9-66 (1986). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{E. R. Olderog} and \textit{T. Hoare}, Acta Inf. 23, 9--66 (1986; Zbl 0569.68019) Full Text: DOI
Olderog, Ernst-Rüdiger Correctness of programs with Pascal-like procedures without global variables. (English) Zbl 0534.68016 Theor. Comput. Sci. 30, 49-90 (1984). MSC: 68Q60 PDFBibTeX XMLCite \textit{E.-R. Olderog}, Theor. Comput. Sci. 30, 49--90 (1984; Zbl 0534.68016) Full Text: DOI
Olderog, Ernst-Ruediger On the notion of expressiveness and the rule of adaptation. (English) Zbl 0511.68006 Theor. Comput. Sci. 24, 337-347 (1983). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{E.-R. Olderog}, Theor. Comput. Sci. 24, 337--347 (1983; Zbl 0511.68006) Full Text: DOI