Home > Research > Researchers > Dr Sven Linker > Publications

Research

Dr Sven Linker

Formerly at Lancaster University

1 - 10 out of 25Page size: 10
RSS feed of this list
  1. 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/Magazine › Journal article › peer-review

  2. 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/ISSN › Conference contribution/Paper › peer-review

  3. 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/ISSN › Conference contribution/Paper › peer-review

  4. 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/ISSN › Conference contribution/Paper › peer-review

  5. 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/Magazine › Journal article › peer-review

  6. 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/Magazine › Journal article › peer-review

  7. 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/ISSN › Conference contribution/Paper › peer-review

  8. 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/ISSN › Chapter (peer-reviewed) › peer-review

  9. 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/ISSN › Chapter (peer-reviewed) › peer-review

  10. 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/ISSN › Conference contribution/Paper › peer-review

Previous 1 2 3 Next

Back to top