UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Dr Alice A Miller' ordered by Year. (63)

2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1998 1996 1994 1991

2012

A collection of Linear Spaces of order 16 with block size 4, with diamond-free complement graphs
Miller,A. DCS Technical Report Series pp 1-40 Dept of Computing Science, University of Glasgow [More Details].

2011

Proceedings of the 18th Workshop on Automated Reasoning
Miller,A. Kirwan,R. DCS Technical Report Series pp 39 Dept of Computing Science, University of Glasgow [More Details].

2010

An Approach to Probabilistic Symmetry Reduction
Power,C.
Miller,A. Proceedings of the Automated Reasoning Workshop 2010 (ARW'10) pp 32-33 [More Details].

Modelling Multi-agent systems
Kirwan,R. Miller,A. Proceedings of the Automated Reasoning Workshop 2010 (ARW'10) pp 18-19 [More Details].

Verification of a Symmetry Detection Technique using PVS
Ripon,S. Miller,A. Proceedings of the 10th International Conference on Automated Verification of Critical Systems (AVOCS'10) [More Details].

Diamond-free Degree Sequences
Miller,A. Prosser,P. DCS Technical Report Series pp 1 to 9 Dept of Computing Science, University of Glasgow [More Details].

An Introduction to Pervasive Automata
Calder,M. Gray,P. Miller,A. Unsworth,C. Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 2010 Springer [More Details].

2009

Semantic Embedding of Promela-lite in PVS
Ripon,S. Miller,A. Proceedings of the 16th Workshop on Automated reasoning [More Details].

Towards Verifying Correctness of Wireless Sensor Network Applications using Insense and Spin
Sharma,O. Lewis,J. Miller,A. Dearle,A. Balasubramaniam,D. Morrison,R. Sventek,J. Proceedings of the 16th Spin workshop (Spin'09), Lecture Notes in Computing Science 5758 pp 223--240 Springer [More Details].

Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems
Miller,A. Calder,M. Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS'08). Electronic Notes in Computer Science vol 250(2) pp 1-2 Elsevier Science [More Details].

An inductive technique for parameterised model checking of degenerative distributed randomised protocols
Graham,D. Calder,M. Miller,A. ENTCS, volume 250(1) pp 87-103 Electronic Notes in Theoretical Computer Science [More Details].

Language-level Symmetry Reduction for Probabilistic Model Checking
Donaldson,A.F. Miller,A. Parker,D. Proceedings of the 6th International Conference on Quantitative Evaluation of Systems (QEST'09) pp 289-298 IEEE Computer Society Press [More Details].

On the constructive orbit problem
Donaldson,A. Miller,A. Annals of Mathematics and Artificial Intelligence pp 1-102 Springer [More Details].

Towards the Verification of Pervasive Systems
Arapinis,M. Calder,M. Denis,L. Fisher,M. Gray,P. Konur,S. Miller,A. Ritter,E. Ryan,M. Schewe,S. Unsworth,C. Yasmin,R. Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009). Electronic Communications of the EASST. [More Details].

A Semantic Embedding of Promela-Lite in PVS
Ripon,S. Miller,A. Donaldson,D. Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVoCS'09) [More Details].

Symmetry Reduction of Partially Symmetric Systems
Power,C. Miller,A. Proceedings of the 16th Workshop on Automated Reasoning [More Details].

2008

Prism2Promela
Power,C.
Miller,A. Proceedings of Quantitative Evaluation of Systems (QEST 2008) pp 79--80 IEEE [More Details].

Model Checking Medium Access Control for Sensor Networks
Ballarini,P. Miller,A. IEEE Proceedings of ISOLA'06 Leveraging Applications of Formal methods pp 255-262 IEEE Computer Society Press [More Details].

Property Preservation in Quotient Structures
Miller,A. Donaldson,A. DCS Technical Report Series pp 1-34 Dept of Computing Science, University of Glasgow [More Details].

Automatic Symmetry Detection for Promela
Donaldson,A.F. Miller,A. Journal of Automated Reasoning, Volume 41, Issue 3-4 pp 251--293 Springer [More Details].

An automatic abstraction technique for verifying featured, parameterised systems
Calder,M. Miller,A. Theoretical Computer Science, Volume 404 pp 235-255 Elsevier Science [More Details].

2007

GRIP: Generic Representatives in PRISM
Donaldson,A.F.
Miller,A. Parker,D. Proceedings of the fourth International Conference on the Quantitative Evaluation of Systems (QEST'07) pp 115-116 IEEE Computer Society Press [More Details].

Symmetry reduction Techniques for Explicit-state model checking
Donaldson,A.F. Miller,A. Proceedings of the first International Symmetry Conference. pp 41-45 [More Details].

Symmetry Reduction Methods for Model Checking
Miller,A. Donaldson,A. Proceedings of the 14th workshop on Automated Reasoning [More Details].

Triangle-free Linear Spaces on 13 points with line sizes 2,3, and 4
Miller,A. DCS Technical Report Series pp 1-12 Dept of Computing Science, University of Glasgow [More Details].

A template-based approach for the generation of abstractable and reducible models of featured networks
Miller,A. Calder,M. Donaldson,A.F. Computer Networks volume 51(2) pp 439-455 Elsevier Science [More Details].

2006

A Computational Group Theoretic Symmetry Reduction Package for the SPIN Model Checker
Donaldson,A.F.
Miller,A. Proceedings of the 11th International Conference on Algebraic Methodology and Software Technology, AMAST'06. Lecture Notes in Computer Science vol. 4019. pp 374-380 Springer [More Details].

Symmetry reduction for probabilistic model checking
Donaldson,A.F. Miller,A. Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06). Lecture Notes in Computing Science volume 4218. pp 9-23 Springer [More Details].

Extending Symmetry Reduction Techniques to a realistic model of Computation
Donaldson,A.F. Miller,A. Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS'06) pp 63--76 [More Details].

Evaluating a Formal Methods Technique via Student Assessed Exercises
Donaldson,A.F. Miller,A. Proceedings of the Workshop on Formal Methods in the Teaching Lab (FM-Ed 2006) pp 63-74 [More Details].

The use of an Electronic Voting System in a Formal Methods Course
Miller,A. Cutts,Q. Proceedings of the Workshop on Formal Methods in the Teaching Lab (FM-Ed 2006) pp 3-8 [More Details].

(Towards) Model Checking Medium Access Control for Sensor Networks
Ballarini,P. Miller,A. Proceedings of the second international symposium on leveraging applications of formal methods pp 256-262 [More Details].

Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Donaldson,A.F. Miller,A. Proceedings of the 14th International Symposium on Formal Methods (FM'06), volume 4085 of Lecture Notes in Computer Science. pp 541-556 Springer [More Details].

Symmetry in temporal logic model checking
Miller,A. Donaldson,A.F. Calder,M. ACM Computing Surveys, volume 38, issue 3 ACM [More Details].

Feature Interaction Detection by Pairwise Analysis of LTL Properties--a case study
Calder,M. Miller,A. Formal Methods in System Design, Volume 28(3), May 2006 pp 213--261 Springer [More Details].

Verifying parameterised networks by abstraction and induction: experience from the IEEE 1394 protocol
Miller,A. Calder,M. DCS Technical Report Series pp 39 Dept of Computing Science, University of Glasgow [More Details].

2005

A Constraint model and a reduction operator for the minimising open stacks problem
Miller,A. Prosser,P. Unsworth,C. Proceedings of the constraint modelling challenge, in conjuction with the fifth workshop on modelling and solving problems with constraints held at IJCAI'05 pp 44-50 [More Details].

A generic approach for the automatic verification of featured, parameterised systems
Miller,A. Calder,M. In proceedings of Eighth International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI '05) pp 217--235 IOS Press [More Details].

Automatic Symmetry Detection for Model Checking Using Computational Group Theory
Donaldson,A.F. Miller,A. Proceedings of the 13th International Symposium on Formal Methods Europe (FME 2005). Lecture Notes in Computing Science volume 3582. pp 481--496 Springer [More Details].

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis
Donaldson,A.F. Miller,A. Calder,M. Electronic Notes in Theoretical Computer Science, volume 128/6 pp 161-177 Elsevier Science [More Details].

Improved lower bounds for solving the minimal open stacks problem
Miller,A. Proceedings of the constraint modelling challenge, in conjuction with the fifth workshop on modelling and solving problems with constraints held at IJCAI'05, Edinburgh UK, July 2005. pp 36--43 [More Details].

Symmetry Reduction for Probabilistic Systems
Donaldson,A.F. Miller,A. Proceedings of the 12th Worskhop on Automated Reasoning, Edinburgh, July 2005. pp 17--18 [More Details].

2004

SPIN-to-GRAPE: a tool for analysing symmetry in Promela models
Donaldson,A. Miller,A. Calder,M. Electronic notes in Theoretical computer science 139/1 pp 3-23 Elsevier Science [More Details].

Solving the Rehearsal Problem with Planning and with Model Checking
Gregory,P. Miller,A. Prosser,P. 16th European Conference on Artificial Intelligence (ECAI 2004), workshop W14: Modelling and Solving Problems with Constraints pp 157--171 [More Details].

Comparing the use of symmetry in constraint processing and model checking
Donaldson,A. Miller,A. Calder,M. Proceedings of the the 4th International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'04) pp 18-25 [More Details].

Verifying parameterised, featured networks by abstraction
Calder,M. Miller,A. Proceedings of the first International Symposium on Leveraging Applications of Formal Methods (ISOLA'04) pp 227--234 [More Details].

Detecting feature interactions: how many components do we need?
Calder,M. Miller,A. Objects, Agents and Features. Lecture Notes in Computing Science. Volume 2975 pp 45-66 Springer Verlag [More Details].

2003

Generalising Feature Interactions in Email
Calder,M. Miller,A. Feature Interactions in Telecommunications and Software Systems VII pp 187-205 IOS Press [More Details].

An application of abstraction and induction techniques to degenerating systems of processes
Miller,A. Calder,M. Proceedings of the International Workshop on Model-Checking for Dependable Software-Intensive Systems (MCDSIS`03), supplement to the Proceedings of DSN-2003 pp W75 - W79 IEEE Computer Society Press [More Details].

Two approaches to verifying the Tree identify phase of the IEEE 1394 (FireWire) protocol for any size of network
Miller,A. Calder,M. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Using SPIN to Analyse the Tree Identification phase of the IEEE 1394 High Performance Serial Bus (FireWire) Protocol
Calder,M. Miller,A. Formal Aspects of Computing 14 (2003) 3 pp 247--266 Springer Verlag [More Details].

2002

Five ways to use induction and symmetry in the verification of networks of processes by model-checking
Calder,M. Miller,A. Proceedings of AvoCS 2002 (Automated Verification of Critical Systems), University of Birmingham School of Computer Science Technical Report CSR-02-6 pp 29-42 [More Details].

Feature Validation for any Number of Processes
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Automatic verification of any number of concurrent, communicating processes
Calder,M. Miller,A. Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002) pp 227-230 IEEE [More Details].

Feature Interaction Detection by Pairwise Analysis of LTL Properties
Calder,M. Miller,A. DCS Tech Report [More Details].

2001

Using SPIN for Feature Interaction Analysis -- a Case Study
Calder,M. Miller,A. Proceedings of the 8th International SPIN Workshop (SPIN 2001), Toronto, Canada. Lecture Notes in Computer Science, vol 2057 pp 143-162 Springer [More Details].

Using the Model Checker SPIN to Detect Feature Interactions in Telecommunications Services
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Using SPIN to Analyse the FireWire Protocol - a Case Study
Calder,M. Miller,A. Proceedings of the International Workshop on Application of Formal Methods to IEEE 1394 Standard pp 9--13 University of Stirling [More Details].

2000

Model Checking Networks of Telecommunications Services using SPIN
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

1998

Analysing a Basic Call Protocol using PROMELA/XSPIN
Calder,M. Miller,A. Proceedings SPIN '98: Workshop on Automata Theoretic Verification with the SPIN model Checker, Paris, G. Holzmann (ed.) pp 169-181 [More Details].

1996

Line-closed Subsets of Steiner Triple Systems and Classical Linear Spaces
Camina,A.R.
Miller,A. Journal of Statistical Planning and Inference Vol:56 pp 65-77 [More Details].

1994

Non-Cayley vertex-transitive graphs of order twice the product of two odd primes
Miller,A. Praeger,C. Journal of Algebraic combinatorics 3 pp 77--111 Kluwer [More Details].

1991

A Subspace theorem for ordinary linear differential equations
Miller,A. Journal of the Australian Mathematical Society (Series A) volume 50 pp 320-332 Wiley [More Details].