ติดตาม
Alice Miller
Alice Miller
Professor, University of Glasgow
ยืนยันอีเมลแล้วที่ glasgow.ac.uk - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
Symmetry in temporal logic model checking
A Miller, A Donaldson, M Calder
ACM Computing Surveys (CSUR) 38 (3), 8-es, 2006
1632006
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
872016
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
702021
Feature interaction detection by pairwise analysis of LTL properties—a case study
M Calder, A Miller
Formal Methods in System Design 28, 213-261, 2006
632006
Using SPIN for feature interaction analysis-a case study
M Calder, A Miller
Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 2001
622001
Symmetry reduction for probabilistic model checking using generic representatives
AF Donaldson, A Miller
International Symposium on Automated Technology for Verification and …, 2006
582006
Model checking medium access control for sensor networks
P Ballarini, A Miller
Second international symposium on leveraging applications of formal methods …, 2006
572006
Automatic symmetry detection for model checking using computational group theory
AF Donaldson, A Miller
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
522005
Constraints for symmetry breaking in graph representation
M Codish, A Miller, P Prosser, PJ Stuckey
Constraints 24, 1-24, 2019
402019
Language-level symmetry reduction for probabilistic model checking
AF Donaldson, A Miller, D Parker
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
402009
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
392015
Computing the Ramsey number R (4, 3, 3) using abstraction and symmetry breaking
M Codish, M Frank, A Itzhakov, A Miller
Constraints 21, 375-393, 2016
382016
Exact and approximate strategies for symmetry reduction in model checking
AF Donaldson, A Miller
FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006
372006
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
AF Donaldson, A Miller
Algebraic Methodology and Software Technology: 11th International Conference …, 2006
372006
Breaking symmetries in graph representation
M Codish, A Miller, P Prosser, A Stuckey
362013
Non-Cayley vertex-transitive graphs of order twice the product of two odd primes
AA Miller, CE Praeger
Journal of Algebraic Combinatorics 3, 77-111, 1994
361994
Towards verifying correctness of wireless sensor network applications using insense and spin
O Sharma, J Lewis, A Miller, A Dearle, D Balasubramaniam, R Morrison, ...
Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009
322009
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
292009
Automatic symmetry detection for promela
AF Donaldson, A Miller
Journal of Automated Reasoning 41, 251-293, 2008
242008
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
232013
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20