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

BibBase: linker, s
generated by bibbase.org
  2020 (4)
Intuitionistic Euler-Venn Diagrams. Sven Linker. In Ahti-Veikko Pietarinen; Peter Chapman; Leonie Bosveld-de Smet; Valeria Giardino; James E. Corter; and Sven Linker., editor(s), Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, volume 12169, of Lecture Notes in Computer Science, pages 264–280, 2020. Springer
Intuitionistic Euler-Venn Diagrams [link]Paper   doi   bibtex
Analysing Spatial Properties on Neighbourhood Spaces. Sven Linker; Fabio Papacchini; and Michele Sevegnani. In Javier Esparza; and Daniel Král'., editor(s), 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic, volume 170, of LIPIcs, pages 66:1–66:14, 2020. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Analysing Spatial Properties on Neighbourhood Spaces [link]Paper   doi   bibtex   1 download
Intuitionistic Euler-Venn Diagrams (extended). Sven Linker. CoRR, abs/2002.02929. 2020.
Intuitionistic Euler-Venn Diagrams (extended) [link]Paper   bibtex   1 download
Analysing Spatial Properties on Neighbourhood Spaces. Sven Linker; Fabio Papacchini; and Michele Sevegnani. CoRR, abs/2007.01266. 2020.
Analysing Spatial Properties on Neighbourhood Spaces [link]Paper   bibtex   1 download
  2019 (1)
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). Mario Gleirscher; Anne E. Haxthausen; Martin Leucker; and Sven Linker. Dagstuhl Reports, 9(10): 95–116. 2019.
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432) [link]Paper   doi   bibtex
  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 Softw. Eng. 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 Softw. Eng. 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 Peter Chapman; Gem Stapleton; Amirouche Moktefi; Sarah Pérez-Kriz; and Francesco Bellucci., editor(s), Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, volume 10871, of Lecture Notes in Computer Science, pages 399–407, 2018. Springer
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 Cyrille Artho; and Peter Csaba Ölveczky., editor(s), Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers, volume 1008, of Communications in Computer and Information Science, pages 18–36, 2018. Springer
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 Jing Sun; and Meng Sun., editor(s), Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, volume 11232, of Lecture Notes in Computer Science, pages 160–176, 2018. Springer
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators [link]Paper   doi   bibtex   1 download
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. Arch. 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 Aspects 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 Nadia Polikarpova; and Steve A. Schneider., editor(s), Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, volume 10510, of Lecture Notes in Computer Science, pages 34–49, 2017. Springer
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 Nathalie Bertrand; and Luca Bortolussi., editor(s), Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, volume 10503, of Lecture Notes in Computer Science, pages 224–239, 2017. Springer
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 Danilo Pianini; and Guido Salvaneschi., editor(s), Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017, volume 264, of EPTCS, 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 Mateja Jamnik; Yuri Uesaka; and Stephanie Elzer Schwartz., editor(s), Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings, volume 9781, of Lecture Notes in Computer Science, pages 32–39, 2016. Springer
Measuring User Comprehension of Inference Rules in Euler Diagrams [link]Paper   doi   bibtex
Tactical Diagrammatic Reasoning. Sven Linker; Jim Burton; and Mateja Jamnik. In Serge Autexier; and Pedro Quaresma., editor(s), Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016, volume 239, of EPTCS, 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   1 download
Proof Theory of a Multi-Lane Spatial Logic. Sven Linker; and Martin Hilscher. Log. Methods Comput. Sci., 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 Xuandong Li; Zhiming Liu; and Wang Yi., editor(s), Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings, volume 9409, of Lecture Notes in Computer Science, pages 71–86, 2015. Springer
Synthesizing Controllers for Multi-lane Traffic Maneuvers [link]Paper   doi   bibtex
Generating readable diagrammatic proofs. Jim Burton; and Sven Linker. In Zhen Li; Claudia Ermel; and Scott D. Fleming., editor(s), 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2015, Atlanta, GA, USA, October 18-22, 2015, pages 307–308, 2015. IEEE Computer Society
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 Zhiming Liu; Jim Woodcock; and Huibiao Zhu., editor(s), Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday, volume 8051, of Lecture Notes in Computer Science, pages 196–212, 2013. Springer
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 Zhiming Liu; Jim Woodcock; and Huibiao Zhu., editor(s), Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, volume 8049, of Lecture Notes in Computer Science, pages 231–248, 2013. Springer
Proof Theory of a Multi-Lane Spatial Logic [link]Paper   doi   bibtex   1 download
  2012 (1)
Translating Structural Process Properties to Petri Net Markings. Sven Linker. In Jens Brandt; and Keijo Heljanko., editor(s), 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012, pages 82–91, 2012. IEEE Computer Society
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. Softw. 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 Shengchao Qin; and Zongyan Qiu., editor(s), Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings, volume 6991, of Lecture Notes in Computer Science, pages 404–419, 2011. Springer
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 Kai Bollue; Dominique Gückel; Ulrich Loup; Jacob Spönemann; and Melanie Winkler., editor(s), 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. Verlagshaus Mainz, Aachen, Germany
bibtex
Diagrammatic Specification of Mobile Real-Time Systems. Sven Linker. In Ashok K. Goel; Mateja Jamnik; and N. Hari Narayanan., editor(s), Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings, volume 6170, of Lecture Notes in Computer Science, pages 316–318, 2010. Springer
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