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
702011
Proving safety of traffic manoeuvres on country roads
M Hilscher, S Linker, ER Olderog
Theories of Programming and Formal Methods, 196-212, 2013
50*2013
Proof Theory of a Multi-Lane Spatial Logic
S Linker, M Hilscher
Logical Methods in Computer Science 11 (3), 2015
382015
Proofs for Traffic Safety: Combining Diagrams and Logic
S Linker
Carl von Ossietzky Universität Oldenburg, 2015
182015
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
152018
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
Synthesizing and verifying controllers for multi-lane traffic maneuvers
GV Bochmann, M Hilscher, S Linker, ER Olderog
Formal Aspects of Computing, 1-18, 2017
102017
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
72011
Analysing spatial properties on neighbourhood spaces
S Linker, F Papacchini, M Sevegnani
arXiv preprint arXiv:2007.01266, 2020
62020
Spatial reasoning about motorway traffic safety with Isabelle/HOL
S Linker
International Conference on Integrated Formal Methods, 34-49, 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
Sequent calculus for euler diagrams
S Linker
International Conference on Theory and Application of Diagrams, 399-407, 2018
42018
Tactical diagrammatic reasoning
S Linker, J Burton, M Jamnik
arXiv preprint arXiv:1701.07126, 2017
32017
Hybrid Multi-Lane Spatial Logic
S Linker
Archive of Formal Proofs, 2017
32017
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
22020
Intuitionistic Euler-Venn Diagrams
S Linker
International Conference on Theory and Application of Diagrams, 264-280, 2020
22020
Target counting with Presburger constraints and its application in sensor networks
S Linker, M Sevegnani
Proceedings of the Royal Society A 475 (2231), 20190278, 2019
22019
Formalising sensor topologies for target counting
S Linker, M Sevegnani
arXiv preprint arXiv:1802.01791, 2018
22018
Measuring user comprehension of inference rules in Euler diagrams
S Linker, J Burton, A Blake
International Conference on Theory and Application of Diagrams, 32-39, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20