Muffy Calder

Muffy Thomas

2007
36		Muffy Calder, Stephen Gilmore: Computational Methods in Systems Biology, International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings Springer 2007
35	EE	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
34	EE	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
33	EE	Alice Miller, Alastair F. Donaldson, Muffy Calder: Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3): (2006)
32	EE	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)
31	EE	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)
30	EE	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
29		Alice Miller, Muffy Calder: A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. FIW 2005: 217-235
28	EE	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)
27	EE	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
26	EE	Muffy Calder: Abstraction for Safety, Induction for Liveness. AMAST 2004: 20
25	EE	Peter Saffrey, Muffy Calder: Optimising Communication Structure for Model Checking. FASE 2004: 310-323
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	EE	Muffy Calder, Alice Miller: Detecting Feature Interactions: How Many Components Do We Need? Objects, Agents, and Features 2003: 45-66
21	EE	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	EE	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	EE	Muffy Calder, Alice Miller: Automatic Verification of any Number of Concurrent, Communicating Processes. ASE 2002: 227-230
18	EE	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	EE	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	EE	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	Alastair F. Donaldson	[27] [28] [33] [35]
3	Adam Duguid	[34]
4	David Gilbert (David R. Gilbert)	[30]
5	Stephen Gilmore (Stephen T. Gilmore)	[31] [34] [36]
6	Philip D. Gray	[11]
7	Jane Hillston	[31] [34]
8	Klaus P. Jantke	[5]
9	Mario Kolberg	[21] [23]
10	Evan H. Magill	[13] [14] [21] [23]
11	Savi Maharaj	[17] [18]
12	Dave Marples	[13] [23]
13	Thomas F. Melham	[11]
14	Alice Miller	[15] [19] [20] [22] [24] [27] [28] [29] [32] [33] [35]
15	Richard J. Orton	[30]
16	Stephan Reiff-Marganiec	[21] [23]
17	Peter Saffrey	[25]
18	Carron Shankland	[10] [16] [17] [18]
19	Vladislav Vyshemirsky	[30]
20	Phil Watson	[6] [8]

Colors in the list of coauthors