Alice Miller
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
1402006
Using SPIN for feature interaction analysis-a case study
M Calder, A Miller
International SPIN workshop on Model Checking of Software, 143-162, 2001
612001
Model checking medium access control for sensor networks
P Ballarini, A Miller
Second International Symposium on Leveraging Applications of Formal Methods …, 2006
542006
Symmetry reduction for probabilistic model checking using generic representatives
AF Donaldson, A Miller
International Symposium on Automated Technology for Verification and …, 2006
482006
Automatic symmetry detection for model checking using computational group theory
AF Donaldson, A Miller
International Symposium on Formal Methods, 481-496, 2005
472005
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
462006
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
432016
Exact and approximate strategies for symmetry reduction in model checking
AF Donaldson, A Miller
International Symposium on Formal Methods, 541-556, 2006
332006
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
332006
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
311994
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
292009
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
272015
Breaking symmetries in graph representation
M Codish, A Miller, P Prosser, A Stuckey
272013
Language-level symmetry reduction for probabilistic model checking
AF Donaldson, A Miller, D Parker
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
232009
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
212005
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
212003
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
182010
Automatic symmetry detection for promela
AF Donaldson, A Miller
Journal of Automated Reasoning 41 (3-4), 251, 2008
172008
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
162016
The system can't perform the operation now. Try again later.
Articles 1–20