Alice Miller

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 20

Top Topics

Transportation Systems

Quantitative Analysis

Symmetry Breaking

Top Venues

Qual. Reliab. Eng. Int.

Formal Aspects Comput.

Constraints An Int. J.

Publications

Giulia Lafratta, Bernd Porr, Christopher Chandler, Alice Miller
Homeostatic motion planning with innate physics knowledge. CoRR (2024)
Ethan Hunter, Jessica A. Enright, Alice Miller
Feasibility assessments of a dynamical approach to compartmental modelling on graphs: Scaling limits and performance analysis. Theor. Comput. Sci. 980 (2023)
Christopher Chandler, Bernd Porr, Alice Miller, Giulia Lafratta
Model Checking for Closed-Loop Robot Reactive Planning. CoRR (2023)
William Wallis, William Kavanagh, Alice Miller, Tim Storer
Designing a mobile game to generate player data - lessons learned. CoRR (2021)
William Kavanagh, Alice Miller
Gameplay Analysis of Multiplayer Games with Verified Action-Costs. Comput. Games J. 10 (1) (2021)
Alice Miller, Matthew Barr, William Kavanagh, Ivaylo Valkov, Helen C. Purchase
Breakout Group Allocation Schedules and the Social Golfer Problem with Adjacent Group Sizes. Symmetry 13 (1) (2021)
Daumantas Pagojus, Alice Miller, Bernd Porr, Ivaylo Valkov
Simulation and Model Checking for Close to Realtime Overtaking Planning. FMAS (2021)
William Kavanagh, Alice Miller, Gethin Norman, Oana Andrei
Balancing Turn-Based Games With Chained Strategy Generation. IEEE Trans. Games 13 (2) (2021)
Bernd Porr, Alice Miller, Alex Trew
An investigation into serotonergic and environmental interventions against depression in a simulated delayed reward paradigm. Adapt. Behav. 28 (4) (2020)
Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman
Collaborative models for autonomous systems controller synthesis. Formal Aspects Comput. 32 (2-3) (2020)
Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey
Constraints for symmetry breaking in graph representation. Constraints An Int. J. 24 (1) (2019)
Ruben Giaquinta, Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman
Strategy Synthesis for Autonomous Agents Using PRISM. NFM (2018)
Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao, Chris W. Johnson
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Qual. Reliab. Eng. Int. 32 (2) (2016)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
Risk Assessment of Railway Transportation Systems using Timed Fault Trees. Qual. Reliab. Eng. Int. 32 (1) (2016)
Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller
Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking. Constraints An Int. J. 21 (3) (2016)
Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. CoRR (2016)
Ryan F. Kirwan, Alice Miller, Bernd Porr
Model checking learning agent systems using Promela with embedded C code and abstraction. Formal Aspects Comput. 28 (6) (2016)
Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. CoRR (2016)
Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. SPIN (2016)
Zhaoguang Peng, Yu Lu, Alice Miller
Uncertainty analysis of phased mission systems with probabilistic timed automata. ICPHM (2016)
Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser
Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists. CP (2015)
Yu Lu, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris W. Johnson
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Reliab. Eng. Syst. Saf. 144 (2015)
Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller
Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking. CoRR (2015)
Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller
Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30. CoRR (2014)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
Formal modelling and quantitative analysis of satellite navigation systems. CoRR (2014)
Yu Lu, Alice Miller, Chris W. Johnson, Zhaoguang Peng, Tingdi Zhao
Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. CSE (2014)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. EMS (2013)
Ryan F. Kirwan, Alice Miller, Bernd Porr, Paolo di Prodi
Formal Modeling of Robot Behavior with Learning. Neural Comput. 25 (11) (2013)
Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey
Breaking Symmetries in Graph Representation. IJCAI (2013)
Alice Miller, Patrick Prosser
Diamond-free Degree Sequences CoRR (2012)
Shamim Ripon, Alice Miller
Verification of Symmetry Detection using PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth
An Introduction to Pervasive Interface Automata. FACS (2010)
Alice Miller, Muffy Calder
Preface. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Douglas Graham, Muffy Calder, Alice Miller
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Alastair F. Donaldson, Alice Miller
On the constructive orbit problem. Ann. Math. Artif. Intell. 57 (1) (2009)
Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek
Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. SPIN (2009)
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
Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Alastair F. Donaldson, Alice Miller, David Parker
Language-Level Symmetry Reduction for Probabilistic Model Checking. QEST (2009)
Christopher Power, Alice Miller
Prism2Promela. QEST (2008)
Muffy Calder, Alice Miller
An automatic abstraction technique for verifying featured, parameterised systems. Theor. Comput. Sci. 404 (3) (2008)
Alastair F. Donaldson, Alice Miller
Automatic Symmetry Detection for Promela. J. Autom. Reason. 41 (3-4) (2008)
Alastair F. Donaldson, Alice Miller, David Parker
GRIP: Generic Representatives in PRISM. QEST (2007)
Alastair F. Donaldson, Alice Miller
Extending Symmetry Reduction Techniques to a Realistic Model of Computation. Electron. Notes Theor. Comput. Sci. 185 (2007)
Alice Miller, Muffy Calder, Alastair F. Donaldson
A template-based approach for the generation of abstractable and reducible models of featured networks. Comput. Networks 51 (2) (2007)
Paolo Ballarini, Alice Miller
Model Checking Medium Access Control for Sensor Networks. ISoLA (2006)
Alastair F. Donaldson, Alice Miller
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. ATVA (2006)
Muffy Calder, Alice Miller
Feature interaction detection by pairwise analysis of LTL properties - A case study. Formal Methods Syst. Des. 28 (3) (2006)
Alastair F. Donaldson, Alice Miller
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. AMAST (2006)
Alice Miller, Alastair F. Donaldson, Muffy Calder
Symmetry in temporal logic model checking. ACM Comput. Surv. 38 (3) (2006)
Alastair F. Donaldson, Alice Miller
Exact and Approximate Strategies for Symmetry Reduction in Model Checking. FM (2006)
Alice Miller, Muffy Calder
A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. FIW (2005)
Alastair F. Donaldson, Alice Miller, Muffy Calder
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Alastair F. Donaldson, Alice Miller
Automatic Symmetry Detection for Model Checking Using Computational Group Theory. FM (2005)
Alastair F. Donaldson, Alice Miller, Muffy Calder
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. Electron. Notes Theor. Comput. Sci. 139 (1) (2005)
Muffy Calder, Alice Miller
Verifying parametrized, featured networks by abstraction. ISoLA (Preliminary proceedings) (2004)
Muffy Calder, Alice Miller
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. Formal Aspects Comput. 14 (3) (2003)
Muffy Calder, Alice Miller
Generalising Feature Interactions in Email. FIW (2003)
Muffy Calder, Alice Miller
Detecting Feature Interactions: How Many Components Do We Need? Objects, Agents, and Features (2003)
Muffy Calder, Alice Miller
Automatic Verification of any Number of Concurrent, Communicating Processes. ASE (2002)
Muffy Calder, Alice Miller
Using SPIN for Feature Interaction Analysis - A Case Study. SPIN (2001)