Diagrammatic Specification and Verification of Mobile Real-Time Systems. - Sven Linker (AlgoSyn, 2010)

Diagrammatic Specification of Mobile Real-Time Systems. - Sven Linker (Diagrams, 2010)

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. - Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog; Anders P. Ravn (ICFEM, 2011)

Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. - Johannes Faber; Sven Linker; Ernst-Rüdiger Olderog; Jan-David Quesel (Int. J. Softw. Informatics, 2011)

Translating Structural Process Properties to Petri Net Markings. - Sven Linker (ACSD, 2012)

Proving Safety of Traffic Manoeuvres on Country Roads. - Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog (Theories of Programming and Formal Methods, 2013)

Proofs for traffic safety - combining diagrams and logic. - Sven Linker (2015)

Synthesizing Controllers for Multi-lane Traffic Maneuvers. - Gregor von Bochmann; Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog (SETTA, 2015)

Generating readable diagrammatic proofs. - Jim Burton 001; Sven Linker (VL/HCC, 2015)

Proof Theory of a Multi-Lane Spatial Logic. - Sven Linker; Martin Hilscher (Log. Methods Comput. Sci., 2015)

Measuring User Comprehension of Inference Rules in Euler Diagrams. - Sven Linker; Jim Burton 001; Andrew Blake 002 (Diagrams, 2016)

Tactical Diagrammatic Reasoning. - Sven Linker; Jim Burton 001; Mateja Jamnik (UITP, 2016)

Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. - Sven Linker (IFM, 2017)

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. - Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher 001 (QEST, 2017)

Hybrid Multi-Lane Spatial Logic. - Sven Linker (Arch. Formal Proofs, 2017)

Formalising Sensor Topologies for Target Counting. - Sven Linker; Michele Sevegnani (ALP4IoT@iFM, 2017)

Synthesizing and verifying controllers for multi-lane traffic maneuvers. - Gregor von Bochmann; Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog (Formal Aspects Comput., 2017)

Sequent Calculus for Euler Diagrams. - Sven Linker (Diagrams, 2018)

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. - Maryam Kamali; Sven Linker; Michael Fisher 001 (FTSCS, 2018)

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. - Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher 001 (ICFEM, 2018)

SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. - Mario Gleirscher; Stefan Kugele; Sven Linker (ACM SIGSOFT Softw. Eng. Notes, 2018)

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). - Mario Gleirscher; Anne E. Haxthausen; Martin Leucker; Sven Linker (Dagstuhl Reports, 2019)

Intuitionistic Euler-Venn Diagrams. - Sven Linker (Diagrams, 2020)

Analysing Spatial Properties on Neighbourhood Spaces. - Sven Linker; Fabio Papacchini; Michele Sevegnani (MFCS, 2020)

Intuitionistic Euler-Venn Diagrams (extended). - Sven Linker (CoRR, 2020)

Multi-scale verification of distributed synchronisation. - Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher 001 (Formal Methods Syst. Des., 2020)

Natural Deduction for Intuitionistic Euler-Venn Diagrams. - Sven Linker (Diagrams, 2021)

Finite Models for a Spatial Logic with Discrete and Topological Path Operators. - Sven Linker; Fabio Papacchini; Michele Sevegnani (MFCS, 2021)

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. - Rafael C. Cardoso 001; Angelo Ferrando 001; Fabio Papacchini; Matt Luckcuck; Sven Linker; Terry R. Payne (CoRR, 2021)