Follow
Sven Linker
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
802011
Proving safety of traffic manoeuvres on country roads
M Hilscher, S Linker, ER Olderog
Theories of Programming and Formal Methods, 196-212, 2013
55*2013
Proof Theory of a Multi-Lane Spatial Logic
S Linker, M Hilscher
Logical Methods in Computer Science 11 (3), 2015
402015
Modular verification of vehicle platooning with respect to decisions, space and time
M Kamali, S Linker, M Fisher
International Workshop on Formal Techniques for Safety-Critical Systems, 18-36, 2018
192018
Proofs for Traffic Safety: Combining Diagrams and Logic
S Linker
Carl von Ossietzky Universität Oldenburg, 2015
182015
Synthesizing and verifying controllers for multi-lane traffic maneuvers
GV Bochmann, M Hilscher, S Linker, ER Olderog
Formal Aspects of Computing, 1-18, 2017
132017
Investigating parametric influence on discrete synchronisation protocols using quantitative model checking
P Gainer, S Linker, C Dixon, U Hustadt, M Fisher
International Conference on Quantitative Evaluation of Systems, 224-239, 2017
112017
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
82018
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
82011
Analysing spatial properties on neighbourhood spaces
S Linker, F Papacchini, M Sevegnani
arXiv preprint arXiv:2007.01266, 2020
72020
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
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
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)
M Gleirscher, AE Haxthausen, M Leucker, S Linker
Dagstuhl Reports 9 (10), 2020
32020
Tactical diagrammatic reasoning
S Linker, J Burton, M Jamnik
arXiv preprint arXiv:1701.07126, 2017
32017
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
22021
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
22021
Intuitionistic Euler-Venn Diagrams
S Linker
International Conference on Theory and Application of Diagrams, 264-280, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20