Dr Sven Linker

Computer Science

    Publications

    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), 20190278. doi:10.1098/rspa.2019.0278

    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

    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

    (Conference Paper)

    Unknown Title (n.d.). In Unknown Conference Vol. 269. Open Publishing Association. doi:10.4204/eptcs.269

    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

    DOI: 10.4204/EPTCS.264.5

    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

    DOI: 10.1007/978-3-319-91376-6_37

    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

    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.

    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 Springer LNCS. Berlin, Germany.

    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

    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

    DOI: 10.4204/EPTCS.239.3

    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

    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

    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

    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

    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

    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

    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

    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/

    2010

    Diagrammatic Specification of Mobile Real-Time Systems (Conference Paper)

    Linker, S. (2010). Diagrammatic Specification of Mobile Real-Time Systems. In DIAGRAMMATIC REPRESENTATION AND INFERENCE Vol. 6170 (pp. 316-318). Retrieved from http://gateway.webofknowledge.com/