| 2009 |
|---|
| 40 | EE | 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) |
| 2008 |
|---|
| 39 | EE | Muffy Calder,
Alice Miller:
An automatic abstraction technique for verifying featured, parameterised systems.
Theor. Comput. Sci. 404(3): 235-255 (2008) |
| 38 | EE | 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 | 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 |
|---|
| 35 | 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 |
| 34 | EE | Alice Miller,
Alastair F. Donaldson,
Muffy Calder:
Symmetry in temporal logic model checking.
ACM Comput. Surv. 38(3): (2006) |
| 33 | 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) |
| 32 | 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) |
| 31 | 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 |
|---|
| 30 | | Alice Miller,
Muffy Calder:
A Generic Approach for the Automatic Verification of Featured, Parameterised Systems.
FIW 2005: 217-235 |
| 29 | 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) |
| 28 | 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 |
|---|
| 27 | EE | Muffy Calder:
Abstraction for Safety, Induction for Liveness.
AMAST 2004: 20 |
| 26 | EE | 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 | 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 |
