Muffy Calder - RankMe

82 papers A* 1B 6C 2Misc 1Journal 38Unranked 31

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