Sven Linker - Publications & Outputs - Research Portal

Dr Sven Linker

Formerly at Lancaster University

21 - 25 out of 25Page size: 10

Sort by: Type

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

Previous 1 2 3 Next