Sven Linker

Anschrift:	Sven Linker Universität Oldenburg Fakultät II Department für Informatik 26111 Oldenburg
Raum:	A2 2-206
Telefon:	(04 41) 798-4727
E-Mail:	Sven.Linker

 

Forschung

Meine Forschungsinteressen sind

• Modallogik
• Prozessalgebra
• Theorem-Beweisen
• Realzeitsysteme
• Model-Checking

Publikationen

[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.
[ bib | .pdf | 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 ]

Abschlussarbeiten

[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 ]