Muffy Calder

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 21

Top Topics

Deterministic Finite Automaton

Mental Attitudes

Component Failures

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

J. Log. Algebraic Methods Program.

Publications

Blair Archibald, Muffy Calder, Michele Sevegnani
Practical Modelling with Bigraphs. CoRR (2024)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Quantitative modelling and analysis of BDI agents. Softw. Syst. Model. 23 (2) (2024)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Quantitative Verification and Strategy Synthesis for BDI Agents. NFM (2023)
Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison
Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles. CoRR (2023)
Blair Archibald, Muffy Calder, Michele Sevegnani
Probabilistic Bigraphs. Formal Aspects Comput. 34 (2) (2022)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Verifying BDI Agents in Dynamic Environments. SEKE (2022)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Modelling and verifying BDI agents with bigraphs. Sci. Comput. Program. 215 (2022)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. FMAS (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Modelling and Verifying BDI Agents with Bigraphs. CoRR (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Probabilistic BDI Agents: Actions, Plans, and Intentions. SEFM (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani
Probablistic Bigraphs. CoRR (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani
Conditional Bigraphs. ICGT (2020)
Muffy Calder, Michele Sevegnani
Stochastic Model Checking for Predicting Component Failures and Service Availability. IEEE Trans. Dependable Secur. Comput. 16 (1) (2019)
Michele Sevegnani, Milan Kabác, Muffy Calder, Julie A. McCann
Modelling and Verification of Large-Scale Sensor Network Infrastructures. ICECCS (2018)
Oana Andrei, Muffy Calder
Data-driven modelling and probabilistic analysis of interactive software usage. J. Log. Algebraic Methods Program. 100 (2018)
Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann
Making Sense of the World: Models for Reliable Sensor-Driven Systems. CoRR (2018)
Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann
Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. Comput. 7 (4) (2018)
Oana Andrei, Muffy Calder
Temporal Analytics for Software Usage Models. SEFM Workshops (2017)
Steve Benford, Muffy Calder, Tom Rodden, Michele Sevegnani
On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces. ACM Trans. Comput. Hum. Interact. 23 (2) (2016)
Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost
Probabilistic Formal Analysis of App Usage to Inform Redesign. IFM (2016)
Michele Sevegnani, Muffy Calder
BigraphER: Rewriting and Analysis Engine for Bigraphs. CAV (2) (2016)
Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost
Probabilistic Formal Analysis of App Usage to Inform Redesign. CoRR (2015)
Muffy Calder, Valerie Barr, Suw Charman-Anderson, Murray Pittock
Enchantress of Abstraction, Bride of Science: must Ada Lovelace be a superheroine? Ada Lovelace Symposium (2015)
Michele Sevegnani, Muffy Calder
Bigraphs with sharing. Theor. Comput. Sci. 577 (2015)
Muffy Calder, Philip D. Gray, Chris Unsworth
Is my configuration any good: checking usability in an interactive sensor-based activity monitor. Innov. Syst. Softw. Eng. 11 (2) (2015)
Muffy Calder, Michele Sevegnani
Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow? EDCC (2014)
Muffy Calder, Michele Sevegnani
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects Comput. 26 (3) (2014)
Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami
Probabilistic Model Checking of DTMC Models of User Activity Patterns. QEST (2014)
Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami
Probabilistic Model Checking of DTMC Models of User Activity Patterns. CoRR (2014)
Muffy Calder, Alexandros Koliousis, Michele Sevegnani, Joseph S. Sventek
Real-time verification of wireless home networks using bigraphs with sharing. Sci. Comput. Program. 80 (2014)
Andrea Degasperi, Muffy Calder
A process algebra framework for multi-scale modelling of biological systems. Theor. Comput. Sci. 488 (2013)
Muffy Calder, Michele Sevegnani
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. IFM (2012)
Oana Andrei, Muffy Calder
Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein. Trans. Comp. Sys. Biology 14 (2012)
Robin Donaldson, Muffy Calder
Modular modelling of signalling pathways and their cross-talk. Theor. Comput. Sci. 456 (2012)
Andrea Degasperi, Muffy Calder
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. CMSB (2011)
Robin Donaldson, Muffy Calder
Modelling and Analysis of Biochemical Signalling Pathway Cross-talk FBTC (2010)
Robin Donaldson, Carolyn L. Talcott, Merrill Knapp, Muffy Calder
Understanding signalling networks as collections of signal transduction pathways. CMSB (2010)
Andrea Degasperi, Muffy Calder
Process Algebra with Hooks for Models of Pattern Formation. Electron. Notes Theor. Comput. Sci. 268 (2010)
Muffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson
From species to pathway and tissue as process. CMSB (2010)
Andrea Degasperi, Muffy Calder
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. Electron. Notes Theor. Comput. Sci. 268 (2010)
Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth
An Introduction to Pervasive Interface Automata. FACS (2010)
Oana Andrei, Muffy Calder
A Model and Analysis of the AKAP Scaffold. Electron. Notes Theor. Comput. Sci. 268 (2010)
Alice Miller, Muffy Calder
Preface. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Douglas Graham, Muffy Calder, Alice Miller
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Muffy Calder, Philip D. Gray, Chris Unsworth
Tightly coupled verification of pervasive systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Muffy Calder, Jane Hillston
Process Algebra Modelling Styles for Biomolecular Processes. Trans. Comp. Sys. Biology 11 (2009)
Muffy Calder, Stephen Gilmore
Preface. Theor. Comput. Sci. 408 (1) (2008)
Muffy Calder, Alice Miller
An automatic abstraction technique for verifying featured, parameterised systems. Theor. Comput. Sci. 404 (3) (2008)
Alice Miller, Muffy Calder, Alastair F. Donaldson
A template-based approach for the generation of abstractable and reducible models of featured networks. Comput. Networks 51 (2) (2007)
Muffy Calder, Stephen Gilmore, Jane Hillston
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. Trans. Comp. Sys. Biology 7 (2006)
Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB (2006)
Muffy Calder, Alice Miller
Feature interaction detection by pairwise analysis of LTL properties - A case study. Formal Methods Syst. Des. 28 (3) (2006)
Alice Miller, Alastair F. Donaldson, Muffy Calder
Symmetry in temporal logic model checking. ACM Comput. Surv. 38 (3) (2006)
Muffy Calder, Vladislav Vyshemirsky, David R. Gilbert, Richard J. Orton
Analysis of Signalling Pathways Using Continuous Time Markov Chains. Trans. Comp. Sys. Biology 6 (2006)
Alice Miller, Muffy Calder
A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. FIW (2005)
Alastair F. Donaldson, Alice Miller, Muffy Calder
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Alastair F. Donaldson, Alice Miller, Muffy Calder
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. Electron. Notes Theor. Comput. Sci. 139 (1) (2005)
Muffy Calder
Abstraction for Safety, Induction for Liveness. AMAST (2004)
Muffy Calder, Alice Miller
Verifying parametrized, featured networks by abstraction. ISoLA (Preliminary proceedings) (2004)
Peter Saffrey, Muffy Calder
Optimising Communication Structure for Model Checking. FASE (2004)
Muffy Calder, Mario Kolberg, Evan H. Magill, Stephan Reiff-Marganiec
Feature interaction: a critical review and considered forecast. Comput. Networks 41 (1) (2003)
Muffy Calder, Alice Miller
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. Formal Aspects Comput. 14 (3) (2003)
Muffy Calder, Alice Miller
Generalising Feature Interactions in Email. FIW (2003)
Muffy Calder, Mario Kolberg, Evan H. Magill, Dave Marples, Stephan Reiff-Marganiec
Hybrid Solutions to the Feature Interaction Problem. FIW (2003)
Muffy Calder, Alice Miller
Detecting Feature Interactions: How Many Components Do We Need? Objects, Agents, and Features (2003)
Muffy Calder, Savi Maharaj, Carron Shankland
A Modal Logic for Full LOTOS based on Symbolic Transition Systems. Comput. J. 45 (1) (2002)
Muffy Calder, Alice Miller
Automatic Verification of any Number of Concurrent, Communicating Processes. ASE (2002)
Muffy Calder, Savi Maharaj, Carron Shankland
An Adequate Logic for Full LOTOS. FME (2001)
Muffy Calder, Carron Shankland
A Symbolic Semantics and Bisimulation for Full LOTOS. FORTE (2001)
Muffy Calder, Alice Miller
Using SPIN for Feature Interaction Analysis - A Case Study. SPIN (2001)
Muffy Calder, Evan H. Magill, Dave Marples
Hybrid approach to software interworking problems: managing interactions between legacy and evolving telecommunications software. IEE Proc. Softw. 146 (3) (1999)
Muffy Calder
What Use are Formal Design and Analysis Methods to Telecommunications Services? FIW (1998)
Muffy Calder
Modelling and Analysing User Views of Telecommunications Services. FIW (1997)