Muffy Calder

Muffy Thomas

	2009
41		Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder: Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. Electr. Notes Theor. Comput. Sci. 229(1): 145-163 (2009)
40		Muffy Calder, Jane Hillston: Process Algebra Modelling Styles for Biomolecular Processes. T. Comp. Sys. Biology 11: 1-25 (2009)
	2008
39		Muffy Calder, Alice Miller: An automatic abstraction technique for verifying featured, parameterised systems. Theor. Comput. Sci. 404(3): 235-255 (2008)
38		Muffy Calder, Stephen Gilmore: Preface. Theor. Comput. Sci. 408(1): 3 (2008)
	2007
37		Muffy Calder, Stephen Gilmore: Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings Springer 2007
36		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)
	2006
35		Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston: Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB 2006: 63-77
34		Alice Miller, Alastair F. Donaldson, Muffy Calder: Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3): (2006)
33		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)
32		Muffy Calder, Stephen Gilmore, Jane Hillston: Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. T. Comp. Sys. Biology: 1-23 (2006)
31		Muffy Calder, Vladislav Vyshemirsky, David Gilbert, Richard J. Orton: Analysis of Signalling Pathways Using Continuous Time Markov Chains. T. Comp. Sys. Biology: 44-67 (2006)
	2005
30		Alice Miller, Muffy Calder: A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. FIW 2005: 217-235
29		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)
28		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
27		Muffy Calder: Abstraction for Safety, Induction for Liveness. AMAST 2004: 20
26		Peter Saffrey, Muffy Calder: Optimising Communication Structure for Model Checking. FASE 2004: 310-323
25		Muffy Calder, Alice Miller: Verifying parametrized, featured networks by abstraction. ISoLA (Preliminary proceedings) 2004: 227-234
	2003
24		Muffy Calder, Alice Miller: Generalising Feature Interactions in Email. FIW 2003: 187-204
23		Muffy Calder, Mario Kolberg, Evan H. Magill, Dave Marples, Stephan Reiff-Marganiec: Hybrid Solutions to the Feature Interaction Problem. FIW 2003: 295-312
22		Muffy Calder, Alice Miller: Detecting Feature Interactions: How Many Components Do We Need? Objects, Agents, and Features 2003: 45-66
21		Muffy Calder, Mario Kolberg, Evan H. Magill, Stephan Reiff-Marganiec: Feature interaction: a critical review and considered forecast. Computer Networks 41(1): 115-141 (2003)
20		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
19		Muffy Calder, Alice Miller: Automatic Verification of any Number of Concurrent, Communicating Processes. ASE 2002: 227-230
18		Muffy Calder, Savi Maharaj, Carron Shankland: A Modal Logic for Full LOTOS based on Symbolic Transition Systems. Comput. J. 45(1): 55-61 (2002)
	2001
17		Muffy Calder, Savi Maharaj, Carron Shankland: An Adequate Logic for Full LOTOS. FME 2001: 384-395
16		Muffy Calder, Carron Shankland: A Symbolic Semantics and Bisimulation for Full LOTOS. FORTE 2001: 185-200
15		Muffy Calder, Alice Miller: Using SPIN for Feature Interaction Analysis - A Case Study. SPIN 2001: 143-162
	2000
14		Muffy Calder, Evan H. Magill: Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK IOS Press 2000
	1999
13		Muffy Calder, Evan H. Magill, Dave Marples: Hybrid approach to software interworking problems: managing interactions between legacy and evolving telecommunications software. IEE Proceedings - Software 146(3): 167-176 (1999)
	1998
12		Muffy Calder: What Use are Formal Design and Analysis Methods to Telecommunications Services? FIW 1998: 23-31
11		J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas: Interactive Theorem Proving: An Empirical Study of User Activity. J. Symb. Comput. 25(2): 263-284 (1998)
	1997
10		Carron Shankland, Muffy Thomas: Symbolic Bisimulation for Full LOTOS. AMAST 1997: 479-493
9		Muffy Calder: Modelling and Analysing User Views of Telecommunications Services. FIW 1997: 168-182
	1993
8		Muffy Thomas, Phil Watson: Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. Theor. Comput. Sci. 112(1): 145-185 (1993)
	1992
7		Muffy Thomas: A translator for ASN.1 into LOTOS. FORTE 1992: 37-52
	1991
6		Muffy Thomas, Phil Watson: Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. AMAST 1991: 377-390
	1989
5		Muffy Thomas, Klaus P. Jantke: Inductive Inference for Solving Divergence in Knuth-Bendix Completion. AII 1989: 288-303
4		Muffy Thomas: From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. FORTE 1989: 517-531
	1988
3		Muffy Thomas: Towards a Termination Ordering for Loop Programs. ADT 1988
	1987
2		Muffy Thomas: Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language. TAPSOFT, Vol.2 1987: 197-211
	1986
1		Muffy Thomas: The Storage and Access Structure of Algebraically Specified Data Types. ADT 1986

Coauthor Index

1	J. Stuart Aitken	[11]
2	Federica Ciocchetta	[41]
3	Andrea Degasperi	[41]
4	Alastair F. Donaldson	[28] [29] [34] [36]
5	Adam Duguid	[35]
6	David Gilbert (David R. Gilbert)	[31]
7	Stephen Gilmore (Stephen T. Gilmore)	[32] [35] [37] [38]
8	Philip D. Gray	[11]
9	Jane Hillston	[32] [35] [40] [41]
10	Klaus P. Jantke	[5]
11	Mario Kolberg	[21] [23]
12	Evan H. Magill	[13] [14] [21] [23]
13	Savi Maharaj	[17] [18]
14	Dave Marples	[13] [23]
15	Thomas F. Melham	[11]
16	Alice Miller	[15] [19] [20] [22] [24] [25] [28] [29] [30] [33] [34] [36] [39]
17	Richard J. Orton	[31]
18	Stephan Reiff-Marganiec	[21] [23]
19	Peter Saffrey	[26]
20	Carron Shankland	[10] [16] [17] [18]
21	Vladislav Vyshemirsky	[31]
22	Phil Watson	[6] [8]

Colors in the list of coauthors