Sven Linker

ORCID

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 28

Top Venues

CoRR

Diagrams

MFCS

ACM SIGSOFT Softw. Eng. Notes

Universität Oldenburg (PHD)

Education History

Universität Oldenburg

PHD

Publications

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. CoRR (2021)
Sven Linker
Natural Deduction for Intuitionistic Euler-Venn Diagrams. Diagrams (2021)
Sven Linker, Fabio Papacchini, Michele Sevegnani
Finite Models for a Spatial Logic with Discrete and Topological Path Operators. MFCS (2021)
Sven Linker
Intuitionistic Euler-Venn Diagrams (extended). CoRR (2020)
Sven Linker, Fabio Papacchini, Michele Sevegnani
Analysing Spatial Properties on Neighbourhood Spaces. MFCS (2020)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des. 55 (3) (2020)
Sven Linker, Fabio Papacchini, Michele Sevegnani
Analysing Spatial Properties on Neighbourhood Spaces. CoRR (2020)
Sven Linker
Intuitionistic Euler-Venn Diagrams. Diagrams (2020)
Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). Dagstuhl Reports 9 (10) (2019)
Sven Linker
Sequent Calculus for Euler Diagrams. Diagrams (2018)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Multi-Scale Verification of Distributed Synchronisation. CoRR (2018)
Mario Gleirscher, Sven Linker, Stefan Kugele
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. CoRR (2018)
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. ICFEM (2018)
Mario Gleirscher, Stefan Kugele, Sven Linker
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Maryam Kamali, Sven Linker, Michael Fisher
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. FTSCS (2018)
Mario Gleirscher, Stefan Kugele, Sven Linker
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Maryam Kamali, Sven Linker, Michael Fisher
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. CoRR (2018)
Sven Linker
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. IFM (2017)
Sven Linker, Michele Sevegnani
Formalising Sensor Topologies for Target Counting. ALP4IoT@iFM (2017)
Sven Linker
Hybrid Multi-Lane Spatial Logic. Arch. Formal Proofs 2017 (2017)
Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
Synthesizing and verifying controllers for multi-lane traffic maneuvers. Formal Aspects Comput. 29 (4) (2017)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. QEST (2017)
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. CoRR (2017)
Sven Linker, Jim Burton, Mateja Jamnik
Tactical Diagrammatic Reasoning. UITP (2016)
Sven Linker, Jim Burton, Andrew Blake
Measuring User Comprehension of Inference Rules in Euler Diagrams. Diagrams (2016)
Sven Linker, Martin Hilscher
Proof Theory of a Multi-Lane Spatial Logic. Log. Methods Comput. Sci. 11 (3) (2015)
Jim Burton, Sven Linker
Generating readable diagrammatic proofs. VL/HCC (2015)
Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
Synthesizing Controllers for Multi-lane Traffic Maneuvers. SETTA (2015)
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
Proving Safety of Traffic Manoeuvres on Country Roads. Theories of Programming and Formal Methods (2013)
Sven Linker, Martin Hilscher
Proof Theory of a Multi-Lane Spatial Logic. ICTAC (2013)
Sven Linker
Translating Structural Process Properties to Petri Net Markings. ACSD (2012)
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ICFEM (2011)
Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. Int. J. Softw. Informatics 5 (1-2) (2011)
Sven Linker
Diagrammatic Specification and Verification of Mobile Real-Time Systems. AlgoSyn (2010)
Sven Linker
Diagrammatic Specification of Mobile Real-Time Systems. Diagrams (2010)

Sven Linker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sven Linker