Papers about verification of sensor systems

• Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher. The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. 2018. ICFEM 2018. (draft version) (The final publication is available at Springer via dx.doi.org/10.1007/978-3-030-02450-5_10)
• Sven Linker, Michele Sevegnani. Formalising Sensor Topologies for Target Counting. 2018. ALP4IoT 2017. (local version) (Open Access)
• Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher. Investigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking. 2017. QEST 2017. (draft version) (The final publication is available at Springer via dx.doi.org/10.1007/978-3-319-66335-7_14)

Papers about verification of traffic

• Sven Linker. Hybrid Multi-Lane Spatial Logic. 2017. Archive of Formal Proofs. Isabelle/HOL Code
• Sven Linker. Spatial Reasoning about Motorway Traffic Safety with Isabelle/HOL. 2017. iFM 2017. (draft version) (The final publication is available at Springer via dx.doi.org/10.1007/978-3-319-66845-1_3)
• 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)
• 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)
• Sven Linker, Martin Hilscher. Proof Theory of a Multi-Lane Spatial Logic. 2015. Logical Methods in Computer Science. (Open Access)
• 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)
• 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)
• 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)

Papers about diagrammatic reasoning

• Sven Linker. Sequent Calculus for Euler Diagrams. 2018. DIAGRAMS 2018. (draft version) (The final publication is available at Springer via dx.doi.org/10.1007/978-3-319-91376-6_37)
• Sven Linker, Jim Burton, Mateja Jamnik. Tactical Diagrammatic Reasoning. 2017. UITP 2016. (Open Access)
• Sven Linker, Jim Burton, Andrew Blake. Measuring User Comprehension of Inference Rules in Euler Diagrams. 2016. DIAGRAMS 2016. (Open Access)
• Jim Burton, Sven Linker. Generating readable diagrammatic proofs. 2015. VL/HCC 2015. (Available at IEEE)
• 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)

Other papers

• Sven Linker. Translating Structural Process Properties to Petri Net Markings. 2012. ACSD 2012. (draft version) (Available at IEEE)
• 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)

back to main page