default search action
Alice Miller 0001
Person information
- affiliation: University of Glasgow, United Kingdom
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c33]Ivaylo Valkov
, Alastair F. Donaldson
Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking. SPIN 2024: 49-66 - [i8]Giulia Lafratta, Bernd Porr, Christopher Chandler, Alice Miller:
Homeostatic motion planning with innate physics knowledge. CoRR abs/2402.15384 (2024) - 2023
- [j23]Ethan Hunter
Feasibility assessments of a dynamical approach to compartmental modelling on graphs: Scaling limits and performance analysis. Theor. Comput. Sci. 980: 114247 (2023) - [c32]Christopher Chandler, Bernd Porr, Alice Miller, Giulia Lafratta:
Model Checking for Closed-Loop Robot Reactive Planning. FMAS@iFM 2023: 77-94 - 2022
- [c31]Helen C. Purchase
Mix-and-Match MCQs: Four for the Price of One. ITiCSE (2) 2022: 593-594 - 2021
- [j22]Mojisola Grace Asogbon, Yu Lu
GBRAMP: A generalized backtracking regularized adaptive matching pursuit algorithm for signal reconstruction. Comput. Electr. Eng. 92: 107189 (2021) - [j21]William Kavanagh
Gameplay Analysis of Multiplayer Games with Verified Action-Costs. Comput. Games J. 10(1): 89-110 (2021) - [j20]Alice Miller
Breakout Group Allocation Schedules and the Social Golfer Problem with Adjacent Group Sizes. Symmetry 13(1): 13 (2021) - [j19]William Kavanagh
Balancing Turn-Based Games With Chained Strategy Generation. IEEE Trans. Games 13(2): 113-122 (2021) - [c30]Daumantas Pagojus, Alice Miller, Bernd Porr, Ivaylo Valkov:
Simulation and Model Checking for Close to Realtime Overtaking Planning. FMAS 2021: 20-37 - [i7]William Wallis, William Kavanagh, Alice Miller, Tim Storer:
Designing a mobile game to generate player data - lessons learned. CoRR abs/2101.07144 (2021) - 2020
- [j18]Bernd Porr
An investigation into serotonergic and environmental interventions against depression in a simulated delayed reward paradigm. Adapt. Behav. 28(4) (2020) - [j17]Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann
Collaborative models for autonomous systems controller synthesis. Formal Aspects Comput. 32(2-3): 157-186 (2020)
2010 – 2019
- 2019
- [j16]Michael Codish, Alice Miller
Constraints for symmetry breaking in graph representation. Constraints An Int. J. 24(1): 1-24 (2019) - 2018
- [c29]Ruben Giaquinta, Ruth Hoffmann
Strategy Synthesis for Autonomous Agents Using PRISM. NFM 2018: 220-236 - 2017
- [e2]Timo Kehrer, Alice Miller:
Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 263, 2017 [contents] - 2016
- [j15]Michael Codish
Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking. Constraints An Int. J. 21(3): 375-393 (2016) - [j14]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): 1027-1056 (2016) - [j13]Zhaoguang Peng, Yu Lu
Risk Assessment of Railway Transportation Systems using Timed Fault Trees. Qual. Reliab. Eng. Int. 32(1): 181-194 (2016) - [j12]Zhaoguang Peng, Yu Lu
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Qual. Reliab. Eng. Int. 32(2): 345-361 (2016) - [c28]Yu Lu
Towards the Automated Verification of Weibull Distributions for System Failure Rates. FMICS-AVoCS 2016: 81-96 - [c27]Zhaoguang Peng, Yu Lu
Uncertainty analysis of phased mission systems with probabilistic timed automata. ICPHM 2016: 1-8 - [c26]Ruth Hoffmann
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. SPIN 2016: 104-110 - [i6]Ruth Hoffmann
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. CoRR abs/1602.00646 (2016) - [i5]Murray L. Ireland, Ruth Hoffmann
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. CoRR abs/1609.00177 (2016) - 2015
- [j11]Yu Lu
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Reliab. Eng. Syst. Saf. 144: 95-116 (2015) - [c25]Craig Macdonald, Ciaran McCreesh, Alice Miller
Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists. CP 2015: 671-686 - [i4]Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller:
Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking. CoRR abs/1510.08266 (2015) - 2014
- [c24]Yu Lu
Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. CSE 2014: 704-713 - [i3]Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao:
Formal modelling and quantitative analysis of satellite navigation systems. CoRR abs/1402.5599 (2014) - [i2]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 abs/1409.5189 (2014) - 2013
- [j10]Ryan F. Kirwan, Alice Miller
Formal Modeling of Robot Behavior with Learning. Neural Comput. 25(11): 2976-3019 (2013) - [c23]Zhaoguang Peng
A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. EMS 2013: 611-616 - [c22]Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey:
Breaking Symmetries in Graph Representation. IJCAI 2013: 510-516 - 2012
- [i1]Alice Miller, Patrick Prosser:
Diamond-free Degree Sequences. CoRR abs/1208.0460 (2012) - 2010
- [j9]Shamim Ripon, Alice Miller:
Verification of Symmetry Detection using PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010) - [c21]Muffy Calder
An Introduction to Pervasive Interface Automata. FACS 2010: 71-87
2000 – 2009
- 2009
- [j8]Alastair F. Donaldson, Alice Miller
On the constructive orbit problem. Ann. Math. Artif. Intell. 57(1): 1-35 (2009) - [j7]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) - [c20]Alastair F. Donaldson, Alice Miller
Language-Level Symmetry Reduction for Probabilistic Model Checking. QEST 2009: 289-298 - [c19]Oliver Sharma, Jonathan Lewis, Alice Miller
Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. SPIN 2009: 223-240 - [e1]Alice Miller, Muffy Calder:
Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008. Electronic Notes in Theoretical Computer Science 250(2), Elsevier 2009 [contents] - 2008
- [j6]Alastair F. Donaldson, Alice Miller
Automatic Symmetry Detection for Promela. J. Autom. Reason. 41(3-4): 251-293 (2008) - [j5]Muffy Calder
An automatic abstraction technique for verifying featured, parameterised systems. Theor. Comput. Sci. 404(3): 235-255 (2008) - [c18]Christopher Power, Alice Miller
Prism2Promela. QEST 2008: 79-80 - [c17]Alice Miller
Preface. AVoCS 2008: 1-2 - 2007
- [j4]Alice Miller, Muffy Calder
A template-based approach for the generation of abstractable and reducible models of featured networks. Comput. Networks 51(2): 439-455 (2007) - [c16]Alastair F. Donaldson, Alice Miller
GRIP: Generic Representatives in PRISM. QEST 2007: 115-116 - [c15]Douglas Graham, Muffy Calder
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. AVoCS 2007: 87-103 - 2006
- [j3]Alice Miller
Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3): 8 (2006) - [j2]Muffy Calder
Feature interaction detection by pairwise analysis of LTL properties - A case study. Formal Methods Syst. Des. 28(3): 213-261 (2006) - [c14]Alastair F. Donaldson, Alice Miller
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. AMAST 2006: 374-380 - [c13]Alastair F. Donaldson, Alice Miller
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. ATVA 2006: 9-23 - [c12]Alastair F. Donaldson, Alice Miller
Exact and Approximate Strategies for Symmetry Reduction in Model Checking. FM 2006: 541-556 - [c11]Paolo Ballarini, Alice Miller
Model Checking Medium Access Control for Sensor Networks. ISoLA 2006: 255-262 - [c10]Alastair F. Donaldson, Alice Miller
Extending Symmetry Reduction Techniques to a Realistic Model of Computation. AVoCS 2006: 63-76 - 2005
- [c9]Alice Miller, Muffy Calder:
A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. FIW 2005: 217-235 - [c8]Alastair F. Donaldson, Alice Miller:
Automatic Symmetry Detection for Model Checking Using Computational Group Theory. FM 2005: 481-496 - 2004
- [c7]Muffy Calder, Alice Miller:
Verifying parametrized, featured networks by abstraction. ISoLA (Preliminary proceedings) 2004: 227-234 - [c6]Alastair F. Donaldson, Alice Miller
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. ARTS 2004: 3-23 - [c5]Alastair F. Donaldson, Alice Miller
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. AVoCS 2004: 161-177 - 2003
- [j1]Muffy Calder
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. Formal Aspects Comput. 14(3): 247-266 (2003) - [c4]Muffy Calder, Alice Miller
Detecting Feature Interactions: How Many Components Do We Need? Objects, Agents, and Features 2003: 45-66 - [c3]Muffy Calder, Alice Miller:
Generalising Feature Interactions in Email. FIW 2003: 187-204 - 2002
- [c2]Muffy Calder, Alice Miller:
Automatic Verification of any Number of Concurrent, Communicating Processes. ASE 2002: 227-230 - 2001
- [c1]Muffy Calder, Alice Miller
Using SPIN for Feature Interaction Analysis - A Case Study. SPIN 2001: 143-162
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: