Correct System Design

Sven Linker

Address: Sven Linker
University of Oldenburg
Faculty II
Department of Computing Science
D-26111 Oldenburg
Germany 		Foto
Room: A2 2-206
Phone: +49 441 798-4727
email: Sven.Linker

 


top of page

Research

My research interests are
  • Modal logic
  • process algebra
  • Theorem proving
  • real-time systems
  • Model checking

top of page

Publications

[HLOR11]
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 www.springerlink.com. (to appear).
[ bib | Abstract ]

[FLOQ11]
Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, and Jan-David 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.
[ bib | http | Abstract ]

[Lin10]
Sven 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. 10.1007/978-3-642-14600-8_40.
[ bib | http ]


top of page

Theses

[Lin08]
Sven Linker. Model checking pi-Calculus against temporal connectedness properties, 2008.
[ bib | .pdf ]

[Lin07]
Sven Linker. Natürliches schließen für den Shape Calculus, 2007.
[ bib | .pdf ]