Alice Miller

Cited by

	All	Since 2015
Citations	1047	375
h-index	17	11
i10-index	32	12

100

200120022003200420052006200720082009201020112012201320142015201620172018201920205 12 14 14 37 38 64 67 73 75 52 80 66 49 74 94 44 51 68 44

Co-authors

Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Yu LuUniversity of GlasgowVerified email at research.gla.ac.uk
Chris JohnsonProfessor of Computer Science, School of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Tingdi ZhaoSchool of Reliability and Systems Engineering, Beijing University of Aeronautics and AstronauticsVerified email at stu.ccit.edu.cn
Patrick ProsserComputing Science, GlasgowVerified email at dcs.gla.ac.uk
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Ruth HoffmannSchool of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
Ryan KirwanAssistant Professor, Singapore Institute of TechnologyVerified email at SingaporeTech.edu.sg
Murray IrelandSpace Systems Engineer, Craft ProspectVerified email at craftprospect.com
Cheryl E PraegerEmer. Professor of Mathematics, University of Western AustraliaVerified email at uwa.edu.au
Michael FrankDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at post.bgu.ac.il
Philip D. GraySchool of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Avraham ItzhakovDepartment of Computer Science, Ben-Gurion UniversityVerified email at cs.bgu.ac.il
Joseph SventekComputer and Information Science, University of OregonVerified email at uoregon.edu
Om Prakash SharmaProfessor Department of Electronics and CommunicationVerified email at poornima.org
Jon LewisProfessor, School of Writing, Literature, and Film; Oregon State UniversityVerified email at oregonstate.edu

Alice Miller

Professor, University of Glasgow

Verified email at glasgow.ac.uk - Homepage

Formal Verification Artificial Intelligence Group Theory modelling


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Symmetry in temporal logic model checking A Miller, A Donaldson, M Calder ACM Computing Surveys (CSUR) 38 (3), 8-es, 2006	140	2006
Using SPIN for feature interaction analysis-a case study M Calder, A Miller International SPIN workshop on Model Checking of Software, 143-162, 2001	61	2001
Model checking medium access control for sensor networks P Ballarini, A Miller Second International Symposium on Leveraging Applications of Formal Methods …, 2006	54	2006
Symmetry reduction for probabilistic model checking using generic representatives AF Donaldson, A Miller International Symposium on Automated Technology for Verification and …, 2006	48	2006
Automatic symmetry detection for model checking using computational group theory AF Donaldson, A Miller International Symposium on Formal Methods, 481-496, 2005	47	2005
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	46	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	43	2016
Exact and approximate strategies for symmetry reduction in model checking AF Donaldson, A Miller International Symposium on Formal Methods, 541-556, 2006	33	2006
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	33	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	31	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	29	2009
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	27	2015
Breaking symmetries in graph representation M Codish, A Miller, P Prosser, A Stuckey	27	2013
Language-level symmetry reduction for probabilistic model checking AF Donaldson, A Miller, D Parker 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009	23	2009
Finding symmetry in models of concurrent systems by static channel diagram analysis AF Donaldson, A Miller, M Calder Electronic Notes in Theoretical Computer Science 128 (6), 161-177, 2005	21	2005
Finding Symmetry in models of concurrent systems by static channel diagram analysis. Theoretical Computer Science 128 (6): pp. 161-177. AF Donaldson, A Miller, M Calder Theoretical Computer Science 128 (6), 161-177, 2005	21*	2005
Generalising feature interactions in email M Calder, A Miller IOS Press, 2003	21	2003
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, 2010	18	2010
Automatic symmetry detection for promela AF Donaldson, A Miller Journal of Automated Reasoning 41 (3-4), 251, 2008	17	2008
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	16	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors