Alice Miller - RankMe

68 papers A* 2A 1B 4C 1Journal 34Unranked 24

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