Sven Linker

According to our database, Sven Linker authored at least 29 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne

CoRR, 2021

Finite Models for a Spatial Logic with Discrete and Topological Path Operators.

Sven Linker, Fabio Papacchini, Michele Sevegnani

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Natural Deduction for Intuitionistic Euler-Venn Diagrams.

Sven Linker

Proceedings of the Diagrammatic Representation and Inference, 2021

2020

Multi-scale verification of distributed synchronisation.

Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher

Formal Methods Syst. Des., 2020

Intuitionistic Euler-Venn Diagrams (extended).

Sven Linker

CoRR, 2020

Analysing Spatial Properties on Neighbourhood Spaces.

Sven Linker, Fabio Papacchini, Michele Sevegnani

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Intuitionistic Euler-Venn Diagrams.

Sven Linker

Proceedings of the Diagrammatic Representation and Inference, 2020

2019

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432).

Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker

Dagstuhl Reports, 2019

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

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

Proceedings of the Formal Methods and Software Engineering, 2018

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.

Maryam Kamali, Sven Linker, Michael Fisher

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

Sequent Calculus for Euler Diagrams.

Sven Linker

Proceedings of the Diagrammatic Representation and Inference, 2018

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

Formalising Sensor Topologies for Target Counting.

Sven Linker, Michele Sevegnani

Proceedings of the Proceedings First Workshop on Architectures, 2017

Hybrid Multi-Lane Spatial Logic.

Sven Linker

Arch. Formal Proofs, 2017

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.

Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL.

Sven Linker

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Tactical Diagrammatic Reasoning.

Sven Linker, Jim Burton, Mateja Jamnik

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Measuring User Comprehension of Inference Rules in Euler Diagrams.

Sven Linker, Jim Burton, Andrew Blake

Proceedings of the Diagrammatic Representation and Inference, 2016

2015

Proof Theory of a Multi-Lane Spatial Logic.

Sven Linker, Martin Hilscher

Log. Methods Comput. Sci., 2015

Generating readable diagrammatic proofs.

Jim Burton, Sven Linker

Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Synthesizing Controllers for Multi-lane Traffic Maneuvers.

Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Proofs for traffic safety - combining diagrams and logic.

Sven Linker

PhD thesis, 2015

2013

Proving Safety of Traffic Manoeuvres on Country Roads.

Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Translating Structural Process Properties to Petri Net Markings.

Sven Linker

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

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

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.

Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Diagrammatic Specification of Mobile Real-Time Systems.

Sven Linker

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Diagrammatic Specification and Verification of Mobile Real-Time Systems.

Sven Linker

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010