Paul Gainer - RankMe

14 papers B 2C 1Journal 7Unranked 4

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Automating reward function configuration for drug design. CoRR Marius Urbonas, Temitope Ajileye, Paul Gainer, Douglas Pires
2021	J	`jnl`	Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn J. Behav. Robotics Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn
2020	J	`jnl`	Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des. Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2018	B	`conf`	Accelerated Model Checking of Parametric Markov Chains. ATVA Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018	J	`jnl`	Accelerated Model Checking of Parametric Markov Chains. CoRR Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018	—	`conf`	Incremental Verification of Parametric and Reconfigurable Markov Chains. QEST Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018	J	`jnl`	Incremental Verification of Parametric and Reconfigurable Markov Chains. CoRR Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018	J	`jnl`	Multi-Scale Verification of Distributed Synchronisation. CoRR Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2018	C	`conf`	The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. ICFEM Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2017	—	`conf`	CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster
2017	—	`conf`	Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. QEST Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2017	J	`jnl`	The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. CoRR Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2016	—	`conf`	Probabilistic Model Checking of Ant-Based Positionless Swarming. TAROS Paul Gainer, Clare Dixon, Ullrich Hustadt
2015	B	`conf`	Ordered Resolution for Coalition Logic. TABLEAUX Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang