Browse by People

Schewe, S ORCID: 0000-0002-9093-9518, Gainer, Paul and Hahn, Ernst Moritz (2018) Accelerated Model Checking of Parametric Markov Chains. In: International Symposium on Automated Technology for Verification and Analysis, 2018-10-7 - 2018-10-10, Los Angeles.

Gainer, Paul (2020) Formal Analysis of Artificial Collectives using Parametric Markov Models. PhD thesis, University of Liverpool.

Gainer, Paul, Hahn, Ernst Moritz and Schewe, Sven ORCID: 0000-0002-9093-9518 (2018) Incremental Verification of Parametric and Reconfigurable Markov Chains. In: International Conference on Quantitative Evaluation of SysTems, 2018-9-4 - 2018-9-7, Beijing.

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 (2017) Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In: 14th International Conference on Quantitative Evaluation of SysTems (QEST), 2017-9-5 - 2017-9-7, Berlin, Germany.

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 (2020) Multi-Scale Verification of Distributed Synchronisation. Formal Methods in System Design, 55 (3). pp. 171-221.

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 ORCID: 0000-0002-0875-3862 (2020) Multi-scale verification of distributed synchronisation. FORMAL METHODS IN SYSTEM DESIGN.

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, 11232. pp. 160-176.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare, 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.

Koay, Kheng Lee, Webster, Matt, Dixon, Clare, Gainer, Paul, Syrdal, Dag, Fisher, Michael and Dautenhahn, Kerstin (2021) Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn, Journal of Behavioral Robotics, 12 (1). pp. 402-422.