Personal information

Activities

Employment (1)

University of Liverpool: Liverpool, Merseyside, GB

2015 to present | PhD Researcher (Computer Science)
Employment
Source: Self-asserted source
Paul Gainer

Education and qualifications (1)

University of Liverpool: Liverpool, Merseyside, GB

2012 to 2015 | BSc (Hons) Computer Science (Computer Science)
Education
Source: Self-asserted source
Paul Gainer

Works (7)

A dynamic state-based model of crowds

Safety Science
2024-07 | Journal article
Contributors: Martyn Amos; Paul Gainer; Steve Gwynne; Anne Templeton
Source: check_circle
Crossref

Multi-scale verification of distributed synchronisation

Formal Methods in System Design
2020-11-20 | Journal article
Contributors: Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher
Source: check_circle
Crossref

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

2018 | Book chapter
Contributors: Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher
Source: check_circle
Crossref

CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
EID:

2-s2.0-85029496657

Contributors: Gainer, P.; Dixon, C.; Dautenhahn, K.; Fisher, M.; Hustadt, U.; Saunders, J.; Webster, M.
Source: Self-asserted source
Paul Gainer via Scopus - Elsevier

Investigating parametric influence on discrete synchronisation protocols using quantitative model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
EID:

2-s2.0-85028676613

Contributors: Gainer, P.; Linker, S.; Dixon, C.; Hustadt, U.; Fisher, M.
Source: Self-asserted source
Paul Gainer via Scopus - Elsevier

Probabilistic model checking of ant-based positionless swarming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
EID:

2-s2.0-84977548398

Contributors: Gainer, P.; Dixon, C.; Hustadt, U.
Source: Self-asserted source
Paul Gainer via Scopus - Elsevier

Ordered resolution for coalition logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
EID:

2-s2.0-84950105804

Contributors: Hustadt, U.; Gainer, P.; Dixon, C.; Nalon, C.; Zhang, L.
Source: Self-asserted source
Paul Gainer via Scopus - Elsevier