Alice Miller - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 44 from 44

2019

Constraints for symmetry breaking in graph representationMichael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey. constraints, 24(1):1-24, 2019. [doi]

2018

Strategy Synthesis for Autonomous Agents Using PRISMRuben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman. NFM 2018: 220-236 [doi]

2016

Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breakingMichael Codish, Michael Frank 0002, Avraham Itzhakov, Alice Miller. constraints, 21(3):375-393, 2016. [doi]

Autonomous Agent Behaviour Modelled in PRISM - A Case StudyRuth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor M. Veres. spin 2016: 104-110 [doi]

Model checking learning agent systems using Promela with embedded C code and abstractionRyan F. Kirwan, Alice Miller, Bernd Porr. fac, 28(6):1027-1056, 2016. [doi]

Uncertainty analysis of phased mission systems with probabilistic timed automataZhaoguang Peng, Yu Lu 0001, Alice Miller. icphm 2016: 1-8 [doi]

Formal Specification and Quantitative Analysis of a Constellation of Navigation SatellitesZhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao, Chris Johnson. qre, 32(2):345-361, 2016. [doi]

Risk Assessment of Railway Transportation Systems using Timed Fault TreesZhaoguang Peng, Yu Lu, Alice Miller, Chris Johnson, Tingdi Zhao. qre, 32(1):181-194, 2016. [doi]

2015

How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verificationYu Lu, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris Johnson. ress, 144:95-116, 2015. [doi]

Constructing Sailing Match Race Schedules: Round-Robin Pairing ListsCraig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser. cp 2015: 671-686 [doi]

2014

Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model CheckerYu Lu, Alice Miller, Chris Johnson, Zhaoguang Peng, Tingdi Zhao. cse 2014: 704-713 [doi]

2013

2010

An Introduction to Pervasive Interface AutomataMuffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth. facs2 2012: 71-87 [doi]

Verification of Symmetry Detection using PVSShamim Ripon, Alice Miller. eceasst, 35, 2010. [doi]

2009

Towards the Verification of Pervasive SystemsMyrto Arapinis, Muffy Calder, Louise Denis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin. eceasst, 22, 2009. [doi]

Language-Level Symmetry Reduction for Probabilistic Model CheckingAlastair F. Donaldson, Alice Miller, David Parker. qest 2009: 289-298 [doi]

On the constructive orbit problemAlastair F. Donaldson, Alice Miller. AMAI, 57(1):1-35, 2009. [doi]

An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised ProtocolsDouglas Graham, Muffy Calder, Alice Miller. ENTCS, 250(1):87-103, 2009. [doi]

PrefaceAlice Miller, Muffy Calder. ENTCS, 250(2):1-2, 2009. [doi]

Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and SpinOliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek. spin 2009: 223-240 [doi]

2008

An automatic abstraction technique for verifying featured, parameterised systemsMuffy Calder, Alice Miller. TCS, 404(3):235-255, 2008. [doi]

Automatic Symmetry Detection for PromelaAlastair F. Donaldson, Alice Miller. JAR, 41(3-4):251-293, 2008. [doi]

Prism2PromelaChristopher Power, Alice Miller. qest 2008: 79-80 [doi]

2007

GRIP: Generic Representatives in PRISMAlastair F. Donaldson, Alice Miller, David Parker. qest 2007: 115-116 [doi]

Extending Symmetry Reduction Techniques to a Realistic Model of ComputationAlastair F. Donaldson, Alice Miller. ENTCS, 185:63-76, 2007. [doi]

A template-based approach for the generation of abstractable and reducible models of featured networksAlice Miller, Muffy Calder, Alastair F. Donaldson. cn, 51(2):439-455, 2007. [doi]

2006

2005

2004

Verifying parametrized, featured networks by abstractionMuffy Calder, Alice Miller. ISoLA 2004: 227-234

2003

Generalising Feature Interactions in EmailMuffy Calder, Alice Miller. fiw 2003: 187-204

Detecting Feature Interactions: How Many Components Do We Need?Muffy Calder, Alice Miller. Dagstuhl 2004: 45-66 [doi]

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) ProtocolMuffy Calder, Alice Miller. fac, 14(3):247-266, 2003. [doi]

2002

Automatic Verification of any Number of Concurrent, Communicating ProcessesMuffy Calder, Alice Miller. ASE 2002: 227-230 [doi]

2001

Using SPIN for Feature Interaction Analysis - A Case StudyMuffy Calder, Alice Miller. spin 2001: 143-162 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Alice Miller'

Viewing Publication 1 - 44 from 44

2019

2018

2016

2015

2014

2013

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Alice Miller'

Viewing Publication 1 - 44 from 44

2019

2018

2016

2015

2014

2013

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1