Sven Linker

Hi! I am a researcher in Computer Science at the University of Liverpool, and work in the project Science of Sensor Systems Software.

Research Interests

Publications

  2018 (8)
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. Mario Gleirscher; Stefan Kugele; and Sven Linker. ACM SIGSOFT Software Engineering Notes, 43(4): 45–47. 2018.
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles [link]Paper   doi   bibtex
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. Mario Gleirscher; Stefan Kugele; and Sven Linker. ACM SIGSOFT Software Engineering Notes, 43(4): 54. 2018.
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles [link]Paper   doi   bibtex
Sequent Calculus for Euler Diagrams. Sven Linker. In Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pages 399–407, 2018.
Sequent Calculus for Euler Diagrams [link]Paper   doi   bibtex
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. Maryam Kamali; Sven Linker; and Michael Fisher. In Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers, pages 18–36, 2018.
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time [link]Paper   doi   bibtex
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; and Michael Fisher. In Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, pages 160–176, 2018.
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators [link]Paper   doi   bibtex
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. Maryam Kamali; Sven Linker; and Michael Fisher. CoRR, abs/1804.06647. 2018.
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time [link]Paper   bibtex
Multi-Scale Verification of Distributed Synchronisation. Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; and Michael Fisher. CoRR, abs/1809.10655. 2018.
Multi-Scale Verification of Distributed Synchronisation [link]Paper   bibtex
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. Mario Gleirscher; Sven Linker; and Stefan Kugele. CoRR, abs/1811.01774. 2018.
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles [link]Paper   bibtex
  2017 (6)
Hybrid Multi-Lane Spatial Logic. Sven Linker. Archive of Formal Proofs, 2017. 2017.
Hybrid Multi-Lane Spatial Logic [link]Paper   bibtex
Synthesizing and verifying controllers for multi-lane traffic maneuvers. Gregor Bochmann; Martin Hilscher; Sven Linker; and Ernst-Rüdiger Olderog. Formal Asp. Comput., 29(4): 583–600. 2017.
Synthesizing and verifying controllers for multi-lane traffic maneuvers [link]Paper   doi   bibtex
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. Sven Linker. In Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, pages 34–49, 2017.
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL [link]Paper   doi   bibtex
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; and Michael Fisher. In Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pages 224–239, 2017.
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking [link]Paper   doi   bibtex
Formalising Sensor Topologies for Target Counting. Sven Linker; and Michele Sevegnani. In Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017., pages 43–57, 2017.
Formalising Sensor Topologies for Target Counting [link]Paper   doi   bibtex
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; and Michael Fisher. CoRR, abs/1709.04385. 2017.
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators [link]Paper   bibtex
  2016 (2)
Measuring User Comprehension of Inference Rules in Euler Diagrams. Sven Linker; Jim Burton; and Andrew Blake. In Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings, pages 32–39, 2016.
Measuring User Comprehension of Inference Rules in Euler Diagrams [link]Paper   doi   bibtex
Tactical Diagrammatic Reasoning. Sven Linker; Jim Burton; and Mateja Jamnik. In Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016., pages 29–42, 2016.
Tactical Diagrammatic Reasoning [link]Paper   doi   bibtex
  2015 (4)
Proofs for traffic safety - combining diagrams and logic. Sven Linker. Ph.D. Thesis, Universität Oldenburg, 2015.
Proofs for traffic safety - combining diagrams and logic [link]Paper   bibtex
Proof Theory of a Multi-Lane Spatial Logic. Sven Linker; and Martin Hilscher. Logical Methods in Computer Science, 11(3). 2015.
Proof Theory of a Multi-Lane Spatial Logic [link]Paper   doi   bibtex
Synthesizing Controllers for Multi-lane Traffic Maneuvers. Gregor Bochmann; Martin Hilscher; Sven Linker; and Ernst-Rüdiger Olderog. In Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings, pages 71–86, 2015.
Synthesizing Controllers for Multi-lane Traffic Maneuvers [link]Paper   doi   bibtex
Generating readable diagrammatic proofs. Jim Burton; and Sven Linker. In 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2015, Atlanta, GA, USA, October 18-22, 2015, pages 307–308, 2015.
Generating readable diagrammatic proofs [link]Paper   doi   bibtex
  2013 (2)
Proving Safety of Traffic Manoeuvres on Country Roads. Martin Hilscher; Sven Linker; and Ernst-Rüdiger Olderog. In Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday, pages 196–212, 2013.
Proving Safety of Traffic Manoeuvres on Country Roads [link]Paper   doi   bibtex
Proof Theory of a Multi-Lane Spatial Logic. Sven Linker; and Martin Hilscher. In Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pages 231–248, 2013.
Proof Theory of a Multi-Lane Spatial Logic [link]Paper   doi   bibtex
  2012 (1)
Translating Structural Process Properties to Petri Net Markings. Sven Linker. In 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012, pages 82–91, 2012.
Translating Structural Process Properties to Petri Net Markings [link]Paper   doi   bibtex
  2011 (2)
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. Johannes Faber; Sven Linker; Ernst-Rüdiger Olderog; and Jan-David Quesel. Int. J. Software and Informatics, 5(1-2): 117–137. 2011.
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data [link]Paper   bibtex
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog; and Anders P. Ravn. In Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings, pages 404–419, 2011.
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres [link]Paper   doi   bibtex
  2010 (2)
Diagrammatic Specification and Verification of Mobile Real-Time Systems. Sven Linker. In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010, pages 53, 2010.
Diagrammatic Specification and Verification of Mobile Real-Time Systems [pdf]Paper   bibtex
Diagrammatic Specification of Mobile Real-Time Systems. Sven Linker. In Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings, pages 316–318, 2010.
Diagrammatic Specification of Mobile Real-Time Systems [link]Paper   doi   bibtex

You can find local copies of some papers here. Please note that the list is incomplete, and that I do not store local copies of papers that are available under Open Access.

Activities

Awards

Theses

CV

2016–present
Research Associate at University of Liverpool, UK
2015–2016
Research Associate at University of Brighton, UK
2011–2015
Research and Teaching Assistant at Carl von Ossietzky University of Oldenburg, Germany
2009–2011
Member of the Research Training Group "TrustSoft" at Carl von Ossietzky University of Oldenburg, Germany

Contact

Sven