| Symmetry in temporal logic model checking A Miller, A Donaldson, M Calder ACM Computing Surveys (CSUR) 38 (3), 8-es, 2006 | 166 | 2006 |
| Risk assessment of railway transportation systems using timed fault trees Z Peng, Y Lu, A Miller, C Johnson, T Zhao Quality and reliability engineering international 32 (1), 181-194, 2016 | 95 | 2016 |
| Rapid development of improved data-dependent acquisition strategies V Davies, J Wandy, S Weidt, JJJ Van Der Hooft, A Miller, R Daly, ... Analytical chemistry 93 (14), 5676-5683, 2021 | 91 | 2021 |
| Using SPIN for feature interaction analysis-a case study M Calder, A Miller International SPIN workshop on Model Checking of Software, 143-162, 2001 | 64 | 2001 |
| Feature interaction detection by pairwise analysis of LTL properties—a case study M Calder, A Miller Formal Methods in System Design 28 (3), 213-261, 2006 | 62 | 2006 |
| Symmetry reduction for probabilistic model checking using generic representatives AF Donaldson, A Miller International Symposium on Automated Technology for Verification and …, 2006 | 59 | 2006 |
| Model checking medium access control for sensor networks P Ballarini, A Miller Second international symposium on leveraging applications of formal methods …, 2006 | 57 | 2006 |
| Automatic symmetry detection for model checking using computational group theory AF Donaldson, A Miller International Symposium on Formal Methods, 481-496, 2005 | 53 | 2005 |
| Constraints for symmetry breaking in graph representation M Codish, A Miller, P Prosser, PJ Stuckey Constraints 24 (1), 1-24, 2019 | 44 | 2019 |
| Computing the Ramsey number R (4, 3, 3) using abstraction and symmetry breaking M Codish, M Frank, A Itzhakov, A Miller Constraints 21 (3), 375-393, 2016 | 42 | 2016 |
| How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification Y Lu, Z Peng, AA Miller, T Zhao, CW Johnson Reliability Engineering & System Safety 144, 95-116, 2015 | 42 | 2015 |
| Language-level symmetry reduction for probabilistic model checking AF Donaldson, A Miller, D Parker 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009 | 41 | 2009 |
| A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker AF Donaldson, A Miller International Conference on Algebraic Methodology and Software Technology …, 2006 | 38 | 2006 |
| Breaking symmetries in graph representation M Codish, A Miller, P Prosser, A Stuckey | 37 | 2013 |
| Exact and approximate strategies for symmetry reduction in model checking AF Donaldson, A Miller International Symposium on Formal Methods, 541-556, 2006 | 37 | 2006 |
| Non-Cayley vertex-transitive graphs of order twice the product of two odd primes AA Miller, CE Praeger Journal of Algebraic Combinatorics 3 (1), 77-111, 1994 | 35 | 1994 |
| Towards verifying correctness of wireless sensor network applications using insense and spin O Sharma, J Lewis, A Miller, A Dearle, D Balasubramaniam, R Morrison, ... International SPIN Workshop on Model Checking of Software, 223-240, 2009 | 30 | 2009 |
| A probabilistic model checking approach to analysing reliability, availability, and maintainability of a single satellite system Z Peng, Y Lu, A Miller, C Johnson, T Zhao 2013 European Modelling Symposium, 611-616, 2013 | 29 | 2013 |
| Towards the verification of pervasive systems M Arapinis, M Calder, L Dennis, M Fisher, P Gray, S Konur, A Miller, ... Electronic Communications of the EASST 22, 2009 | 27 | 2009 |
| Automatic symmetry detection for promela AF Donaldson, A Miller Journal of Automated Reasoning 41 (3), 251-293, 2008 | 24 | 2008 |
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
