Muffy Calder - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

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]

Tightly coupled verification of pervasive systemsMuffy Calder, Philip D. Gray, Chris Unsworth. eceasst, 22, 2009. [doi]

Process Algebra Modelling Styles for Biomolecular ProcessesMuffy Calder, Jane Hillston. TCSB, 11:1-25, 2009. [doi]

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPAFederica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder. ENTCS, 229(1):145-163, 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]

2008

PrefaceMuffy Calder, Stephen Gilmore. TCS, 408(1):3, 2008. [doi]

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

2007

Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, ProceedingsMuffy Calder, Stephen Gilmore, editors, Volume 4695 of Lecture Notes in Computer Science, Springer, 2007.

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

Spin-to-Grape: A Tool for Analysing Symmetry in Promela ModelsAlastair F. Donaldson, Alice Miller, Muffy Calder. ENTCS, 139(1):3-23, 2005. [doi]

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram AnalysisAlastair F. Donaldson, Alice Miller, Muffy Calder. ENTCS, 128(6):161-177, 2005. [doi]

A Generic Approach for the Automatic Verification of Featured, Parameterised SystemsAlice Miller, Muffy Calder. fiw 2005: 217-235

2004

Abstraction for Safety, Induction for LivenessMuffy Calder. amast 2004: 20 [doi]

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

Optimising Communication Structure for Model CheckingPeter Saffrey, Muffy Calder. FASE 2004: 310-323 [doi]

2003

2002

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

A Modal Logic for Full LOTOS based on Symbolic Transition SystemsMuffy Calder, Savi Maharaj, Carron Shankland. cj, 45(1):55-61, 2002. [doi]

2001

An Adequate Logic for Full LOTOSMuffy Calder, Savi Maharaj, Carron Shankland. fm 2001: 384-395 [doi]

A Symbolic Semantics and Bisimulation for Full LOTOSMuffy Calder, Carron Shankland. forte 2001: 185-200

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

2000

Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UKMuffy Calder, Evan H. Magill, editors, IOS Press, 2000.

1999

Hybrid approach to software interworking problems: managing interactions between legacy and evolving telecommunications softwareMuffy Calder, Evan H. Magill, Dave Marples. iee, 146(3):167-176, 1999.

1998

What Use are Formal Design and Analysis Methods to Telecommunications Services?Muffy Calder. fiw 1998: 23-31

1997

Modelling and Analysing User Views of Telecommunications ServicesMuffy Calder. fiw 1997: 168-182