Follow
Sven Linker
Sven Linker
System Verification Engineer @ Kernkonzept GmbH
No verified email
Title
Cited by
Cited by
Year
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres
M Hilscher, S Linker, ER Olderog, A Ravn
Formal Methods and Software Engineering, 404-419, 2011
902011
Proving safety of traffic manoeuvres on country roads
M Hilscher, S Linker, ER Olderog
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013
63*2013
Proof Theory of a Multi-Lane Spatial Logic
S Linker, M Hilscher
Logical Methods in Computer Science 11 (3), 2015
422015
Modular verification of vehicle platooning with respect to decisions, space and time
M Kamali, S Linker, M Fisher
Formal Techniques for Safety-Critical Systems: 6th International Workshop …, 2019
222019
Proofs for Traffic Safety: Combining Diagrams and Logic
S Linker
Carl von Ossietzky Universität Oldenburg, 2015
192015
Synthesizing and verifying controllers for multi-lane traffic maneuvers
GV Bochmann, M Hilscher, S Linker, ER Olderog
Formal Aspects of Computing, 1-18, 2017
152017
Analysing spatial properties on neighbourhood spaces
S Linker, F Papacchini, M Sevegnani
arXiv preprint arXiv:2007.01266, 2020
122020
Investigating parametric influence on discrete synchronisation protocols using quantitative model checking
P Gainer, S Linker, C Dixon, U Hustadt, M Fisher
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
122017
The power of synchronisation: formal analysis of power consumption in networks of pulse-coupled oscillators
P Gainer, S Linker, C Dixon, U Hustadt, M Fisher
International Conference on Formal Engineering Methods, 160-176, 2018
72018
Syspect - modelling, specifying, and verifying real-time systems with rich data.
J Faber, S Linker, ER Olderog, JD Quesel
International Journal of Software and Informatics 5 (1-2), 117-137, 2011
72011
Diagrammatic representation and inference
AV Pietarinen, P Chapman, L Bosveld-de Smet, V Giardino, J Corter, ...
The Sung Diagram: Revitalizing the Eisenhower Matrix. Cham, 498-502, 2020
52020
Sequent calculus for euler diagrams
S Linker
International Conference on Theory and Application of Diagrams, 399-407, 2018
52018
Spatial reasoning about motorway traffic safety with Isabelle/HOL
S Linker
International Conference on Integrated Formal Methods, 34-49, 2017
52017
Hybrid Multi-Lane Spatial Logic
S Linker
Archive of Formal Proofs, 2017
52017
Synthesizing controllers for multi-lane traffic maneuvers
G Bochmann, M Hilscher, S Linker, ER Olderog
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
52015
Tactical diagrammatic reasoning
S Linker, J Burton, M Jamnik
arXiv preprint arXiv:1701.07126, 2017
42017
Diagrammatic Representation and Inference: 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings
A Basu, G Stapleton, S Linker, C Legg, E Manalo, P Viana
Springer Nature, 2021
32021
Finite models for a spatial logic with discrete and topological path operators
S Linker, F Papacchini, M Sevegnani
Leibniz International Proceedings in Informatics, LIPIcs 202, 72, 2021
32021
MLFC: From 10 to 50 planners in the multi-agent programming contest
RC Cardoso, A Ferrando, F Papacchini, M Luckcuck, S Linker, TR Payne
Multi-Agent Progamming Contest, 82-107, 2021
32021
Multi-scale verification of distributed synchronisation
P Gainer, S Linker, C Dixon, U Hustadt, M Fisher
Formal Methods in System Design 55 (3), 171-221, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20