!!Ernst-Rüdiger Olderog - Selected Publications
\\
E.-R. Olderog, Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship, \\
Cambridge University Press, 1991, paperback ed. 2005, 267 pp.\\
\\
E.-R. Olderog and H. Dierks, Real-Time Systems: Formal Specification and Automatic Verification, \\
Cambridge University Press, 2008, 320 pp.\\
\\
K.-R. Apt, F. S. de Boer, and E.-R. Olderog. Verification of Sequential and Concurrent Programs. 3rd Edition.\\
Springer, 2009, 502 pp.\\
\\
J. Hoenicke and E.-R. Olderog. CSP-OZ-DC: A combination of specification techniques for processes, data and time. \\
Nordic Journal of Computing 9 (2002) 301-334.\\
\\
W. Damm, H. Hungar, and E.-R. Olderog. Verification of cooperating travel agents.\\
International Journal of Control 79 (2006) 395-421.\\
\\
M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim. \\
Integrating a formal method into a software engineering process with UML and Java. \\
Formal Aspects of Computing 20 (2008) 161-204.\\
\\
J. Hoenicke, E.-R. Olderog, and A. Podelski. Fairness for dynamic control. In J. Esparza and R. Majumdar, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 6015 (Springer, 2010) 251-265.\\
\\
E.-R. Olderog and M. Swaminathan. Layered composition for timed automata. In K. Chatterjee and T. A Henzinger, editors,\\
Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS 6246 (Springer, 2010) 228-242.\\
\\
J. Hoenicke, R. Meyer, and E.-R. Olderog. Kleene, Rabin, and Scott are available. In P. Gastin and F. Laroussinie, editors, \\
Concurrency Theory (CONCUR), LNCS 6269 (Springer, 2010) 462-477.\\
\\
M. Hilscher, S. Linker, E.-R. Olderog, and A.P. Ravn. An abstract model for proving safety of multi-lane traffic manoeuvres.\\
In Shengchao Qin and Zongyan Qiu, editors, Intern. Conf. on Formal Engineering Methods (ICFEM), \\
LNCS 6991 (Springer, 2011) 404-419.\\
\\
K. R. Apt, F. S. de~Boer, E.-R. Olderog, and S. de Gouw. \\
Verification of object-oriented programs:  A transformational approach.\\
J Computer System Sciences, 78 (2012) 823--852.\\
\\
M. Swaminathan, J.-P. Katoen, and E.-R. Olderog. Layered reasoning for randomized distributed algorithms.\\
Formal Aspects of Computing, 24 (2012) 477--496.