Paul Gainer

Identifiers

No identifiers captured yet.

Papers (4)

1. Multi-Scale Verification of Distributed Synchronisation cs.LO · 2018 · author #1
2. Accelerated Model Checking of Parametric Markov Chains cs.LO · 2018 · author #1
3. Incremental Verification of Parametric and Reconfigurable Markov Chains cs.LO · 2018 · author #1
4. The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators cs.DC · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Clare Dixon 2 shared papers
• Ernst Moritz Hahn 2 shared papers
• Michael Fisher 2 shared papers
• Sven Linker 2 shared papers
• Sven Schewe 2 shared papers
• Ullrich Hustadt 2 shared papers