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

  1. Sven Linker, Michele Sevegnani. Formalising Sensor Topologies for Target Counting. 2017. ALP4IoT 2017. to appear.
  2. Sven Linker. Spatial Reasoning about Motorway Traffic Safety with Isabelle/HOL. 2017. iFM 2017. to appear.
  3. Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher. Investigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking. 2017. QEST 2017. to appear.
  4. Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog. Synthesizing and Verifying Controllers for Multi-Lane Traffic Maneuvers. 2017. Formal Aspects of Computing. (draft version) (The final publication is available at Springer via dx.doi.org/10.1007/s00165-017-0424-4)
  5. Sven Linker, Jim Burton, Mateja Jamnik. Tactical Diagrammatic Reasoning. 2017. UITP 2016. (Open Access)
  6. Sven Linker, Jim Burton, Andrew Blake. Measuring User Comprehension of Inference Rules in Euler Diagrams. 2016. DIAGRAMS 2016. (Open Access)
  7. Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog. Synthesizing Controllers for Multi-lane Traffic Maneuvers. 2015. SETTA 2015. (draft version) (The final publication is available at Springer via dx.doi.org/10.1007/978-3-319-25942-0_5)
  8. Jim Burton, Sven Linker. Generating readable diagrammatic proofs. 2015. VL/HCC 2015. (Available at IEEE)
  9. Sven Linker, Martin Hilscher. Proof Theory of a Multi-Lane Spatial Logic. 2015. Logical Methods in Computer Science. (Open Access)
  10. Sven Linker. Proofs for Traffic Safety - Combining Diagrams and Logic. 2015. PhD Thesis. (local version) (Open Access)
  11. Sven Linker, Martin Hilscher. Proof Theory of a Multi-Lane Spatial Logic. 2013. ICTAC 2013. (draft version) (The final publication is available at Springer via dx.doi.org/10.1007/978-3-642-39718-9_14)
  12. Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog. Proving Safety of Traffic Manoeuvres on Country Roads. 2013. Theories of Programming and Formal Methods. (draft version) (The final publication is available at Springer via dx.doi.org/10.1007/978-3-642-39698-4_12)
  13. Sven Linker. Translating Structural Process Properties to Petri Net Markings. 2012. ACSD 2012. (draft version) (Available at IEEE)
  14. Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn. An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. 2011. ICFEM 2011. (draft version) (The final publication is available at Springer via dx.doi.org/10.1007/978-3-642-24559-6_28)
  15. Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel. Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. 2011. International Journal of Software and Informatics. (Available at IJSI)
  16. Sven Linker. Diagrammatic Specification of Mobile Real-Time Systems. 2010. DIAGRAMS 2010. (draft version) (The final publication is available at Springer via dx.doi.org/10.1007/978-3-642-14600-8_40)
  17. Sven Linker. Model checking π-Calculus against temporal connectedness properties. 2008. Diploma Thesis. (local version) (Available at University of Oldenburg)

Activities

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