![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Muffy Calder
Person information
- affiliation: University of Glasgow, UK
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j30]Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
:
Quantitative modelling and analysis of BDI agents. Softw. Syst. Model. 23(2): 343-367 (2024) - [i7]Blair Archibald, Muffy Calder, Michele Sevegnani:
Practical Modelling with Bigraphs. CoRR abs/2405.20745 (2024) - 2023
- [c52]Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
:
Quantitative Verification and Strategy Synthesis for BDI Agents. NFM 2023: 241-259 - [i6]Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison:
Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles. CoRR abs/2305.01656 (2023) - 2022
- [j29]Blair Archibald
, Muffy Calder
, Michele Sevegnani
:
Probabilistic Bigraphs. Formal Aspects Comput. 34(2): 1-27 (2022) - [j28]Blair Archibald
, Muffy Calder, Michele Sevegnani, Mengwei Xu
:
Modelling and verifying BDI agents with bigraphs. Sci. Comput. Program. 215: 102760 (2022) - [c51]Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
:
Verifying BDI Agents in Dynamic Environments. SEKE 2022: 136-141 - 2021
- [c50]Blair Archibald, Muffy Calder, Michele Sevegnani
, Mengwei Xu
:
Probabilistic BDI Agents: Actions, Plans, and Intentions. SEFM 2021: 262-281 - [c49]Blair Archibald, Muffy Calder, Michele Sevegnani
, Mengwei Xu
:
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. FMAS 2021: 167-175 - [i5]Blair Archibald, Muffy Calder, Michele Sevegnani:
Probablistic Bigraphs. CoRR abs/2105.02559 (2021) - [i4]Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Modelling and Verifying BDI Agents with Bigraphs. CoRR abs/2105.02578 (2021) - 2020
- [c48]Blair Archibald
, Muffy Calder
, Michele Sevegnani
:
Conditional Bigraphs. ICGT 2020: 3-19
2010 – 2019
- 2019
- [j27]Muffy Calder
, Michele Sevegnani
:
Stochastic Model Checking for Predicting Component Failures and Service Availability. IEEE Trans. Dependable Secur. Comput. 16(1): 174-187 (2019) - 2018
- [j26]Muffy Calder
, Simon Dobson
, Michael Fisher
, Julie A. McCann:
Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. Comput. 7(4): 62 (2018) - [j25]Oana Andrei
, Muffy Calder
:
Data-driven modelling and probabilistic analysis of interactive software usage. J. Log. Algebraic Methods Program. 100: 195-214 (2018) - [c47]Michele Sevegnani
, Milan Kabác, Muffy Calder, Julie A. McCann:
Modelling and Verification of Large-Scale Sensor Network Infrastructures. ICECCS 2018: 71-81 - [i3]Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann:
Making Sense of the World: Models for Reliable Sensor-Driven Systems. CoRR abs/1803.10478 (2018) - 2017
- [c46]Oana Andrei, Muffy Calder:
Temporal Analytics for Software Usage Models. SEFM Workshops 2017: 9-24 - 2016
- [j24]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): 9:1-9:56 (2016) - [c45]Michele Sevegnani
, Muffy Calder
:
BigraphER: Rewriting and Analysis Engine for Bigraphs. CAV (2) 2016: 494-501 - [c44]Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison
, Mattias Rost:
Probabilistic Formal Analysis of App Usage to Inform Redesign. IFM 2016: 115-129 - 2015
- [j23]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): 131-142 (2015) - [j22]Michele Sevegnani
, Muffy Calder
:
Bigraphs with sharing. Theor. Comput. Sci. 577: 43-73 (2015) - [c43]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: 1 - [i2]Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost:
Probabilistic Formal Analysis of App Usage to Inform Redesign. CoRR abs/1510.07898 (2015) - 2014
- [j21]Muffy Calder
, Michele Sevegnani
:
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects Comput. 26(3): 537-561 (2014) - [j20]Muffy Calder
, Alexandros Koliousis, Michele Sevegnani
, Joseph S. Sventek:
Real-time verification of wireless home networks using bigraphs with sharing. Sci. Comput. Program. 80: 288-310 (2014) - [c42]Muffy Calder
, Michele Sevegnani
:
Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow? EDCC 2014: 70-81 - [c41]Oana Andrei
, Muffy Calder
, Matthew Higgs, Mark A. Girolami
:
Probabilistic Model Checking of DTMC Models of User Activity Patterns. QEST 2014: 138-153 - [i1]Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami:
Probabilistic Model Checking of DTMC Models of User Activity Patterns. CoRR abs/1403.6678 (2014) - 2013
- [j19]Andrea Degasperi
, Muffy Calder
:
A process algebra framework for multi-scale modelling of biological systems. Theor. Comput. Sci. 488: 15-45 (2013) - 2012
- [j18]Robin Donaldson, Muffy Calder
:
Modular modelling of signalling pathways and their cross-talk. Theor. Comput. Sci. 456: 30-50 (2012) - [j17]Oana Andrei
, Muffy Calder
:
Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein. Trans. Comp. Sys. Biology 14: 1-25 (2012) - [c40]Muffy Calder
, Michele Sevegnani
:
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. IFM 2012: 21-23 - 2011
- [c39]Andrea Degasperi
, Muffy Calder
:
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. CMSB 2011: 195-208 - 2010
- [c38]Muffy Calder, Oana Andrei, Andrea Degasperi
, Robin Donaldson:
From species to pathway and tissue as process. CMSB 2010: 1-2 - [c37]Robin Donaldson, Carolyn L. Talcott, Merrill Knapp, Muffy Calder
:
Understanding signalling networks as collections of signal transduction pathways. CMSB 2010: 86-95 - [c36]Muffy Calder
, Philip D. Gray, Alice Miller, Chris Unsworth:
An Introduction to Pervasive Interface Automata. FACS 2010: 71-87 - [c35]Robin Donaldson, Muffy Calder:
Modelling and Analysis of Biochemical Signalling Pathway Cross-talk. FBTC 2010: 40-54 - [c34]Oana Andrei
, Muffy Calder
:
A Model and Analysis of the AKAP Scaffold. CS2Bio 2010: 3-15 - [c33]Andrea Degasperi
, Muffy Calder
:
Process Algebra with Hooks for Models of Pattern Formation. CS2Bio 2010: 31-47 - [c32]Andrea Degasperi
, Muffy Calder
:
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. CS2Bio 2010: 49-59
2000 – 2009
- 2009
- [j16]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) - [j15]Muffy Calder, Philip D. Gray, Chris Unsworth:
Tightly coupled verification of pervasive systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [j14]Muffy Calder
, Jane Hillston:
Process Algebra Modelling Styles for Biomolecular Processes. Trans. Comp. Sys. Biology 11: 1-25 (2009) - [e3]Alice Miller, Muffy Calder:
Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008. Electronic Notes in Theoretical Computer Science 250(2), Elsevier 2009 [contents] - 2008
- [j13]Muffy Calder
, Alice Miller:
An automatic abstraction technique for verifying featured, parameterised systems. Theor. Comput. Sci. 404(3): 235-255 (2008) - [j12]Muffy Calder
, Stephen Gilmore:
Preface. Theor. Comput. Sci. 408(1): 3 (2008) - [c31]Alice Miller
, Muffy Calder:
Preface. AVoCS 2008: 1-2 - [c30]Federica Ciocchetta, Andrea Degasperi
, Jane Hillston, Muffy Calder
:
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. FBTC@ICALP 2008: 145-163 - 2007
- [j11]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): 439-455 (2007) - [c29]Douglas Graham, Muffy Calder
, Alice Miller
:
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. AVoCS 2007: 87-103 - [e2]Muffy Calder, Stephen Gilmore:
Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings. Lecture Notes in Computer Science 4695, Springer 2007, ISBN 978-3-540-75139-7 [contents] - 2006
- [j10]Alice Miller
, Alastair F. Donaldson, Muffy Calder
:
Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3): 8 (2006) - [j9]Muffy Calder
, Alice Miller
:
Feature interaction detection by pairwise analysis of LTL properties - A case study. Formal Methods Syst. Des. 28(3): 213-261 (2006) - [j8]Muffy Calder, Vladislav Vyshemirsky, David R. Gilbert, Richard J. Orton:
Analysis of Signalling Pathways Using Continuous Time Markov Chains. Trans. Comp. Sys. Biology 6: 44-67 (2006) - [j7]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: 1-23 (2006) - [c28]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 - 2005
- [c27]Alice Miller, Muffy Calder:
A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. FIW 2005: 217-235 - 2004
- [c26]Muffy Calder:
Abstraction for Safety, Induction for Liveness. AMAST 2004: 20 - [c25]Peter Saffrey, Muffy Calder:
Optimising Communication Structure for Model Checking. FASE 2004: 310-323 - [c24]Muffy Calder, Alice Miller:
Verifying parametrized, featured networks by abstraction. ISoLA (Preliminary proceedings) 2004: 227-234 - [c23]Alastair F. Donaldson, Alice Miller
, Muffy Calder
:
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. ARTS 2004: 3-23 - [c22]Alastair F. Donaldson, Alice Miller
, Muffy Calder
:
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. AVoCS 2004: 161-177 - 2003
- [j6]Muffy Calder
, Mario Kolberg
, Evan H. Magill, Stephan Reiff-Marganiec
:
Feature interaction: a critical review and considered forecast. Comput. Networks 41(1): 115-141 (2003) - [j5]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): 247-266 (2003) - [c21]Muffy Calder, Alice Miller
:
Detecting Feature Interactions: How Many Components Do We Need? Objects, Agents, and Features 2003: 45-66 - [c20]Muffy Calder, Alice Miller:
Generalising Feature Interactions in Email. FIW 2003: 187-204 - [c19]Muffy Calder, Mario Kolberg, Evan H. Magill, Dave Marples, Stephan Reiff-Marganiec:
Hybrid Solutions to the Feature Interaction Problem. FIW 2003: 295-312 - 2002
- [j4]Muffy Calder
, Savi Maharaj, Carron Shankland
:
A Modal Logic for Full LOTOS based on Symbolic Transition Systems. Comput. J. 45(1): 55-61 (2002) - [c18]Muffy Calder, Alice Miller:
Automatic Verification of any Number of Concurrent, Communicating Processes. ASE 2002: 227-230 - 2001
- [c17]Muffy Calder, Savi Maharaj, Carron Shankland:
An Adequate Logic for Full LOTOS. FME 2001: 384-395 - [c16]Muffy Calder, Carron Shankland:
A Symbolic Semantics and Bisimulation for Full LOTOS. FORTE 2001: 185-200 - [c15]Muffy Calder, Alice Miller
:
Using SPIN for Feature Interaction Analysis - A Case Study. SPIN 2001: 143-162 - 2000
- [e1]Muffy Calder, Evan H. Magill:
Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK. IOS Press 2000, ISBN 1-58603-065-5 [contents]
1990 – 1999
- 1999
- [j3]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): 167-176 (1999) - 1998
- [j2]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) - [c14]Muffy Calder:
What Use are Formal Design and Analysis Methods to Telecommunications Services? FIW 1998: 23-31 - 1997
- [c13]Carron Shankland, Muffy Thomas:
Symbolic Bisimulation for Full LOTOS. AMAST 1997: 479-493 - [c12]Muffy Calder:
Modelling and Analysing User Views of Telecommunications Services. FIW 1997: 168-182 - 1995
- [c11]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:
Experiences in applying formal methods to the analysis of software and system requirements. WIFT 1995: 30-43 - [c10]Carron Kirkwood, Muffy Thomas:
Experiences with specification and verification in LOTOS: a report on two case studies. WIFT 1995: 159-171 - 1994
- [c9]Ursula Martin
, Muffy Thomas:
Verification Techniques for LOTOS. FME 1994: 83-92 - 1993
- [j1]Muffy Thomas
, Phil Watson:
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. Theor. Comput. Sci. 112(1): 145-185 (1993) - 1992
- [c8]Muffy Thomas:
A translator for ASN.1 into LOTOS. FORTE 1992: 37-52 - 1991
- [c7]Muffy Thomas, Phil Watson:
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. AMAST 1991: 377-390 - 1990
- [c6]Muffy Thomas, Phil Watson:
Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts. Functional Programming 1990: 268-273
1980 – 1989
- 1989
- [c5]Muffy Thomas, Klaus P. Jantke:
Inductive Inference for Solving Divergence in Knuth-Bendix Completion. AII 1989: 288-303 - [c4]Muffy Thomas:
From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. FORTE 1989: 517-531 - 1988
- [b1]Muffy Thomas:
The imperative implementation of algebraic data types. University of St Andrews, UK, 1988 - [c3]Muffy Thomas:
Towards a Termination Ordering for Loop Programs. ADT 1988 - 1987
- [c2]Muffy Thomas:
Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language. TAPSOFT, Vol.2 1987: 197-211 - 1986
- [c1]Muffy Thomas:
The Storage and Access Structure of Algebraically Specified Data Types. ADT 1986
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint