Items where Author is "Linker, Sven"

Journal Article

Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael (2020) Multi-scale verification of distributed synchronisation. Formal Methods in System Design, 55. 171–221.

Linker, Sven and Sevegnani, Michele (2019) Target counting with Presburger constraints and its application in sensor networks. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 475 (2231): 20190278. ISSN 1364-5021

Bochmann, Gregor V. and Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger (2017) Synthesizing and verifying controllers for multi-lane traffic maneuvers. Formal Aspects of Computing, 29. 583–600.

Linker, Sven and Hilscher, Martin (2015) Proof Theory of a Multi-Lane Spatial Logic. Logical Methods in Computer Science, 11 (3): 4.

Faber, Johannes and Linker, Sven and Quesel, Jan-David and Olderog, Ernst-Rüdiger (2011) Syspect : Modelling, specifying, and verifying real-time systems with rich data. International Journal of Software and Informatics, 5 (1-2). pp. 117-137. ISSN 1673-7288

Contribution in Book/Report/Proceedings

Cardoso, Rafael C. and Ferrando, Angelo and Papacchini, Fabio and Luckcuck, Matt and Linker, Sven and Payne, Terry R. (2021) MLFC : From 10 to 50 Planners in the Multi-Agent Programming Contest. In: The Multi-Agent Programming Contest 2021 : One-and-a-Half Decades of Exploring Multi-Agent Systems. Lecture Notes in Computer Science . Springer, Cham, pp. 82-107. ISBN 9783030885489

Linker, Sven and Papacchini, Fabio and Sevegnani, Michele (2021) Finite Models for a Spatial Logic with Discrete and Topological Path Operators. In: 46th International Symposium on Mathematical Foundations of Computer Science :. Leibniz International Proceedings in Informatics, LIPIcs, 202 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 72:1-72:16. ISBN 9783959772013

Linker, Sven (2020) Intuitionistic Euler-Venn Diagrams. In: Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 264-280. ISBN 9783030542481

Linker, Sven and Papacchini, Fabio and Sevegnani, Michele (2020) Analysing spatial properties on neighbourhood spaces. In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 :. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, CZE, 66:1-66:14. ISBN 9783959771597

Kamali, Maryam and Linker, Sven and Fisher, Michael (2019) Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time : Formal Techniques for Safety-Critical Systems. FTSCS 2018. In: Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Communications in Computer and Information Science . Springer, Cham, pp. 18-36. ISBN 9783030129873

Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael (2018) The Power of Synchronisation : Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. In: Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 160-176. ISBN 9783030024499

Linker, Sven (2018) Sequent Calculus for Euler Diagrams. In: Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 399-407. ISBN 9783319913759

Linker, Sven and Sevegnani, Michele (2018) Formalising Sensor Topologies for Target Counting. In: First Workshop on Architectures, Languages and Paradigms for IoT :. UNSPECIFIED, pp. 43-57.

Linker, Sven (2017) Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. In: Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 34-49. ISBN 9783319668444

Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael (2017) Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In: Quantitative Evaluation of Systems : Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. Lecture Notes in Computer Science . Springer, Cham, 224–239. ISBN 9783319663340

Linker, Sven and Burton, Jim and Jamnik, Mateja (2017) Tactical Diagrammatic Reasoning. In: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers UITP 2016 :. EPTCS . EPTCS, pp. 29-42.

Linker, Sven and Burton, Jim and Blake, Andrew (2016) Measuring User Comprehension of Inference Rules in Euler Diagrams. In: Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 32-39. ISBN 9783319423326

Burton, Jim and Linker, Sven (2015) Generating readable diagrammatic proofs. In: 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) :. IEEE, USA. ISBN 9781467374576

Bochmann, Gregor V. and Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger (2015) Synthesizing Controllers for Multi-lane Traffic Maneuvers. In: Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 71-86. ISBN 9783319259413

Linker, Sven and Hilscher, Martin (2013) Proof Theory of a Multi-Lane Spatial Logic. In: Theoretical Aspects of Computing – ICTAC 2013 : Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. Lecture Notes in Computer Science . Springer, Berlin, pp. 231-248. ISBN 9783642397172

Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger (2013) Proving safety of traffic manoeuvres on country roads. In: Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science . Springer, Berlin, pp. 196-212. ISBN 9783642396977

Linker, Sven (2012) Translating Structural Process Properties to Petri Net Markings. In: 2012 12th International Conference on Application of Concurrency to System Design :. IEEE. ISBN 9781467316873

Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger and Ravn, Anders P. (2011) An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. In: Formal Methods and Software Engineering : Proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011. Lecture Notes in Computer Science . Springer, Berlin, pp. 404-419. ISBN 9783642245589

Linker, Sven (2010) Diagrammatic specification of mobile real-time systems. In: Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Lecture Notes in Computer Science . Springer, USA, pp. 316-318. ISBN 9783642145995

Thesis

Linker, Sven and Olderog, Ernst-Rüdiger (2015) Proofs for Traffic Safety : Combining Diagrams and Logic. PhD thesis, Carl von Ossietzky University of Oldenburg.