Items where Author is "Linker, Sven"

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

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 (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

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

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

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 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 (2015) Proof Theory of a Multi-Lane Spatial Logic. Logical Methods in Computer Science, 11 (3): 4.

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

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

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

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