Alice Miller

	2009
25		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: 223-240
24		Douglas Graham, Muffy Calder, Alice Miller: An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. Electr. Notes Theor. Comput. Sci. 250(1): 87-103 (2009)
23		Alice Miller, Muffy Calder: Preface. Electr. Notes Theor. Comput. Sci. 250(2): 1-2 (2009)
	2008
22		Christopher Power, Alice Miller: Prism2Promela. QEST 2008: 79-80
21		Alastair F. Donaldson, Alice Miller: Automatic Symmetry Detection for Promela. J. Autom. Reasoning 41(3-4): 251-293 (2008)
20		Muffy Calder, Alice Miller: An automatic abstraction technique for verifying featured, parameterised systems. Theor. Comput. Sci. 404(3): 235-255 (2008)
	2007
19		Alastair F. Donaldson, Alice Miller, David Parker: GRIP: Generic Representatives in PRISM. QEST 2007: 115-116
18		Alice Miller, Muffy Calder, Alastair F. Donaldson: A template-based approach for the generation of abstractable and reducible models of featured networks. Computer Networks 51(2): 439-455 (2007)
17		Alastair F. Donaldson, Alice Miller: Extending Symmetry Reduction Techniques to a Realistic Model of Computation. Electr. Notes Theor. Comput. Sci. 185: 63-76 (2007)
	2006
16		Alastair F. Donaldson, Alice Miller: A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. AMAST 2006: 374-380
15		Alastair F. Donaldson, Alice Miller: Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. ATVA 2006: 9-23
14		Alastair F. Donaldson, Alice Miller: Exact and Approximate Strategies for Symmetry Reduction in Model Checking. FM 2006: 541-556
13		Paolo Ballarini, Alice Miller: Model Checking Medium Access Control for Sensor Networks. ISoLA 2006: 255-262
12		Alice Miller, Alastair F. Donaldson, Muffy Calder: Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3): (2006)
11		Muffy Calder, Alice Miller: Feature interaction detection by pairwise analysis of LTL properties - A case study. Formal Methods in System Design 28(3): 213-261 (2006)
	2005
10		Alice Miller, Muffy Calder: A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. FIW 2005: 217-235
9		Alastair F. Donaldson, Alice Miller: Automatic Symmetry Detection for Model Checking Using Computational Group Theory. FM 2005: 481-496
8		Alastair F. Donaldson, Alice Miller, Muffy Calder: Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. Electr. Notes Theor. Comput. Sci. 128(6): 161-177 (2005)
7		Alastair F. Donaldson, Alice Miller, Muffy Calder: Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. Electr. Notes Theor. Comput. Sci. 139(1): 3-23 (2005)
	2004
6		Muffy Calder, Alice Miller: Verifying parametrized, featured networks by abstraction. ISoLA (Preliminary proceedings) 2004: 227-234
	2003
5		Muffy Calder, Alice Miller: Generalising Feature Interactions in Email. FIW 2003: 187-204
4		Muffy Calder, Alice Miller: Detecting Feature Interactions: How Many Components Do We Need? Objects, Agents, and Features 2003: 45-66
3		Muffy Calder, Alice Miller: Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. Formal Asp. Comput. 14(3): 247-266 (2003)
	2002
2		Muffy Calder, Alice Miller: Automatic Verification of any Number of Concurrent, Communicating Processes. ASE 2002: 227-230
	2001
1		Muffy Calder, Alice Miller: Using SPIN for Feature Interaction Analysis - A Case Study. SPIN 2001: 143-162

Coauthor Index

1	Dharini Balasubramaniam	[25]
2	Paolo Ballarini	[13]
3	Muffy Calder (Muffy Thomas)	[1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [12] [18] [20] [23] [24]
4	Alan Dearle	[25]
5	Alastair F. Donaldson	[7] [8] [9] [12] [14] [15] [16] [17] [18] [19] [21]
6	Douglas Graham	[24]
7	Jonathan Lewis	[25]
8	Ronald Morrison	[25]
9	David Parker	[19]
10	Christopher Power	[22]
11	Oliver Sharma	[25]
12	Joseph S. Sventek (Joe Sventek)	[25]

Colors in the list of coauthors