Dr Sven Linker
Continuing Education
- +44 (0)151 795 4237
- Work email S.Linker@liverpool.ac.uk
Publications
2020
Multi-Scale Verification of Distributed Synchronisation (Journal article)
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (n.d.). Multi-Scale Verification of Distributed Synchronisation. Formal Methods in System Design. doi:10.1007/s10703-020-00347-z
Intuitionistic Euler-Venn Diagrams (extended) (Internet publication)
Linker, S. (n.d.). Intuitionistic Euler-Venn Diagrams (extended). Retrieved from http://arxiv.org/abs/2002.02929v1
Analysing Spatial Properties on Neighbourhood Spaces. (Conference Paper)
Linker, S., Papacchini, F., & Sevegnani, M. (2020). Analysing Spatial Properties on Neighbourhood Spaces.. In J. Esparza, & D. Král' (Eds.), MFCS Vol. 170 (pp. 66:1). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Retrieved from http://www.informatik.uni-trier.de/~ley/db/conf/mfcs/mfcs2020.html
Intuitionistic Euler-Venn Diagrams (Conference Paper)
Linker, S. (2020). Intuitionistic Euler-Venn Diagrams. In Unknown Conference (pp. 264-280). Springer International Publishing. doi:10.1007/978-3-030-54249-8_21
2019
Target counting with Presburger constraints and its application in sensor networks (Journal article)
Linker, S., & Sevegnani, M. (2019). Target counting with Presburger constraints and its application in sensor networks. PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 475(2231). doi:10.1098/rspa.2019.0278
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time (Conference Paper)
Kamali, M., Linker, S., & Fisher, M. (n.d.). Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. Retrieved from http://arxiv.org/abs/1804.06647v1
2018
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators (Journal article)
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2018). The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Quantitative Evaluation of Systems. Retrieved from http://arxiv.org/abs/1709.04385v3
(Conference Paper)
Unknown Title (n.d.). In Unknown Conference Vol. 269. Open Publishing Association. doi:10.4204/eptcs.269
Formalising Sensor Topologies for Target Counting (Conference Paper)
Linker, S., & Sevegnani, M. (2018). Formalising Sensor Topologies for Target Counting. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 43-57). doi:10.4204/EPTCS.264.5
Multi-Scale Verification of Distributed Synchronisation (Journal article)
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (n.d.). Multi-Scale Verification of Distributed Synchronisation. Retrieved from http://arxiv.org/abs/1809.10655v1
Sequent Calculus for Euler Diagrams (Conference Paper)
Linker, S. (2018). Sequent Calculus for Euler Diagrams. In DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2018 Vol. 10871 (pp. 399-407). doi:10.1007/978-3-319-91376-6_37
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. (Conference Paper)
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2018). The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.. In J. Sun, & M. Sun (Eds.), ICFEM Vol. 11232 (pp. 160-176). Springer. Retrieved from https://doi.org/10.1007/978-3-030-02450-5
2017
Proceedings First Workshop on Formal Verification of Autonomous Vehicles (Journal article)
Bulwahn, L., Kamali, M., & Linker, S. (n.d.). Proceedings First Workshop on Formal Verification of Autonomous Vehicles. EPTCS 257, 2017. doi:10.4204/EPTCS.257
Spatial Reasoning about Motorway Traffic Safety with Isabelle/HOL (Conference Paper)
Linker, S. (2017). Spatial Reasoning about Motorway Traffic Safety with Isabelle/HOL. In integrated Formal Methods 2017. Turin, Italy.
Synthesizing and verifying controllers for multi-lane traffic maneuvers (Journal article)
Bochmann, G. V., Hilscher, M., Linker, S., & Olderog, E. -R. (2017). Synthesizing and verifying controllers for multi-lane traffic maneuvers. FORMAL ASPECTS OF COMPUTING, 29(4), 583-600. doi:10.1007/s00165-017-0424-4
Tactical Diagrammatic Reasoning (Conference Paper)
Linker, S., Burton, J., & Jamnik, M. (n.d.). Tactical Diagrammatic Reasoning. In EPTCS 239, 2017, pp. 29-42. doi:10.4204/EPTCS.239.3
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking (Conference Paper)
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2017). Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In Unknown Conference (pp. 224-239). Springer International Publishing. doi:10.1007/978-3-319-66335-7_14
2016
Measuring User Comprehension of Inference Rules in Euler Diagrams (Conference Paper)
Linker, S., Burton, J., & Blake, A. (2016). Measuring User Comprehension of Inference Rules in Euler Diagrams. In DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2016 Vol. 9781 (pp. 32-39). doi:10.1007/978-3-319-42333-3_3
Preface (Conference Paper)
Linker, S., & Rodgers, P. (2016). Preface. In CEUR Workshop Proceedings Vol. 1655.
2015
Generating Readable Diagrammatic Proofs (Conference Paper)
Burton, J., & Linker, S. (2015). Generating Readable Diagrammatic Proofs. In PROCEEDINGS 2015 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC) (pp. 307-308). Retrieved from http://gateway.webofknowledge.com/
PROOF THEORY OF A MULTI-LANE SPATIAL LOGIC (Journal article)
Linker, S., & Hilscher, M. (2015). PROOF THEORY OF A MULTI-LANE SPATIAL LOGIC. LOGICAL METHODS IN COMPUTER SCIENCE, 11(3). doi:10.2168/LMCS-11(3:4)2015
Synthesizing Controllers for Multi-lane Traffic Maneuvers (Conference Paper)
Bochmann, G. V., Hilscher, M., Linker, S., & Olderog, E. -R. (2015). Synthesizing Controllers for Multi-lane Traffic Maneuvers. In DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015 Vol. 9409 (pp. 71-86). doi:10.1007/978-3-319-25942-0_5
2013
Proof theory of a multi-lane spatial logic (Conference Paper)
Linker, S., & Hilscher, M. (2013). Proof theory of a multi-lane spatial logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 8049 LNCS (pp. 231-248). doi:10.1007/978-3-642-39718-9-14
Proving Safety of Traffic Manoeuvres on Country Roads (Conference Paper)
Hilscher, M., Linker, S., & Olderog, E. -R. (2013). Proving Safety of Traffic Manoeuvres on Country Roads. In Unknown Conference (pp. 196-212). Springer Berlin Heidelberg. doi:10.1007/978-3-642-39698-4_12
Preface (Book)
Gleirscher, M., Kugele, S., & Linker, S. (2018). Preface. Retrieved from http://gateway.webofknowledge.com/
Proof Theory of a Multi-Lane Spatial Logic (Chapter)
Linker, S., & Hilscher, M. (2013). Proof Theory of a Multi-Lane Spatial Logic. In Theoretical Aspects of Computing – ICTAC 2013 (pp. 231-248). Springer Berlin Heidelberg. doi:10.1007/978-3-642-39718-9_14
2012
Translating Structural Process Properties to Petri Net Markings (Conference Paper)
Linker, S. (2012). Translating Structural Process Properties to Petri Net Markings. In 2012 12th International Conference on Application of Concurrency to System Design. IEEE. doi:10.1109/acsd.2012.11
2011
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres (Conference Paper)
Hilscher, M., Linker, S., Olderog, E. -R., & Ravn, A. P. (2011). An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. In FORMAL METHODS AND SOFTWARE ENGINEERING Vol. 6991 (pp. 404-+). Retrieved from http://gateway.webofknowledge.com/