Home > Research > Researchers > Dr Sven Linker > Publications

Dr Sven Linker

Formerly at Lancaster University

  1. 2021
  2. Published

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

    Cardoso, R. C., Ferrando, A., Papacchini, F., Luckcuck, M., Linker, S. & Payne, T. R., 1/10/2021, The Multi-Agent Programming Contest 2021: One-and-a-Half Decades of Exploring Multi-Agent Systems. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausberg, T. (eds.). Cham: Springer, p. 82-107 27 p. (Lecture Notes in Computer Science; vol. 12947).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

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

    Linker, S., Papacchini, F. & Sevegnani, M., 18/08/2021, 46th International Symposium on Mathematical Foundations of Computer Science. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 202. p. 72:1-72:16 16 p. 72. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  4. 2020
  5. Published

    Multi-scale verification of distributed synchronisation

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 1/11/2020, In: Formal Methods in System Design. 55, p. 171–221 51 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Intuitionistic Euler-Venn Diagrams

    Linker, S., 24/08/2020, Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings. Pietarinen, A-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). Cham: Springer, p. 264-280 17 p. (Lecture Notes in Computer Science; vol. 12169).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    Analysing spatial properties on neighbourhood spaces

    Linker, S., Papacchini, F. & Sevegnani, M., 1/08/2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 66:1-66:14 14 p. MFCS-2020-66. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. 2019
  9. Published

    Target counting with Presburger constraints and its application in sensor networks

    Linker, S. & Sevegnani, M., 29/11/2019, In: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 475, 2231, 24 p., 20190278.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time: Formal Techniques for Safety-Critical Systems. FTSCS 2018

    Kamali, M., Linker, S. & Fisher, M., 2/02/2019, Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Artho, C. & Ölveczky, P. C. (eds.). Cham: Springer, p. 18-36 19 p. (Communications in Computer and Information Science; vol. 1008).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  11. 2018
  12. Published

    The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 11/10/2018, Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Sun, J. & Sun, M. (eds.). Cham: Springer, p. 160-176 17 p. (Lecture Notes in Computer Science; vol. 11232).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  13. Published

    Sequent Calculus for Euler Diagrams

    Linker, S., 18/06/2018, Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Cham: Springer, p. 399-407 9 p. (Lecture Notes in Computer Science; vol. 10871).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  14. Published

    Formalising Sensor Topologies for Target Counting

    Linker, S. & Sevegnani, M., 6/02/2018, First Workshop on Architectures, Languages and Paradigms for IoT. p. 43-57

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  15. 2017
  16. Published

    Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL

    Linker, S., 20/09/2017, Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Cham: Springer, p. 34-49 16 p. (Lecture Notes in Computer Science; vol. 10510).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  17. Published

    Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 5/09/2017, Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. Bertrand, N. & Bortolussi, L. (eds.). Cham: Springer, p. 224–239 16 p. (Lecture Notes in Computer Science; vol. 10503).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  18. Published

    Synthesizing and verifying controllers for multi-lane traffic maneuvers

    Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E-R., 13/07/2017, In: Formal Aspects of Computing. 29, p. 583–600 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  19. Published

    Tactical Diagrammatic Reasoning

    Linker, S., Burton, J. & Jamnik, M., 25/01/2017, Proceedings of the 12th Workshop on User Interfaces for Theorem Provers UITP 2016. Autexier, S. & Quaresma, P. (eds.). EPTCS, p. 29-42 14 p. (EPTCS; vol. 239).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  20. 2016
  21. Published

    Measuring User Comprehension of Inference Rules in Euler Diagrams

    Linker, S., Burton, J. & Blake, A., 10/08/2016, Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Jamnik, M., Uesaka, Y. & Schwartz, S. E. (eds.). Cham: Springer, p. 32-39 8 p. (Lecture Notes in Computer Science; vol. 9781).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  22. 2015
  23. Published

    Generating readable diagrammatic proofs

    Burton, J. & Linker, S., 17/12/2015, 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  24. Published

    Synthesizing Controllers for Multi-lane Traffic Maneuvers

    Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E-R., 4/11/2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham: Springer, p. 71-86 16 p. (Lecture Notes in Computer Science; vol. 9409).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  25. Published

    Proof Theory of a Multi-Lane Spatial Logic

    Linker, S. & Hilscher, M., 18/08/2015, In: Logical Methods in Computer Science. 11, 3, 27 p., 4.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  26. Published

    Proofs for Traffic Safety: Combining Diagrams and Logic

    Linker, S., 2015

    Research output: ThesisDoctoral Thesis

  27. 2013
  28. Published

    Proof Theory of a Multi-Lane Spatial Logic

    Linker, S. & Hilscher, M., 2013, Theoretical Aspects of Computing – ICTAC 2013: Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Berlin: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science; vol. 8049).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  29. Published

    Proving safety of traffic manoeuvres on country roads

    Hilscher, M., Linker, S. & Olderog, E-R., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Berlin: Springer, p. 196-212 17 p. (Lecture Notes in Computer Science; vol. 8051).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  30. 2012
  31. Published

    Translating Structural Process Properties to Petri Net Markings

    Linker, S., 2/08/2012, 2012 12th International Conference on Application of Concurrency to System Design. IEEE, 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  32. 2011
  33. Published

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

    Hilscher, M., Linker, S., Olderog, E-R. & Ravn, A. P., 2011, Formal Methods and Software Engineering: Proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011. Qin, S. & Qiu, Z. (eds.). Berlin: Springer, p. 404-419 16 p. (Lecture Notes in Computer Science; vol. 6991).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  34. Published

    Syspect: Modelling, specifying, and verifying real-time systems with rich data.

    Faber, J., Linker, S., Quesel, J-D. & Olderog, E-R., 2011, In: International Journal of Software and Informatics. 5, 1-2, p. 117-137 21 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  35. 2010
  36. Published

    Diagrammatic specification of mobile real-time systems

    Linker, S., 2010, Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Goel, A. K., Jamnik, M. & Narayanan, N. H. (eds.). Berlin: Springer, p. 316-318 3 p. (Lecture Notes in Computer Science; vol. 6170).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top