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.