| 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 | 93 | 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 | 63* | 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 | 18 | 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 | 14 | 2017 |
| Analysing spatial properties on neighbourhood spaces S Linker, F Papacchini, M Sevegnani arXiv preprint arXiv:2007.01266, 2020 | 13 | 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 |
| 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 | 6 | 2021 |
| Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings AV Pietarinen, P Chapman, L Bosveld-de Smet, V Giardino, J Corter, ... Springer Nature, 2020 | 6 | 2020 |
| Sequent calculus for euler diagrams S Linker International Conference on Theory and Application of Diagrams, 399-407, 2018 | 6 | 2018 |
| Spatial reasoning about motorway traffic safety with Isabelle/HOL S Linker International Conference on Integrated Formal Methods, 34-49, 2017 | 6 | 2017 |
| Tactical diagrammatic reasoning S Linker, J Burton, M Jamnik arXiv preprint arXiv:1701.07126, 2017 | 6 | 2017 |
| Intuitionistic Euler-Venn diagrams S Linker International Conference on Theory and Application of Diagrams, 264-280, 2020 | 5 | 2020 |
| 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 |
| Diagrammatic Representation and Inference: 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings V Giardino, S Linker, R Burns, F Bellucci, JM Boucheix, P Viana Springer Nature, 2022 | 3 | 2022 |
| 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 |
Martin HilscherCarl von Ossietzky University Oldenburginformatik.uni-oldenburg.de의 이메일 확인됨