1.
B.
Archibald, M. Calder, M. Sevegnani.
Practical Modelling with Bigraphs.
Formal Aspects of Computing, 2025
2.
How to be an Astute User of
Artificial Intelligence: Fundamentals for Decision-Makers.
Alan Turing Institute, 2025
3.
Ethical review to support Responsible
AI in policing: a preliminary study of West Midlands Police’s specialist
data ethics review committee.
AHRC BRAID Research Resport, 2024.
4.
B.
Archibald, M. Calder, M. Sevegnani, M. Xu.
Quantitative Modelling and Analysis of BDI Agents.
Software and Systems Modeling, 2023.
5.
Ardi Janjeeva, M. Calder, M. Oswald.
Structured Framework for Assessing
Proportionality of Privacy Intrusion of Automated Analytics.
CETaS Research Reports, May 2023.
6.
Ardi Janjeeva, M. Calder, M. Oswald.
Privacy Intrusion and National Security in the Age of AI: assessing
proportionality of automated analytics.
CETaS Research Reports, May 2023.
7.
M. Xu, B.
Archibald M. Calder, M. Sevegnani.
Quantitative Verification and Strategy Synthesis for BDI Agents.
NASA Formal Methods Symposium (NFM 2023), 2023.
8.
O. Andrei,
M. Calder, M. Chalmers, A. Morrison.
Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles.
arXiv:2305.01656, 2023.
9.
B.
Archibald M. Calder, M. Sevegnani.
Probabilistic Bigraphs.
Formal Aspects of Computing, ACM, Volume 34,
Issue 2 DOI 2022.
10.
B.
Archibald M. Calder, M. Sevegnani, M. Xu.
Modelling and Verifying BDI Agents with Bigraphs.
Science of Computer Programming, Volume 215, 2022.
11.
B.
Archibald M. Calder, M. Sevegnani, M. Xu.
Probabilistic BDI Agents: Actions, Plans and Intentions.
Proceedings of SEFM (19th Intl. Conference on Software
Engineering and Formal Methods), LNCS, 2021.
12.
B.
Archibald M. Calder, M. Sevegnani, M. Xu.
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.
Proceedings of FMAS (Third Workshop on Formal Methods for Autonomous
Systems), EPTCS, 2021.
13.
B.
Archibald M. Calder, M. Sevegnani.
Conditional Bigraphs.
13th International Conference on Graph Transformation (ICGT 2020), 2020.DOI
14. M. Calder, M. Sevegnani.
Stochastic model checking for predicting component failures and service
availability.
IEEE Transactions on Dependable
and Secure Computing, vol. 16:1, 2019.DOI
15. O. Andrei, M. Calder, M. Chalmers, A. Morrison.
Interpreting Computational Models of Interactive Software Usage.
ACM CHI workshop Computational
Modeling in Human-Computer Interaction, Glasgow, UK, 5 May 2019.
16. M. Sevegnani, M. Kaban, J. McCann, Calder.
Modelling and verification of Large-Scale Sensor Network Infrastructures.
23rd International
Conference on Engineering of Complex Computer Systems (ICECCS), 2018 .
17. M.
Calder, S. Dobson, M Fisher, J. McCann.
Making Sense of the World: Framing Models for Trustworthy Sensor-Driven
Systems.
Computers 7(4); 62, 2018. 2018 .
18.
O. Andrei M. Calder.
Data-driven modelling and probabilistic analysis of interactive software usage.
Journal of Logic and Algebraic
Methods in Programming, vol. 100, 2018 .DOI
19.
O. Andrei M. Calder.
Temporal Analytics for Software Usage Models.
DataMod 2017,
Lecture Notes in Computer Science, vol. 10729, 2018 .DOI
20.
M. Calder
et al.
Computational modelling for decision-making: where, why, what, who, and how.
Royal Society Open Science
5:172096, 2018.DOI
21. M. Calder et al.
Blackett Review: Computational Modelling.
UK Government Office for Science,
2018.DOI
22. S. Benford,T.
Rodden, M. Calder, M. Sevegnani.
On lions, impala, and bigraphs: modelling
interactions in physical/virtual spaces.
ACM Transactions on Computer-Human Interaction, vol. 23, issue 2, May
2016. DOI
23. M. Sevegnani, M. Calder.
BigraphER:rewriting and
analysis engine for bigraphs.
CAV 2016, 28th International Conference on
Computer Aided Verification, Lecture Notes in Computer Science, vol. 9780, part
II, Springer, 2016.
24. O.
Andrei, M. Calder, M. Chalmers, A. Morrison, M. Rost.
Probabilistic Formal Analysis of App Usage to Inform Redesign.
Proceedings 12th International Conference on Integrated Formal Methods,
iFM 2016, Lecture Notes in Computer Science, vol.
9681, 2016. DOI
25. M.
Sevegnani, M. Calder.
Bigraphs with sharing.
Theoretical Computer Science, vol. 577, pp 43--74, Elsevier, 2015.
Online copy http://www.sciencedirect.com/science/article/pii/S0304397515001085
26. M.
Calder.
What makes a good science policy?
fst
journal, Foundation for Science and Technology, volume 21(5), March 2015.
27. O.
Andrei, M. Calder, M. Higgs, M. Girolami.
Probabilistic Model Checking of DTMC Models of User Activity Patterns
Proceedings QEST 2014, Lecture Notes in Computer Science, vol. 8657,
pp. 138--153, 2014.
28. M.
Calder, M. Sevegnani.
Do I need to fix a failed component now, or can I wait until tomorrow?
EDCC (Tenth European Dependable Computing Conference), IEEE, 2014.
29. A.
Degasperi, M. Calder.
A Process Algebra Framework for Multi-Scale Modelling of Biological Systems.
Theoretical Computer Science, Elsevier, vol. 488, pp. 15--45, 2013. http://dx.doi.org/10.1016/j.tcs.2013.03.018
30.
M. Calder, A. Koliousis,
M. Sevegnani, J. Sventek.
Real-time verification of wireless home networks using bigraphs
with sharing.
Science of Computer Programming, volume 80, part B, Feb., pp. 288--310, 2014. Online copy at http:/www.sciencedirect.com/science/article/pii/S0167642313001974.�
31. M.
Calder, M. Sevegnani.
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs
with sharing.
Formal Aspects of Computer Science, vol. 26, issue 3, pp. 537--561,Springer, doi:10.1007/s00165-012-0270-3, 2014.
32. M.
Calder, P. Gray, C. Unsworth.
Is my configuration any good: checking usability in an interactive sensor-based
activity monitor.
Innovations in System and Software Engineering, volume 11, issue 2, pp. 131--142 Springer, doi:10.1007/s11334-013-0203-1, 2015.
33. M.
Calder, R. Donaldson.
Modular modelling of signalling pathways and their crosstalk.
Theoretical Computer Science, Volume 456, pp. 30-50, October 2012.http://dx.doi.org/10.1016/j.tcs.2012.07.003
34. O.
Andrei, M. Calder.
Trend-based Analysis of a Population Model of the AKAP Scaffold Protein.
Transactions on Computational Systems Biology XIV, LNBI vol.
7625, pp. 1--25, Springer, 2012.
35. M.
Calder, M. Sevegnani.
Process algebra for event-driven runtime verification: a case study of wireless
network managment.
Proceedings 9th International Conference on Integrated
Formal Methods, IFM 2012, Pisa, Italy, Lecture Notes in Computer Science, volume 7321, pp 21-23,
2012.
36. A.
Degasperi, M. Calder.
Multi-Scale Modelling of Biological Systems in Process Algebra with Multi-way
Synchronisation.
Proceedings 9th International CMSB 2011 (International
Computational Systems Biology), Paris, France. 978-1-4503-0817-5, 2011.
37. R.
Donaldson, C. Talcott, M. Knapp, M. Calder.
Understanding Signalling Networks as
Collections of Signal Transduction Pathways
Proceedings of 8th International CMSB (Computational Methods in
Systems Biology), ACM, 2010. http://portal.acm.org/citation.cfm?id=1839764\&picked=prox2010.
38.
M. Calder, P. Gray, A. Miller and C.
Unsworth.
An introduction to Pervasive Interface Automata
Proceedings of 7th International FACS (Formal Aspects of Component
Software). LNCS vol. 6921, pp.71-87,
2011.
39. O. Sturm, R. Orton, J Grindlay,
M. Birtwistle V. Vyshemirsky, D. Gilbert, M. Calder, A. Pitt, B. Kholodenko, W. Kolch
The mammalian MAPK/ERK pathway exhibits properties of a negative feedback
amplifier
Science
signaling 3 (153) 2010
40. O. Andrei
and M. Calder.
A
model and Analysis of the AKAP Scaffold.
CS2Bio2010, ENTCS 268,
pages 3-15, Elsevier, 2010.
41.
M. Calder, O. Andrei, A. Degasperi and R.
Donaldson.
From
species to pathway and tissue as process
Proceedings of 8th International CMSB (Computational Methods in
Systems Biology), ACM, 2010. http://portal.acm.org/citation.cfm?id=1839764\&picked=prox2010.
42.
A. Degasperi, M. Calder.
Process
Algebra with Hooks for Models of Pattern Formation.
CS2Bio2010, ENTCS 268,
pages 31-47, Elsevier, 2010
43.
A. Degasperi, M. Calder.
Relating
PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration.
CS2Bio2010, ENTCS 268, pages 49-59, Elsevier, 2010.
44. R.
Donaldson, M. Calder.
Modelling and and Analysis of Biochemical Signalling
Pathway Crosstalk.
FBTC 2010, ENTCS
118, pp. 01-15, Elsevier, 2010.
45. M.
Sevegnani, M. Calder.
Bigraphs with sharing
DCS Technical Report Series, University of Glasgow, TR-2010-310, 2010.
46. M.
Sevegnani, C. Unsworth, M. Calder.
A SAT based algorithm for the matching problem in biraphs
with sharing
DCS Technical Report Series, University of Glasgow, TR-2010-311, 2010.
47. M. Calder, J. Hillston.
Process algebra modelling styles for biomolecular processes.
Transactions on Computational Systems Biology XI, LNBI
5750, pp.1-25, Springer, 2009.
48.
M. Calder, P.
Gray and C. Unsworth
Tightly coupled verification of pervasive systems
Proceedings of the Third International Workshop on Formal Methods for
Interactive Systems (FMIS 2009)
Electronic Communications of the EASST, volume X, 2009.
49.
M. Calder, S.
Gilmore, J. Hillston and V. Vyshemirsky
Formal methods for biochemical signalling
pathways
Formal Methods: State of the Art and New Directions, Springer, 2009.
50.
A. Miller and
M. Calder.
An automatic abstraction technique for verifying featured, parameterised
systems
Theoretical
Computer Science, 404, pp. 235-255, 2008.
51.
F. Ciochetta, A. Degasperi, J. Hillston, M. Calder.
Some investigations concerning the CTMC and the ODE model derived from
Bio-PEPA
Proceedings of FBTC 2008, ENTCS vol. 17350, Elsevier, 2008.
52.
M. Calder, S.
Gilmore (Editors)
Computational Methods for Systems Biology
Theoretical Computer Science, volume 408, Elsevier, 2008.
53.
D. Graham, M.
Calder, and A Miller
An Inductive Technique for Parameterised Model
Checking of Degenerative Distributed Randomised
Protocols
Proceedings of AVOCS 07 (Automated Verification of Critical Systems), ENTCS
vol. 250, pp.87-103, Elsevier
2009.
54.
M. Calder, S.
Gilmore (Editors)
Computational Methods for Systems Biology Lecture
Notes in Bioinformatics, volume 4695, Springer, 2007.
55.
M. Calder, S.
Gilmore and J. Hillston
Modelling the influence of RKIP on the ERK signalling
pathway using the stochastic process algebra PEPA
Transactions
on Computational Systems Biology VII, vol. 4230, pp. 1-23, Springer, 2006.
56. A. Miller, A. Donaldson and M. Calder
Symmetry in temporal logic model checking
Computing
Surveys, ACM ,vol. 38, issue 3,pp. 1-36, 2006.
57. A. Miller, M. Calder and A. Donaldson
A template-based approach for the generation of abstractable and reducible
models of featured networks
Computer
Networks, vol. 51(2), pp. 439-455, Elsevier, 2007.
58. M. Calder, A. Duguid, S. Gilmore and J. Hillston.
Stronger computational modelling of signalling
pathways using both continuous and discrete-space methods
Computational
Methods in Systems Biology (CMSB 2006), LNBI vol. 421, pp. 63-78, 2006.
59. M. Calder, V. Vyshemirsky, D. Gilbert, and R.
Orton.
Analysis of Signalling Pathways using Continuous Time
Markov Chains
Transactions
on Computational Systems Biology VI, vol. 4220, pp. 44-67, Springer, 2006.
60. M. Calder and A. Miller
Feature
Interaction Detection by Pairwise Analysis of LTL Properties--a case study
Formal
Methods in System Design, Volume 28(30), pp. 213-261, May 2006.
61. M. Calder and J. Hillston
What do scaffold proteins really do?
Fifth
Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2006),
Imperial College, 2006.
62. A. Miller and M. Calder.
A generic approach for the automatic verification of featured, parameterised systems
Proceedings
of Eighth International Conference on Feature Interactions in
Telecommunications and Software Systems (ICFI '05) , pp
217-235, IOS Press, 2005.
63. M. Calder, S. Gilmore and J. Hillston.
Automatically deriving ODEs from process algebra models of signalling
pathways
Proceedings
of CMSB 2005 (Computational Methods in Systems Biology), pp
204-215, 2005.
64. M. Calder, V. Vyshemirsky, D. Gilbert and R. Orton.
Analysis of Signalling Pathways using the Prism Model
Checker
Proceedings of CMSB 2005 (Computational Methods in Systems Biology), pp
179-190,2005.
65. W. Kolch, M. Calder and
D. Gilbert.
When kinases meet mathematics: the systems biology of MAPK signalling
FEBS Letters, vol. 579, pp 1891--1895,2005.
66. R. Orton, O. Sturm, V. Vyshemirsky, M. Calder, D. Gilbert and W. Kolch.
Computational Modelling of the Receptor Tyrosine Kinase Activated MAPK
Pathway
Biochemical Journal, vol. 392, pp 249--261,2005.
67. M. Calder, S. Gilmore and J. Hillston.
Modelling the influence of RKIP on the ERK signalling
pathway using the stochastic process algebra PEPA
Proceedings
of Bio-CONCUR 2004, Electronic Notes in Theoretical Computer Science, 2004.
68. A. Donaldson, A. Miller and M. Calder.
Finding symmetry in models of concurrent systems by static channel diagram
analysis
Electronic
Notes in Theoretical Computer Science, vol. 128/6, pp 161-177, Elsevier, 2004.
69.
M Calder and A.
Miller.
Verifying parameterised, featured networks by abstraction
Proceedings of the first International Symposium on Leveraging
Applications of Formal Methods (ISOLA'04), pp 227--234.
70.
M Calder and A.
Miller.
Detecting
Feature Interactions: how many components do we need?
Objects,
Agents and Features. Lecture Notes in Computing Science, vol. 2975, pp 45-66,
2004.
71. P.Saffrey and M. Calder.
Optimising
Communications Structure for Model Checking Lecture Notes in Computer Science,
Proceedings
of FASE 2004, Lecture Notes in Computer Science, vol. 2984, pp 310-3224,
Springer Verlag, 2004.
72. A.Miller and M Calder.
An
application of abstraction and induction techniques to degenerating systems of
processes.
Proceedings
of the International Workshop on Model-Checking for Dependable Software
Intensive Systems (MCDSIS '03), IEEE Computer Society Press, 2003.
73.
M Calder, M.
Kolberg E. Magill, D. Marples and S. Reiff-Marganiec.
Hybrid
Solutions to the Feature Interaction Problem
Feature
Interactions in Telecommunications and Software Systems VII, IOS Press.
pp.187-205, 2003.
74.
M Calder and A.
Miller
Generalising Feature Interactions in Email
Feature Interactions in Telecommunications and Software Systems VII,
IOS Press. pp. 295-217, 2003.
75.
M Calder, E.
Magill, M. Kolberg, and S. Reiff-Marganiec.
Feature
Interaction: A Critical Review and Considered Forecast.
Computer
Networks, Volume 41/1, pp. 115-141, North-Holland.
January 2003.
76.
M. Calder and
A. Miller.
Using SPIN to
Analyse the FireWire Protocol -- a Case Study.
Formal
Aspects of Computer Science, vol. 14, no. 3, pp. 247266, Springer Verlag, 2003.
77.
M. Calder and
A. Miller.
Automated
verification of any number of concurrent, communicating processes.
Proceedings
of 17th IEEE Automated Software Engineering (ASE 2002), pp. 227-230, IEEE, 2002.
78.
M. Calder and
A. Miller.
Five
ways to use symmetry and induction in the verification of networks of processes
using model-checking.
Proceedings
of Automated Verification of Critical Systems (AVoCS),2002.
79. M. Calder, S. Maharaj, and C. Shankland.
A Modal Logic for
Full LOTOS based on Symbolic Transition Systems.
The
Computer Journal, Volume 45, No.1, pp. 55--61, 2002.
80.
M. Calder and
A. Miller.
Using
SPIN for Feature Interaction: Analysis -- a Case Study.
Proceedings
of the 8th International SPIN Workshop (SPIN 2001), Toronto, Canada, Lecture
Notes in Computer Science, Volume 2057, pp. 143--162, 2001.
81.
M. Calder and
A. Miller.
Using
the Model Checker SPIN to Detect Feature Interactions in Telecommunications
Services.
University
of Glasgow, Computing Science Technical Report TR-2001-91. 2001.
82.
M. Calder, S.
Maharaj, and C. Shankland.
An
Adequate Logic for Full LOTOS.
Proceedings
of FME 2001, Lecture Notes in Computer Science. vol. 2021,
pp.384-395, 2001.
83.
M. Calder and
C. Shankland.
A Symbolic
Semantics and Bisimulation for Full LOTOS.
Proceedings
of FORTE 2001, 21st International Conference on Formal Techniques for Networked
and Distributed Systems, Korea, 2001. M.Kim,
B.Chin, S.Kang
and D.Lee (Eds.), pp. 184--200, Kluwer Academic
Publishers, 2001.
84.
M Calder, E.
Magill, S. Reiff-Marganiec, and V. Thayananthan.
Theory
and Practice of Enhancing a Legacy Software System.
Systems Engineering for Business Process Change (volume 2), P.Henderson (ed.) Springer-Verlag, 2001.
85.
M. Calder and
S. Reiff.
Modelling
Legacy Telecommunications Switching Systems for Interaction Analysis.
Systems Engineering for Business Process Change, P. Henderson (ed.), pp.
182-195, Springer-Verlag, 2000.
86.
M. Calder and
E. Magill, Editors.
Feature
Interactions in Telecommunications and Software Systems VI.
IOS Press, 2000.
87.
M. Calder, E.
Magill and D. Marples.
A Hybrid
Approach to Software Interworking Problems: Managing Interactions between
Legacy and Evolving Telecommunications Software.
IEE
Proceedings - Software, Vol. 146, No. 3, June 1999.
Abstract only in electronic form, please contact the authors for a hard copy of
the full paper.
88.
M. Calder and
C. Shankland.
A Symbolic
Semantics and Bisimulation for Full LOTOS.
University
of Glasgow, Computing Science Technical Report TR-2001-77.
89. M. Calder.
What Use are
Formal Analysis and Design Methods to Telecommunications Services?
In Feature Interactions in Telecommunications and Software Systems, pp.
23-31, IOS Press, 1998.
90.
M. Thomas.
Modelling and Analysing User Views of Telecommunications Services.
In Feature Interactions in Telecommunications Systems, pp.
168-183, IOS Press, 1997.
91.
P. Jeffcutt and M. Thomas.
Organisation, Information and Computation.
ORGANIZATION,
5/3, pp. 397-423, August 1998.
92.
M. Calder and
A. Miller.
Analysing a Basic Call Protocol using PROMELA/XSPIN.
Proceedings
SPIN '98: Workshop on Automata Theoretic Verification with the SPIN model
Checker, pp. 169-181, Paris, G. Holzmann, Ed., 1998.
93.
C. Shankland
and M. Thomas.
Symbolic Bisimulations for Full LOTOS.
In Lecture Notes in Computer Science vol. 1349, pp. 479-493,
Springer-Verlag, 1997.
94.
S. Aitken, P.
Gray, T. Melham, and M. Thomas.
A Study of User
Activity in Interactive Theorem Proving.
Journal
of Symbolic Computation, vol. 25, no. 2, pp. 263-284, February
1998.
95. M. Thomas.
Formal Methods and
their Role in Developing Safe Systems.
High
Integrity Systems Journal, Volume 1, Number 5, Oxford University
Press, pp. 447-451, 1996.
96. C. Kirkwood and M. Thomas.
Experiences
with LOTOS: A Report on Two Case Studies.
Proceedings
of WIFT '95 159-172, pp. IEEE Computer Society Press, 1995.
97.
M. Thomas and
B. Ormsby.
On the Design of Side-Stick Controllers in Fly-By-Wire Aircraft.
ACM
Applied Computing Review, Volume 2,
Number 1, Spring 1994.�
98.
U. Martin and
M. Thomas.
Verification
Techniques for LOTOS.
Proceedings of Formal Methods Europe '94, Lecture Notes in Computer Science,
Volume 873, Springer Verlag, 1994.
99.
M. Thomas.
The Story of the
Therac-25 in LOTOS.
High
Integrity Systems Journal, Volume 1, Number 1, Oxford University
Press, pp. 3-17, 1994.
100.
M. Thomas.
A Proof of
Incorrectness using LP: the Editing Problem from the Therac-25.
High
Integrity Systems Journal, Volume 1, Number 1, Oxford University
Press, pp. 35-49, 1994.
101.
P. Jeffcutt and M. Thomas.
Order, Disorder and the Unmanageability of
Boundaries in Organised Life.
In
the Realm of Organisation, R. Chia
(ed.), Routledge, 1997.
102.
M. Thomas and
P. Watson.
Solving Divergence
in Knuth-Bendix Completion by Enriching Signatures.
Theoretical
Computer Science (Elsevier) 112 pp. 145 - 185, 1993.
103.
M. Thomas.
A
Translator Tool for ASN.1 into LOTOS .
Formal
Description Techniques V. Elsevier (North Holland) Science Publishers, M. Diaz,
R. Groz (eds.), B.V. Amsterdam, 1993, pp. 37-52,
1993.
104.
M. Thomas.
Algebraic Semantics.Chapter 4
in D.A. Watt, Programming Language Syntax and
Semantics pp. 147-183, Prentice Hall 1991.
105.
M. Thomas and
P. Watson.
Generalising Sequences of Rewrite Rules by Synthesising New Sorts.
Extended Abstract, Functional Programming, Glasgow 1990, pp.268-273, Workshops
in Computing, S. Peyton-Jones, G. Hutton, C. Kehler Holst (eds.),
Springer-Verlag 1991.
106.
M. Thomas.
From 1
Notation to Another One: An ACT-ONE Semantics for
ASN.1. Formal Description Techniques II , pp.
517-532, S.T. Vuong (Ed.), Elsevier (North Holland) Science Publishers, B.V.
Amsterdam, 1990.
107.
M. Thomas and
K. Jantke
Inductive
Inference for Knuth Bendix Completion
Lecture
Notes in Computer Science vol. 397 288-303, Springer Verlag,
1989.
108.
M. Thomas
Implementing
Algebraically Specified Abstract Data Types in an Imperative Programming
Language
Proceedings
of TAPSOFT 87, Lecture Notes in Computer Science vol. 250 197-211,
Springer Verlag, 1987.
109.
Verification of
LOTOS Specifications, Final Project Report, from SERC/IED Project
IEATP/SE/IED4/1/1477. March 1993.
Published as University of Glasgow Department of Computing Science Research
Report FM-1993-8.