Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 7.


Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael
Multi-Scale Verification of Distributed Synchronisation.


Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, CL ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael
(2018) The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. In: 20th International Conference on Formal Engineering Methods, 2018-11-12 - 2018-11-16, Griffith University, Gold Coast, Australia.


Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael
(2018) The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Quantitative Evaluation of Systems.


Fernandes, Lucas ER, Custodio, Vinicius, Alves, Gleifer V and Fisher, Michael ORCID: 0000-0002-0875-3862
(2017) A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. .


Linker, Sven ORCID: 0000-0003-2913-7943
(2018) Sequent Calculus for Euler Diagrams. .


Bochmann, Gregor V, Hilscher, Martin, Linker, Sven ORCID: 0000-0003-2913-7943 and Olderog, Ernst-Ruediger
(2017) Synthesizing and verifying controllers for multi-lane traffic maneuvers. FORMAL ASPECTS OF COMPUTING, 29 (4). 583 - 600.


Linker, Sven ORCID: 0000-0003-2913-7943, Burton, Jim and Jamnik, Mateja
Tactical Diagrammatic Reasoning. .

This list was generated on Mon Nov 11 19:12:04 2019 GMT.