# Alice Miller

Orcid: 0000-0002-0941-1717Affiliations:

- University of Glasgow, United Kingdom

According to our database

Collaborative distances:

^{1}, Alice Miller authored at least 62 papers between 2001 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2024

CoRR, 2024

Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking.

Proceedings of the Model Checking Software - 30th International Symposium, 2024

2023

Feasibility assessments of a dynamical approach to compartmental modelling on graphs: Scaling limits and performance analysis.

Theor. Comput. Sci., November, 2023

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

2022

Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

2021

IEEE Trans. Games, 2021

Breakout Group Allocation Schedules and the Social Golfer Problem with Adjacent Group Sizes.

Symmetry, 2021

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

CoRR, 2021

Comput. Games J., 2021

GBRAMP: A generalized backtracking regularized adaptive matching pursuit algorithm for signal reconstruction.

Comput. Electr. Eng., 2021

2020

Formal Aspects Comput., 2020

An investigation into serotonergic and environmental interventions against depression in a simulated delayed reward paradigm.

Adapt. Behav., 2020

2019

Constraints An Int. J., 2019

2018

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2016

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites.

Qual. Reliab. Eng. Int., 2016

Qual. Reliab. Eng. Int., 2016

Model checking learning agent systems using Promela with embedded C code and abstraction.

Formal Aspects Comput., 2016

A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods.

CoRR, 2016

Constraints An Int. J., 2016

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Proceedings of the IEEE International Conference on Prognostics and Health Management, 2016

Towards the Automated Verification of Weibull Distributions for System Failure Rates.

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification.

Reliab. Eng. Syst. Saf., 2015

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

CoRR, 2014

Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30.

CoRR, 2014

Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker.

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

2013

Neural Comput., 2013

Proceedings of the IJCAI 2013, 2013

A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System.

Proceedings of the Seventh UKSim/AMSS European Modelling Symposium, 2013

2012

CoRR, 2012

2010

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Ann. Math. Artif. Intell., 2009

Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.

Proceedings of the Model Checking Software, 2009

Proceedings of the QEST 2009, 2009

2008

Theor. Comput. Sci., 2008

J. Autom. Reason., 2008

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols.

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

A template-based approach for the generation of abstractable and reducible models of featured networks.

Comput. Networks, 2007

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006

Feature interaction detection by pairwise analysis of LTL properties - A case study.

Formal Methods Syst. Des., 2006

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

ACM Comput. Surv., 2006

Proceedings of the Leveraging Applications of Formal Methods, 2006

Proceedings of the FM 2006: Formal Methods, 2006

Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.

Proceedings of the Automated Technology for Verification and Analysis, 2006

A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Proceedings of the FM 2005: Formal Methods, 2005

A Generic Approach for the Automatic Verification of Featured, Parameterised Systems.

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2004

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis.

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Verifying parametrized, featured networks by abstraction.

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol.

Formal Aspects Comput., 2003

Generalising Feature Interactions in Email.

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Proceedings of the Objects, 2003

2002

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001

Proceedings of the Model Checking Software, 2001