Sven Linker

Department für Informatik

Carl von Ossietzky Universität Oldenburg
Postfach 2503
26111 Oldenburg

Homepage: Raum: A2 - 2 -206 (» Adresse und Lageplan) Sprechzeiten: nach Vereinbarung Tel.: 0441 / 798 4727 Fax: 0441 / 798 2965


S. Linker and M. Hilscher. Proof theory of a multi-lane spatial logic. In Theoretical Aspects of Computing-ICTAC 2013, pages 231-248. Springer, 2013.

M. Hilscher, S. Linker, and E.-R. Olderog. Proving safety of traffic manoeuvres on country roads. In Zhiming Liu, Jim Woodcock, and Huibiao Zhu, editors, Theories of Programming and Formal Methods, volume 8051 of LNCS, pages 196-212. Springer, 2013.

S. Linker. Translating structural process properties to petri net markings. In Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD'12), pages 82-91. IEEE Computer Society Conference Publishing Services, June 2012.

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, Int'l Conf. on Formal Engineering Methods (ICFEM), volume 6991 of Lecture Notes in Computer Science. Springer-Verlag, Oct. 2011. The original publication is available at

J. Faber, S. Linker, E.-R. Olderog, and J.-D. Quesel. Syspect - modelling, specifying, and verifying real-time systems with rich data. International Journal of Software and Informatics, 5(1-2):117-137, 2011. ISSN 1673-7288.

S. Linker. Diagrammatic specification of mobile real-time systems. In Ashok Goel, Mateja Jamnik, and N. Narayanan, editors, Diagrammatic Representation and Inference, volume 6170 of Lecture Notes in Computer Science, pages 316-318. Springer Berlin / Heidelberg, 2010.