The Storage and Access Structure of Algebraically Specified Data Types. - Muffy Thomas (ADT, 1986)

Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language. - Muffy Thomas (TAPSOFT, Vol.2, 1987)

Towards a Termination Ordering for Loop Programs. - Muffy Thomas (ADT, 1988)

The imperative implementation of algebraic data types. - Muffy Thomas (1988)

Inductive Inference for Solving Divergence in Knuth-Bendix Completion. - Muffy Thomas; Klaus P. Jantke (AII, 1989)

From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. - Muffy Thomas (FORTE, 1989)

Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts. - Muffy Thomas; Phil Watson (Functional Programming, 1990)

A translator for ASN.1 into LOTOS. - Muffy Thomas (FORTE, 1992)

Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. - Muffy Thomas; Phil Watson (Theor. Comput. Sci., 1993)

Verification Techniques for LOTOS. - Ursula Martin; Muffy Thomas (FME, 1994)

Experiences in applying formal methods to the analysis of software and system requirements. - David Hamilton; Richard Covington; John Kelly; Carron Kirkwood; Muffy Thomas; Alan R. Flora-Holmquist; Mark G. Staskauskas; Steven P. Miller; Mandayam K. Srivas; George Cleland; Donald MacKenzie (WIFT, 1995)

Experiences with specification and verification in LOTOS: a report on two case studies. - Carron Kirkwood; Muffy Thomas (WIFT, 1995)

Symbolic Bisimulation for Full LOTOS. - Carron Shankland; Muffy Thomas (AMAST, 1997)

Modelling and Analysing User Views of Telecommunications Services. - Muffy Calder (FIW, 1997)

What Use are Formal Design and Analysis Methods to Telecommunications Services? - Muffy Calder (FIW, 1998)

Interactive Theorem Proving: An Empirical Study of User Activity. - J. Stuart Aitken; Philip D. Gray; Thomas F. Melham; Muffy Thomas (J. Symb. Comput., 1998)

Hybrid approach to software interworking problems: managing interactions between legacy and evolving telecommunications software. - Muffy Calder; Evan H. Magill; Dave Marples (IEE Proc. Softw., 1999)

An Adequate Logic for Full LOTOS. - Muffy Calder; Savi Maharaj; Carron Shankland (FME, 2001)

A Symbolic Semantics and Bisimulation for Full LOTOS. - Muffy Calder; Carron Shankland (FORTE, 2001)

Using SPIN for Feature Interaction Analysis - A Case Study. - Muffy Calder; Alice Miller 001 (SPIN, 2001)

Automatic Verification of any Number of Concurrent, Communicating Processes. - Muffy Calder; Alice Miller 001 (ASE, 2002)

A Modal Logic for Full LOTOS based on Symbolic Transition Systems. - Muffy Calder; Savi Maharaj; Carron Shankland (Comput. J., 2002)

Detecting Feature Interactions: How Many Components Do We Need? - Muffy Calder; Alice Miller 001 (Objects, Agents, and Features, 2003)

Hybrid Solutions to the Feature Interaction Problem. - Muffy Calder; Mario Kolberg; Evan H. Magill; Dave Marples; Stephan Reiff-Marganiec (FIW, 2003)

Generalising Feature Interactions in Email. - Muffy Calder; Alice Miller 001 (FIW, 2003)

Feature interaction: a critical review and considered forecast. - Muffy Calder; Mario Kolberg; Evan H. Magill; Stephan Reiff-Marganiec (Comput. Networks, 2003)

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. - Muffy Calder; Alice Miller 001 (Formal Aspects Comput., 2003)

Abstraction for Safety, Induction for Liveness. - Muffy Calder (AMAST, 2004)

Optimising Communication Structure for Model Checking. - Peter Saffrey; Muffy Calder (FASE, 2004)

Verifying parametrized, featured networks by abstraction. - Muffy Calder; Alice Miller 001 (ISoLA (Preliminary proceedings), 2004)

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. - Alastair F. Donaldson; Alice Miller 001; Muffy Calder (AVoCS, 2004)

Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. - Alastair F. Donaldson; Alice Miller 001; Muffy Calder (ARTS, 2004)

A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. - Alice Miller 001; Muffy Calder (FIW, 2005)

Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. - Muffy Calder; Adam Duguid; Stephen Gilmore; Jane Hillston (CMSB, 2006)

Symmetry in temporal logic model checking. - Alice Miller 001; Alastair F. Donaldson; Muffy Calder (ACM Comput. Surv., 2006)

Feature interaction detection by pairwise analysis of LTL properties - A case study. - Muffy Calder; Alice Miller 001 (Formal Methods Syst. Des., 2006)

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. - Muffy Calder; Stephen Gilmore; Jane Hillston (Trans. Comp. Sys. Biology, 2006)

Analysis of Signalling Pathways Using Continuous Time Markov Chains. - Muffy Calder; Vladislav Vyshemirsky; David R. Gilbert; Richard J. Orton (Trans. Comp. Sys. Biology, 2006)

A template-based approach for the generation of abstractable and reducible models of featured networks. - Alice Miller 001; Muffy Calder; Alastair F. Donaldson (Comput. Networks, 2007)

An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. - Douglas Graham; Muffy Calder; Alice Miller 001 (AVoCS, 2007)

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. - Federica Ciocchetta; Andrea Degasperi; Jane Hillston; Muffy Calder (FBTC@ICALP, 2008)

Preface. - Alice Miller 001; Muffy Calder (AVoCS, 2008)

Preface. - Muffy Calder; Stephen Gilmore (Theor. Comput. Sci., 2008)

An automatic abstraction technique for verifying featured, parameterised systems. - Muffy Calder; Alice Miller 001 (Theor. Comput. Sci., 2008)

Towards the Verification of Pervasive Systems. - Myrto Arapinis; Muffy Calder; Louise A. Dennis; Michael Fisher 001; Philip D. Gray; Savas Konur; Alice Miller 001; Eike Ritter; Mark Ryan 001; Sven Schewe; Chris Unsworth; Rehana Yasmin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Tightly coupled verification of pervasive systems. - Muffy Calder; Philip D. Gray; Chris Unsworth (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Process Algebra Modelling Styles for Biomolecular Processes. - Muffy Calder; Jane Hillston (Trans. Comp. Sys. Biology, 2009)

From species to pathway and tissue as process. - Muffy Calder; Oana Andrei; Andrea Degasperi; Robin Donaldson (CMSB, 2010)

Understanding signalling networks as collections of signal transduction pathways. - Robin Donaldson; Carolyn L. Talcott; Merrill Knapp; Muffy Calder (CMSB, 2010)

An Introduction to Pervasive Interface Automata. - Muffy Calder; Philip D. Gray; Alice Miller 001; Chris Unsworth (FACS, 2010)

Modelling and Analysis of Biochemical Signalling Pathway Cross-talk - Robin Donaldson; Muffy Calder (FBTC, 2010)

A Model and Analysis of the AKAP Scaffold. - Oana Andrei; Muffy Calder (CS2Bio, 2010)

Process Algebra with Hooks for Models of Pattern Formation. - Andrea Degasperi; Muffy Calder (CS2Bio, 2010)

Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. - Andrea Degasperi; Muffy Calder (CS2Bio, 2010)

Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. - Andrea Degasperi; Muffy Calder (CMSB, 2011)

Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. - Muffy Calder; Michele Sevegnani (IFM, 2012)

Modular modelling of signalling pathways and their cross-talk. - Robin Donaldson; Muffy Calder (Theor. Comput. Sci., 2012)

Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein. - Oana Andrei; Muffy Calder (Trans. Comp. Sys. Biology, 2012)

A process algebra framework for multi-scale modelling of biological systems. - Andrea Degasperi; Muffy Calder (Theor. Comput. Sci., 2013)

Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow? - Muffy Calder; Michele Sevegnani (EDCC, 2014)

Probabilistic Model Checking of DTMC Models of User Activity Patterns. - Oana Andrei; Muffy Calder; Matthew Higgs; Mark A. Girolami (QEST, 2014)

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. - Muffy Calder; Michele Sevegnani (Formal Aspects Comput., 2014)

Real-time verification of wireless home networks using bigraphs with sharing. - Muffy Calder; Alexandros Koliousis; Michele Sevegnani; Joseph S. Sventek (Sci. Comput. Program., 2014)

Enchantress of Abstraction, Bride of Science: must Ada Lovelace be a superheroine? - Muffy Calder; Valerie Barr; Suw Charman-Anderson; Murray Pittock (Ada Lovelace Symposium, 2015)

Is my configuration any good: checking usability in an interactive sensor-based activity monitor. - Muffy Calder; Philip D. Gray; Chris Unsworth (Innov. Syst. Softw. Eng., 2015)

Bigraphs with sharing. - Michele Sevegnani; Muffy Calder (Theor. Comput. Sci., 2015)

BigraphER: Rewriting and Analysis Engine for Bigraphs. - Michele Sevegnani; Muffy Calder (CAV (2), 2016)

Probabilistic Formal Analysis of App Usage to Inform Redesign. - Oana Andrei; Muffy Calder; Matthew Chalmers; Alistair Morrison; Mattias Rost (IFM, 2016)

On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces. - Steve Benford; Muffy Calder; Tom Rodden; Michele Sevegnani (ACM Trans. Comput. Hum. Interact., 2016)

Temporal Analytics for Software Usage Models. - Oana Andrei; Muffy Calder (SEFM Workshops, 2017)

Modelling and Verification of Large-Scale Sensor Network Infrastructures. - Michele Sevegnani; Milan Kabác; Muffy Calder; Julie A. McCann (ICECCS, 2018)

Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. - Muffy Calder; Simon Dobson; Michael Fisher 001; Julie A. McCann (Comput., 2018)

Making Sense of the World: Models for Reliable Sensor-Driven Systems. - Muffy Calder; Simon Dobson; Michael Fisher 001; Julie A. McCann (CoRR, 2018)

Data-driven modelling and probabilistic analysis of interactive software usage. - Oana Andrei; Muffy Calder (J. Log. Algebraic Methods Program., 2018)

Stochastic Model Checking for Predicting Component Failures and Service Availability. - Muffy Calder; Michele Sevegnani (IEEE Trans. Dependable Secur. Comput., 2019)

Conditional Bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani (ICGT, 2020)

Probabilistic BDI Agents: Actions, Plans, and Intentions. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (SEFM, 2021)

Probablistic Bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani (CoRR, 2021)

Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (FMAS, 2021)

Verifying BDI Agents in Dynamic Environments. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (SEKE, 2022)

Probabilistic Bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani (Formal Aspects Comput., 2022)

Modelling and verifying BDI agents with bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (Sci. Comput. Program., 2022)

Quantitative Verification and Strategy Synthesis for BDI Agents. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (NFM, 2023)

Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles. - Oana Andrei; Muffy Calder; Matthew Chalmers; Alistair Morrison (CoRR, 2023)

Practical Modelling with Bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani (CoRR, 2024)

Quantitative modelling and analysis of BDI agents. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (Softw. Syst. Model., 2024)