Alice Miller

According to our database, Alice Miller authored at least 61 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Homeostatic motion planning with innate physics knowledge.

Giulia Lafratta, Bernd Porr, Christopher Chandler, Alice Miller

CoRR, 2024

2023

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

Ethan Hunter, Jessica A. Enright, Alice Miller

Theor. Comput. Sci., November, 2023

Model Checking for Closed-Loop Robot Reactive Planning.

Christopher Chandler, Bernd Porr, Alice Miller, Giulia Lafratta

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

2022

Mix-and-Match MCQs: Four for the Price of One.

Helen C. Purchase, Alice A. Miller

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

2021

Balancing Turn-Based Games With Chained Strategy Generation.

William Kavanagh, Alice Miller, Gethin Norman, Oana Andrei

IEEE Trans. Games, 2021

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

Alice Miller, Matthew Barr, William Kavanagh, Ivaylo Valkov, Helen C. Purchase

Symmetry, 2021

Simulation and Model Checking for Close to Realtime Overtaking Planning.

Daumantas Pagojus, Alice Miller, Bernd Porr, Ivaylo Valkov

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

Designing a mobile game to generate player data - lessons learned.

William Wallis, William Kavanagh, Alice Miller, Tim Storer

CoRR, 2021

Gameplay Analysis of Multiplayer Games with Verified Action-Costs.

William Kavanagh, Alice Miller

Comput. Games J., 2021

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

Mojisola Grace Asogbon, Yu Lu, Oluwarotimi Williams Samuel, Liwen Jing, Alice A. Miller, Guanglin Li, Kelvin Kian Loong Wong

Comput. Electr. Eng., 2021

2020

Collaborative models for autonomous systems controller synthesis.

Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman

Formal Aspects Comput., 2020

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

Bernd Porr, Alice Miller, Alex Trew

Adapt. Behav., 2020

2019

Constraints for symmetry breaking in graph representation.

Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey

Constraints An Int. J., 2019

2018

Strategy Synthesis for Autonomous Agents Using PRISM.

Ruben Giaquinta, Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman

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

2016

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

Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao, Chris W. Johnson

Qual. Reliab. Eng. Int., 2016

Risk Assessment of Railway Transportation Systems using Timed Fault Trees.

Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao

Qual. Reliab. Eng. Int., 2016

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

Ryan F. Kirwan, Alice Miller, Bernd Porr

Formal Aspects Comput., 2016

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

Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres

CoRR, 2016

Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking.

Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller

Constraints An Int. J., 2016

Autonomous Agent Behaviour Modelled in PRISM - A Case Study.

Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres

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

Uncertainty analysis of phased mission systems with probabilistic timed automata.

Zhaoguang Peng, Yu Lu, Alice Miller

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

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

Yu Lu, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson

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.

Yu Lu, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris W. Johnson

Reliab. Eng. Syst. Saf., 2015

Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists.

Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Formal modelling and quantitative analysis of satellite navigation systems.

Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao

CoRR, 2014

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

Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller

CoRR, 2014

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

Yu Lu, Alice Miller, Chris W. Johnson, Zhaoguang Peng, Tingdi Zhao

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

2013

Formal Modeling of Robot Behavior with Learning.

Ryan F. Kirwan, Alice Miller, Bernd Porr, Paolo di Prodi

Neural Comput., 2013

Breaking Symmetries in Graph Representation.

Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey

Proceedings of the IJCAI 2013, 2013

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

Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao

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

2012

Diamond-free Degree Sequences

Alice Miller, Patrick Prosser

CoRR, 2012

2010

Verification of Symmetry Detection using PVS.

Shamim Ripon, Alice Miller

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

An Introduction to Pervasive Interface Automata.

Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth

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

2009

Towards the Verification of Pervasive Systems.

Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin

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

On the constructive orbit problem.

Alastair F. Donaldson, Alice Miller

Ann. Math. Artif. Intell., 2009

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

Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek

Proceedings of the Model Checking Software, 2009

Language-Level Symmetry Reduction for Probabilistic Model Checking.

Alastair F. Donaldson, Alice Miller, David Parker

Proceedings of the QEST 2009, 2009

2008

An automatic abstraction technique for verifying featured, parameterised systems.

Muffy Calder, Alice Miller

Theor. Comput. Sci., 2008

Automatic Symmetry Detection for Promela.

Alastair F. Donaldson, Alice Miller

J. Autom. Reason., 2008

Preface.

Alice Miller, Muffy Calder

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

Prism2Promela.

Christopher Power, Alice Miller

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.

Douglas Graham, Muffy Calder, Alice Miller

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.

Alice Miller, Muffy Calder, Alastair F. Donaldson

Comput. Networks, 2007

GRIP: Generic Representatives in PRISM.

Alastair F. Donaldson, Alice Miller, David Parker

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.

Muffy Calder, Alice Miller

Formal Methods Syst. Des., 2006

Extending Symmetry Reduction Techniques to a Realistic Model of Computation.

Alastair F. Donaldson, Alice Miller

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

Symmetry in temporal logic model checking.

Alice Miller, Alastair F. Donaldson, Muffy Calder

ACM Comput. Surv., 2006

Model Checking Medium Access Control for Sensor Networks.

Paolo Ballarini, Alice Miller

Proceedings of the Leveraging Applications of Formal Methods, 2006

Exact and Approximate Strategies for Symmetry Reduction in Model Checking.

Alastair F. Donaldson, Alice Miller

Proceedings of the FM 2006: Formal Methods, 2006

Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.

Alastair F. Donaldson, Alice Miller

Proceedings of the Automated Technology for Verification and Analysis, 2006

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

Alastair F. Donaldson, Alice Miller

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Automatic Symmetry Detection for Model Checking Using Computational Group Theory.

Alastair F. Donaldson, Alice Miller

Proceedings of the FM 2005: Formal Methods, 2005

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

Alice Miller, Muffy Calder

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

2004

Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models.

Alastair F. Donaldson, Alice Miller, Muffy Calder

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

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

Alastair F. Donaldson, Alice Miller, Muffy Calder

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

Verifying parametrized, featured networks by abstraction.

Muffy Calder, Alice Miller

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.

Muffy Calder, Alice Miller

Formal Aspects Comput., 2003

Generalising Feature Interactions in Email.

Muffy Calder, Alice Miller

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

Detecting Feature Interactions: How Many Components Do We Need?

Muffy Calder, Alice Miller

Proceedings of the Objects, 2003

2002

Automatic Verification of any Number of Concurrent, Communicating Processes.

Muffy Calder, Alice Miller

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

2001

Using SPIN for Feature Interaction Analysis - A Case Study.

Muffy Calder, Alice Miller

Proceedings of the Model Checking Software, 2001