Alice Miller
Orcid: 0000-0002-0941-1717Affiliations:
- University of Glasgow, United Kingdom
According to our database1,
Alice Miller
authored at least 63 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
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
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
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
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
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
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
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
Formal Methods Syst. Des., 2006
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the FM 2006: Formal Methods, 2006
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
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