Muffy Calder

According to our database, Muffy Calder authored at least 85 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Quantitative modelling and analysis of BDI agents.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Softw. Syst. Model., April, 2024

2023

Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles.

Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison

CoRR, 2023

Quantitative Verification and Strategy Synthesis for BDI Agents.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Modelling and verifying BDI agents with bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Sci. Comput. Program., 2022

Probabilistic Bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani

Formal Aspects Comput., 2022

Verifying BDI Agents in Dynamic Environments.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Probablistic Bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani

CoRR, 2021

Probabilistic BDI Agents: Actions, Plans, and Intentions.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2020

Conditional Bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Stochastic Model Checking for Predicting Component Failures and Service Availability.

Muffy Calder, Michele Sevegnani

IEEE Trans. Dependable Secur. Comput., 2019

2018

Data-driven modelling and probabilistic analysis of interactive software usage.

Oana Andrei, Muffy Calder

J. Log. Algebraic Methods Program., 2018

Making Sense of the World: Models for Reliable Sensor-Driven Systems.

Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann

CoRR, 2018

Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems.

Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann

Comput., 2018

Modelling and Verification of Large-Scale Sensor Network Infrastructures.

Michele Sevegnani, Milan Kabác, Muffy Calder, Julie A. McCann

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

Temporal Analytics for Software Usage Models.

Oana Andrei, Muffy Calder

Proceedings of the Software Engineering and Formal Methods, 2017

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

Probabilistic Formal Analysis of App Usage to Inform Redesign.

Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

BigraphER: Rewriting and Analysis Engine for Bigraphs.

Michele Sevegnani, Muffy Calder

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Bigraphs with sharing.

Michele Sevegnani, Muffy Calder

Theor. Comput. Sci., 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

Enchantress of Abstraction, Bride of Science: must Ada Lovelace be a superheroine?

Muffy Calder, Valerie Barr, Suw Charman-Anderson, Murray Pittock

Proceedings of the Ada Lovelace Symposium 2015, 2015

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

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing.

Muffy Calder, Michele Sevegnani

Formal Aspects Comput., 2014

Probabilistic Model Checking of DTMC Models of User Activity Patterns.

Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow?

Muffy Calder, Michele Sevegnani

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2013

A process algebra framework for multi-scale modelling of biological systems.

Andrea Degasperi, Muffy Calder

Theor. Comput. Sci., 2013

2012

Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein.

Oana Andrei, Muffy Calder

Trans. Comp. Sys. Biology, 2012

Modular modelling of signalling pathways and their cross-talk.

Robin Donaldson, Muffy Calder

Theor. Comput. Sci., 2012

Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management.

Muffy Calder, Michele Sevegnani

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

Multi-scale modelling of biological systems in process algebra with multi-way synchronisation.

Andrea Degasperi, Muffy Calder

Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010

Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration.

Andrea Degasperi, Muffy Calder

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

Process Algebra with Hooks for Models of Pattern Formation.

Andrea Degasperi, Muffy Calder

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

A Model and Analysis of the AKAP Scaffold.

Oana Andrei, Muffy Calder

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

Modelling and Analysis of Biochemical Signalling Pathway Cross-talk

Robin Donaldson, Muffy Calder

Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

An Introduction to Pervasive Interface Automata.

Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Understanding signalling networks as collections of signal transduction pathways.

Robin Donaldson, Carolyn L. Talcott, Merrill Knapp, Muffy Calder

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

From species to pathway and tissue as process.

Muffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

Process Algebra Modelling Styles for Biomolecular Processes.

Muffy Calder, Jane Hillston

Trans. Comp. Sys. Biology, 2009

Tightly coupled verification of pervasive systems.

Muffy Calder, Philip D. Gray, Chris Unsworth

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Towards the Verification of Pervasive Systems.

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

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2008

An automatic abstraction technique for verifying featured, parameterised systems.

Muffy Calder, Alice Miller

Theor. Comput. Sci., 2008

Preface.

Muffy Calder, Stephen Gilmore

Theor. Comput. Sci., 2008

Preface.

Alice Miller, Muffy Calder

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA.

Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

2007

An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols.

Douglas Graham, Muffy Calder, Alice Miller

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

A template-based approach for the generation of abstractable and reducible models of featured networks.

Alice Miller, Muffy Calder, Alastair F. Donaldson

Comput. Networks, 2007

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

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

Feature interaction detection by pairwise analysis of LTL properties - A case study.

Muffy Calder, Alice Miller

Formal Methods Syst. Des., 2006

Symmetry in temporal logic model checking.

Alice Miller, Alastair F. Donaldson, Muffy Calder

ACM Comput. Surv., 2006

Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods.

Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005

A Generic Approach for the Automatic Verification of Featured, Parameterised Systems.

Alice Miller, Muffy Calder

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2004

Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models.

Alastair F. Donaldson, Alice Miller, Muffy Calder

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis.

Alastair F. Donaldson, Alice Miller, Muffy Calder

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Verifying parametrized, featured networks by abstraction.

Muffy Calder, Alice Miller

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Optimising Communication Structure for Model Checking.

Peter Saffrey, Muffy Calder

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Abstraction for Safety, Induction for Liveness.

Muffy Calder

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol.

Muffy Calder, Alice Miller

Formal Aspects Comput., 2003

Feature interaction: a critical review and considered forecast.

Muffy Calder, Mario Kolberg, Evan H. Magill, Stephan Reiff-Marganiec

Comput. Networks, 2003

Generalising Feature Interactions in Email.

Muffy Calder, Alice Miller

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Hybrid Solutions to the Feature Interaction Problem.

Muffy Calder, Mario Kolberg, Evan H. Magill, Dave Marples, Stephan Reiff-Marganiec

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Detecting Feature Interactions: How Many Components Do We Need?

Muffy Calder, Alice Miller

Proceedings of the Objects, 2003

2002

A Modal Logic for Full LOTOS based on Symbolic Transition Systems.

Muffy Calder, Savi Maharaj, Carron Shankland

Comput. J., 2002

Automatic Verification of any Number of Concurrent, Communicating Processes.

Muffy Calder, Alice Miller

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001

Using SPIN for Feature Interaction Analysis - A Case Study.

Muffy Calder, Alice Miller

Proceedings of the Model Checking Software, 2001

A Symbolic Semantics and Bisimulation for Full LOTOS.

Muffy Calder, Carron Shankland

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

An Adequate Logic for Full LOTOS.

Muffy Calder, Savi Maharaj, Carron Shankland

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

1999

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

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

What Use are Formal Design and Analysis Methods to Telecommunications Services?

Muffy Calder

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1997

Modelling and Analysing User Views of Telecommunications Services.

Muffy Calder

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Symbolic Bisimulation for Full LOTOS.

Carron Shankland, Muffy Thomas

Proceedings of the Algebraic Methodology and Software Technology, 1997

1995

Experiences with specification and verification in LOTOS: a report on two case studies.

Carron Kirkwood, Muffy Thomas

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

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

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

1994

Verification Techniques for LOTOS.

Ursula Martin, Muffy Thomas

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Solving Divergence in Knuth-Bendix Completion by Enriching Signatures.

Muffy Thomas, Phil Watson

Theor. Comput. Sci., 1993

1992

A translator for ASN.1 into LOTOS.

Muffy Thomas

Proceedings of the Formal Description Techniques, 1992

1990

Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts.

Muffy Thomas, Phil Watson

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

1989

From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1.

Muffy Thomas

Proceedings of the Formal Description Techniques, 1989

Inductive Inference for Solving Divergence in Knuth-Bendix Completion.

Muffy Thomas, Klaus P. Jantke

Proceedings of the Analogical and Inductive Inference, 1989

1988

The imperative implementation of algebraic data types.

Muffy Thomas

PhD thesis, 1988

Towards a Termination Ordering for Loop Programs.

Muffy Thomas

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language.

Muffy Thomas

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1986

The Storage and Access Structure of Algebraically Specified Data Types.

Muffy Thomas

Proceedings of the 4st Workshop on Abstract Data Type, 1986