Andrew V. Jones

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 3

Top Topics

Change Impact Analysis

Epistemic Logic

Equational Theories

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS (2017)
Andrew V. Jones
Addressing the Regression Test Problem with Change Impact Analysis for Ada. CoRR (2016)
Andrew V. Jones
Addressing the Regression Test Problem with Change Impact Analysis for Ada. Ada-Europe (2016)
Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio
Group synthesis for parametric temporal-epistemic logic. AAMAS (2012)
Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio
Automatic verification of epistemic specifications under convergent equational theories. AAMAS (2012)
Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. Fundam. Informaticae 112 (1) (2011)
Andrew V. Jones, Alessio Lomuscio
Distributed BDD-based BMC for the verification of multi-agent systems. AAMAS (2010)