Sven Linker

42 papers B 4C 11Misc 1Journal 15Unranked 7
YearRankTypeTitle / Venue / Authors
2022 C ed.
Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings
Diagrams
Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana
2021 C ed.
Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings
Diagrams
Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana
2021 B conf
Finite Models for a Spatial Logic with Discrete and Topological Path Operators.
MFCS
Sven Linker, Fabio Papacchini, Michele Sevegnani
2021 J jnl
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.
CoRR
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
2021 C conf
Natural Deduction for Intuitionistic Euler-Venn Diagrams.
Diagrams
Sven Linker
2020 B conf
Analysing Spatial Properties on Neighbourhood Spaces.
MFCS
Sven Linker, Fabio Papacchini, Michele Sevegnani
2020 J jnl
Analysing Spatial Properties on Neighbourhood Spaces.
CoRR
Sven Linker, Fabio Papacchini, Michele Sevegnani
2020 C ed.
Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings
Diagrams
Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James E. Corter, Sven Linker
2020 J jnl
Intuitionistic Euler-Venn Diagrams (extended).
CoRR
Sven Linker
2020 C conf
Intuitionistic Euler-Venn Diagrams.
Diagrams
Sven Linker
2020 J jnl
Multi-scale verification of distributed synchronisation.
Formal Methods Syst. Des.
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2019 J jnl
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432).
Dagstuhl Reports
Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker
2018 — conf
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.
FTSCS
Maryam Kamali, Sven Linker, Michael Fisher
2018 J jnl
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.
CoRR
Maryam Kamali, Sven Linker, Michael Fisher
2018 J jnl
Multi-Scale Verification of Distributed Synchronisation.
CoRR
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2018 — ed.
Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018.
SCAV@CPSWeek
Mario Gleirscher, Stefan Kugele, Sven Linker
2018 J jnl
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles.
CoRR
Mario Gleirscher, Sven Linker, Stefan Kugele
2018 J jnl
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles.
ACM SIGSOFT Softw. Eng. Notes
Mario Gleirscher, Stefan Kugele, Sven Linker
2018 J jnl
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles.
ACM SIGSOFT Softw. Eng. Notes
Mario Gleirscher, Stefan Kugele, Sven Linker
2018 C conf
Sequent Calculus for Euler Diagrams.
Diagrams
Sven Linker
2018 C conf
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.
ICFEM
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2017 — conf
Formalising Sensor Topologies for Target Counting.
ALP4IoT@iFM
Sven Linker, Michele Sevegnani
2017 J jnl
Hybrid Multi-Lane Spatial Logic.
Arch. Formal Proofs
Sven Linker
2017 — conf
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.
QEST
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2017 — ed.
Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.
FVAV@iFM
Lukas Bulwahn, Maryam Kamali, Sven Linker
2017 B conf
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL.
IFM
Sven Linker
2017 J jnl
Synthesizing and verifying controllers for multi-lane traffic maneuvers.
Formal Aspects Comput.
Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
2017 J jnl
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.
CoRR
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2016 C conf
Measuring User Comprehension of Inference Rules in Euler Diagrams.
Diagrams
Sven Linker, Jim Burton, Andrew Blake
2016 — ed.
Proceedings of the International Workshop on Set Visualization and Reasoning co-located with 9th International Conference on the Theory and Application of Diagrams (Diagrams 2016), Philadelphia, USA, August 7, 2016.
SetVR@Diagrams
Sven Linker, Peter Rodgers
2016 — conf
Tactical Diagrammatic Reasoning.
UITP
Sven Linker, Jim Burton, Mateja Jamnik
2015 B conf
Generating readable diagrammatic proofs.
VL/HCC
Jim Burton, Sven Linker
2015 J jnl
Proof Theory of a Multi-Lane Spatial Logic.
Log. Methods Comput. Sci.
Sven Linker, Martin Hilscher
2015 — —
Proofs for traffic safety - combining diagrams and logic.
Sven Linker
2015 Misc conf
Synthesizing Controllers for Multi-lane Traffic Maneuvers.
SETTA
Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
2013 C conf
Proof Theory of a Multi-Lane Spatial Logic.
ICTAC
Sven Linker, Martin Hilscher
2013 — conf
Proving Safety of Traffic Manoeuvres on Country Roads.
Theories of Programming and Formal Methods
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
2012 — conf
Translating Structural Process Properties to Petri Net Markings.
ACSD
Sven Linker
2011 C conf
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.
ICFEM
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn
2011 J jnl
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data.
Int. J. Softw. Informatics
Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel
2010 — conf
Diagrammatic Specification and Verification of Mobile Real-Time Systems.
AlgoSyn
Sven Linker
2010 C conf
Diagrammatic Specification of Mobile Real-Time Systems.
Diagrams
Sven Linker