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 | 91 | 2011 |
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 | 64* | 2013 |
Proof Theory of a Multi-Lane Spatial Logic S Linker, M Hilscher Logical Methods in Computer Science 11 (3), 2015 | 42 | 2015 |
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 | 22 | 2019 |
Proofs for Traffic Safety: Combining Diagrams and Logic S Linker Carl von Ossietzky Universität Oldenburg, 2015 | 19 | 2015 |
Synthesizing and verifying controllers for multi-lane traffic maneuvers GV Bochmann, M Hilscher, S Linker, ER Olderog Formal Aspects of Computing, 1-18, 2017 | 15 | 2017 |
Analysing spatial properties on neighbourhood spaces S Linker, F Papacchini, M Sevegnani arXiv preprint arXiv:2007.01266, 2020 | 12 | 2020 |
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 | 12 | 2017 |
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 | 7 | 2018 |
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 | 7 | 2011 |
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 | 5 | 2020 |
Sequent calculus for euler diagrams S Linker International Conference on Theory and Application of Diagrams, 399-407, 2018 | 5 | 2018 |
Spatial reasoning about motorway traffic safety with Isabelle/HOL S Linker International Conference on Integrated Formal Methods, 34-49, 2017 | 5 | 2017 |
Hybrid Multi-Lane Spatial Logic S Linker Archive of Formal Proofs, 2017 | 5 | 2017 |
Synthesizing controllers for multi-lane traffic maneuvers G Bochmann, M Hilscher, S Linker, ER Olderog International Symposium on Dependable Software Engineering: Theories, Tools …, 2015 | 5 | 2015 |
Tactical diagrammatic reasoning S Linker, J Burton, M Jamnik arXiv preprint arXiv:1701.07126, 2017 | 4 | 2017 |
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 | 3 | 2021 |
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 | 3 | 2021 |
Finite models for a spatial logic with discrete and topological path operators S Linker, F Papacchini, M Sevegnani | 3 | 2021 |
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 | 3 | 2020 |