| 2022 | SEKE | Verifying BDI Agents in Dynamic Environments. | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
| 2021 | SEFM | Probabilistic BDI Agents: Actions, Plans, and Intentions. | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
| 2018 | ICECCS | Modelling and Verification of Large-Scale Sensor Network Infrastructures. | Michele Sevegnani, Milan Kabc, Muffy Calder, Julie A. McCann |
| 2017 | SEFM | Temporal Analytics for Software Usage Models. | Oana Andrei, Muffy Calder |
| 2016 | CAV | BigraphER: Rewriting and Analysis Engine for Bigraphs. | Michele Sevegnani, Muffy Calder |
| 2016 | IFM | Probabilistic Formal Analysis of App Usage to Inform Redesign. | Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost |
| 2014 | EDCC | Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow? | Muffy Calder, Michele Sevegnani |
| 2012 | IFM | Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. | Muffy Calder, Michele Sevegnani |
| 2004 | FASE | Optimising Communication Structure for Model Checking. | Peter Saffrey, Muffy Calder |
| 2004 | ISoLA | Verifying parametrized, featured networks by abstraction. | Muffy Calder, Alice Miller |
| 2001 | FM | An Adequate Logic for Full LOTOS. | Muffy Calder, Savi Maharaj, Carron Shankland |
| 2001 | FORTE | A Symbolic Semantics and Bisimulation for Full LOTOS. | Muffy Calder, Carron Shankland |