Professor Muffy Calder

  • Vice Principal & Head of College of Science & Engineering (Science and Engineering College Senior Management)
  • Professor of Formal Methods (Computing Science)

telephone: 01413304462
email: Muffy.Calder@glasgow.ac.uk

Personal assistants:
Mrs Jacquie Ross
telephone: 01413307458
email: scieng-hoc-pa@glasgow.ac.uk

Mrs Evelyn Love
telephone: 01413307486
email: scieng-hoc-pa@glasgow.ac.uk

Research interests

Personal site: http://www.dcs.gla.ac.uk/~muffy

Biography:
Muffy Calder is Vice-Principal and Head of College of Science and Engineering. She is also Professor of Formal Methods and her research is in modelling and reasoning about the behaviour of complex software and biochemical systems using computer science, mathematics and automated reasoning techniques. She currently holds a Royal Society Wolfson Research merit award and was a Royal Society Leverhulme Research Senior Fellow.  In the distant past has been a research fellow at BT Laboratories and at DEC Research Labs in California; she  has  collaborated with a number of companies, most recently with NATS (air traffic services).

Previously,  for three years she was on secondment to Scottish Government as Chief Scientific Adviser for Scotland.  Before that she was  Dean for Research in the College of Science and Engineering and she has held various positions including  Head of Department, chair of UKCRC (UK Computing Research Committee), Senate Assessor on University of Glasgow Court, member of EPSRC TOP (Technical Opportunities Panel) and co-chair of the Scottish Science Advisory Council.  She is past  external examiner for the MSc. at University of Manchester for undergraduate degrees at the universities of Warwick, St. Andrews, Edinburgh, and NUI Cork. She has a PhD in Computational Science from the University of St. Andrews and a BSc in Computing Science from the University of Stirling. Over the years she has supervised 13 PhD students and 9 postdoctoral research assistants. She is a Fellow of the Royal Academy of Engineering, the Royal Society of Edinburgh, the British Computer Society and was awarded the OBE in 2011.

Research Interests:
Event-based computational modelling, temporal logics and automated reasoning for concurrent, communicating systems:
- model-checking
- process algebras
- probabilistic systems
- protocols and telecommunications services
- sensor-driven systems 
- biochemical networks and cell signalling
- safety-critical systems.

Selected publications

Benford, S., Calder, M. , Rodden, T. and Sevegnani, M. (2016) On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction, 23(2), 9. (doi:10.1145/2882784)

Sevegnani, M. and Calder, M. (2015) Bigraphs with sharing. Theoretical Computer Science, 577, pp. 43-73. (doi:10.1016/j.tcs.2015.02.011)

Calder, M. , Gray, P. and Unsworth, C. (2015) Is my configuration any good: checking usability in an interactive sensor-based activity monitor. Innovations in Systems and Software Engineering, (doi:10.1007/s11334-013-0203-1)

Calder, M., Koliousis, A., Sevegnani, M. and Sventek, J. (2014) Real-time verification of wireless home networks using bigraphs with sharing. Science of Computer Programming, 80(B), pp. 288-310. (doi:10.1016/j.scico.2013.08.004)

Calder, M. and Sevegnani, M. (2014) Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computing, 26(3), pp. 537-561. (doi:10.1007/s00165-012-0270-3)

Andrei, O., Calder, M., Higgs, M. and Girolami, M. (2014) Probabilistic model checking of DTMC models of user activity patterns. Lecture Notes in Computer Science, 8657, pp. 138-153. (doi:10.1007/978-3-319-10696-0_11)

Degasperi, A. and Calder, M. (2013) A process algebra framework for multi-scale modelling of biological systems. Theoretical Computer Science, 488, pp. 15-45. (doi:10.1016/j.tcs.2013.03.018)

Donaldson, R. and Calder, M. (2012) Modular modelling of signalling pathways and their crosstalk. Theoretical Computer Science, 456, pp. 30-50. (doi:10.1016/j.tcs.2012.07.003)

Andrei, O. and Calder, M. (2012) Trend-based analysis of a population model of the AKAP scaffold protein. Lecture Notes in Computer Science, 7625, pp. 1-25. (doi:10.1007/978-3-642-35524-0_1)

Supervision

All publications

List by: Type | Date

Jump to: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1998
Number of items: 65.

2017

Calder, M. and Sevegnani, M. (2017) Stochastic model checking for predicting component failures and service availability. IEEE Transactions on Dependable and Secure Computing, (doi:10.1109/TDSC.2017.2650901) (Early Online Publication)

2016

Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. In: CAV 2016: 28th International Conference on Computer Aided Verification, Toronto, Canada, 17-23 Jul 2016, pp. 494-501. ISBN 9783319415390 (doi:10.1007/978-3-319-41540-6_27)

Andrei, O., Calder, M. , Chalmers, M., Morrison, A. and Rost, M. (2016) Probabilistic formal analysis of app usage to inform redesign. Lecture Notes in Computer Science, 9681, pp. 115-129. (doi:10.1007/978-3-319-33693-0_8)

Benford, S., Calder, M. , Rodden, T. and Sevegnani, M. (2016) On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction, 23(2), 9. (doi:10.1145/2882784)

2015

Sevegnani, M. and Calder, M. (2015) Bigraphs with sharing. Theoretical Computer Science, 577, pp. 43-73. (doi:10.1016/j.tcs.2015.02.011)

Calder, M. , Gray, P. and Unsworth, C. (2015) Is my configuration any good: checking usability in an interactive sensor-based activity monitor. Innovations in Systems and Software Engineering, (doi:10.1007/s11334-013-0203-1)

2014

Calder, M. and Sevegnani, M. (2014) Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computing, 26(3), pp. 537-561. (doi:10.1007/s00165-012-0270-3)

Calder, M., Koliousis, A., Sevegnani, M. and Sventek, J. (2014) Real-time verification of wireless home networks using bigraphs with sharing. Science of Computer Programming, 80(B), pp. 288-310. (doi:10.1016/j.scico.2013.08.004)

Andrei, O., Calder, M., Higgs, M. and Girolami, M. (2014) Probabilistic model checking of DTMC models of user activity patterns. Lecture Notes in Computer Science, 8657, pp. 138-153. (doi:10.1007/978-3-319-10696-0_11)

Calder, M. and Sevegnani, M. (2014) Do I need to fix a failed component now, or can I wait until tomorrow? In: Tenth European Dependable Computing Conference (EDCC 2014), Newcastle Upon Tyne, UK, 13-16 May 2014, pp. 66-77. (doi:10.1109/EDCC.2014.15)

2013

Degasperi, A. and Calder, M. (2013) A process algebra framework for multi-scale modelling of biological systems. Theoretical Computer Science, 488, pp. 15-45. (doi:10.1016/j.tcs.2013.03.018)

2012

Donaldson, R. and Calder, M. (2012) Modular modelling of signalling pathways and their crosstalk. Theoretical Computer Science, 456, pp. 30-50. (doi:10.1016/j.tcs.2012.07.003)

Andrei, O. and Calder, M. (2012) Trend-based analysis of a population model of the AKAP scaffold protein. Lecture Notes in Computer Science, 7625, pp. 1-25. (doi:10.1007/978-3-642-35524-0_1)

Calder, M., Gray, P., Miller, A. and Unsworth, C. (2012) An Introduction to Pervasive Interface Automata. Lecture Notes in Computer Science, 6921, pp. 71-87. (doi:10.1007/978-3-642-27269-1_5)

Calder, M. and Sevegnani, M. (2012) Process algebra for event-driven runtime verification: a case study of wireless network management. Lecture Notes in Computer Science, 7321(2012), pp. 21-23. (doi:10.1007/978-3-642-30729-4)

2011

Degasperi, A. and Calder, M. (2011) Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. In: 9th International Conference on Computational Methods in Systems Biology, Paris, France, 21-23 September 2011, p. 195. (doi:10.1145/2037509.2037537)

2010

Andrei, O. and Calder, M. (2010) A model and analysis of the AKAP scaffold. Electronic Notes in Theoretical Computer Science, 268, pp. 3-15. (doi:10.1016/j.entcs.2010.12.002)

Calder, M. and Degasperi, A. (2010) Process Algebra with Hooks for Models of Pattern Formation. In: CS2Bio'10 1st International Workshop on Interactions between Computer Science and Biology, Amsterdam, Netherlands, 10 June 2010,

Calder, M. and Degasperi, A. (2010) Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. Electronic Notes in Theoretical Computer Science, 268, pp. 49-59. (doi:10.1016/j.entcs.2010.12.005)

Donaldson, R. and Calder, M. (2010) Modelling and analysis of biochemical signalling pathway cross-talk. Electronic Proceedings in Theoretical Computer Science, 19, pp. 40-54. (doi:10.4204/EPTCS.19.3)

Donaldson, R., Tallcott, C., Knapp, M. and Calder, M. (2010) Understanding signalling networks as collections of signal transduction pathways. In: Conference on Computational Methods in Systems Biology (CMSB 2010), Trento, Italy, 29 Sep - 1 Oct 2010, pp. 86-95. (doi:10.1145/1839764.1839775)

Sturm, O. E., Orton, R., Grindlay, J., Birtwistle, M., Vyshemirsky, V., Gilbert, D., Calder, M., Pitt, A.R., Kholodenko, B. and Kolch, W. (2010) The mammalian MAPK/ERK pathway exhibits properties of a negative feedback amplifier. Science Signaling, 3(153), ra90. (doi:10.1126/scisignal.2001212)

2009

Ciochetta, F., Degasperi, A., Hillston, J. and Calder, M. (2009) Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA. Electronic Notes in Theoretical Computer Science, 229(1), pp. 145-163. (doi:10.1016/j.entcs.2009.02.010)

Arapinis, M. et al. (2009) Towards the verification of pervasive systems. Electronic Communications of the EASST, 22,

Calder, M., Gilmore, S., Hillston, J. and Vyshemirsky, V. (2009) Formal methods for biochemical signalling pathways. In: Boca, P., Bowen, J. P. and Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions. Springer, pp. 185-215. ISBN 9781848827356

Calder, M., Gray, P.D. and Unsworth, C. (2009) Tightly coupled verification of pervasive systems. In: Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009). European Association of Software Science and Technology (EASST).

Calder, M. and Hillston, J. (2009) Process algebra modelling styles for biomolecular processes. Lecture Notes in Computer Science, 5750, pp. 1-25. (doi:10.1007/978-3-642-04186-0_1)

Graham, D., Calder, M. and Miller, A. (2009) An inductive technique for parameterised model checking of degenerative distributed randomised protocols. Electronic Notes in Theoretical Computer Science, 250(1), pp. 87-103. (doi:10.1016/j.entcs.2009.08.007)

Miller, A. and Calder, M. (2009) Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems. Electronic Notes in Theoretical Computer Science, 250(2), pp. 1-2. (doi:10.1016/j.entcs.2009.08.013)

2008

Calder, M. and Miller, A. (2008) An automatic abstraction technique for verifying featured, parameterised systems. Theoretical Computer Science, 404(3), pp. 235-255. (doi:10.1016/j.tcs.2008.03.034)

2007

Miller, A., Calder, M. and Donaldson, A.F. (2007) A template-based approach for the generation of abstractable and reducible models of featured networks. Computer Networks, 51(2), pp. 439-455. (doi:10.1016/j.comnet.2006.08.009)

Calder, M. and Gilmore, S. (Eds.) (2007) Computational Methods in Systems Biology. Series: Lecture Notes in Bioinformatics. Springer. ISBN 978-3540751397

2006

Miller, A., Donaldson, A. and Calder, M. (2006) Symmetry in temporal logic model checking. ACM Computing Surveys, 38(3), (doi:10.1145/1132960.1132962)

Calder, M. and Miller, A. (2006) Feature interaction detection by pairwise analysis of LTL properties—A case study. Formal Methods in System Design, 28(3), pp. 213-261. (doi:10.1007/s10703-006-0002-5)

Calder, M. (2006) What do scaffold proteins really do? Proceedings of Pasta 2006 (fifth Workshop on Process Algebra and Stochastically Timed Activities),

Calder, M., Duguid, A., Gilmore, S. and Hillston, J. (2006) Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. Lecture Notes in Computer Science, 3746, pp. 63-77. (doi:10.1007/11885191_5)

Calder, M., Duguid, A., Gilmore, S. and Hilston, J. (2006) Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. Computational Methods for Systems Biology, 4210, pp. 63-77. (doi:10.1007/11885191_5)

Calder, M., Gilmore, S. and Hillston, J. (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology VII, 4230, pp. 1-23. (doi:10.1007/11905455_1)

Calder, M., Gilmore, S. and Hillston, J. (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Lecture Notes in Computer Science, 4230, pp. 1-23. (doi:10.1007/11905455_1)

Calder, M., Vyshemirsky, V., Gilbert, D. and Orton, R. (2006) Analysis of signalling pathways using continuous time Markov chains. Lecture Notes in Computer Science, 4220, pp. 44-67. (doi:10.1007/11880646_3)

2005

Donaldson, A., Miller, A. and Calder, M. (2005) SPIN-to-GRAPE: a tool for analysing symmetry in Promela models. Electronic Notes in Theoretical Computer Science, 139(1), pp. 3-23. (doi:10.1016/j.entcs.2005.09.007)

Donaldson, A.F., Miller, A. and Calder, M. (2005) Finding symmetry in models of concurrent systems by static channel diagram analysis. Theoretical Computer Science, 128(6), pp. 161-177. (doi:10.1016/j.entcs.2005.04.010)

Calder, M. , Vyshemirsky, V., Gilbert, D. and Orton, R. (2005) Analysis of Signalling Pathways Using the PRISM Model Checker. In: Computational Methods in Systems Biology (CMSB'05), Edinburgh, United Kingdom, 03-05 Apr 2005, pp. 179-190.

Kolch, W., Calder, M. and Gilbert, D. (2005) When kinases meet mathematics: the systems biology of MAPK signalling. FEBS Letters, 579(8), pp. 1891-1895. (doi:10.1016/j.febslet.2005.02.002)

Miller, A. and Calder, M. (2005) A generic approach for the automatic verification of featured, parameterised systems. In: International Workshop on Feature Interactions in Telecommunications and Software Systems, Leicester, UK, 28-30 June 2005, pp. 217-235. ISBN 158603524X

Orton, R.J., Sturm, O.E., Vyshemirsky, V., Calder, M., Gilbert, D.R. and Kolch, W. (2005) Computational modelling of the receptor-tyrosine-kinase-activated MAR pathway. Biochemical Journal, 392, pp. 249-261. (doi:10.1042/BJ20050908)

2004

Calder, M. (2004) Abstraction for safety, induction for liveness. Algebraic Methodology and Software Technology, 3116, p. 20.

Calder, M. and Miller, A. (2004) Detecting feature interactions: how many components do we need? Lecture Notes in Computer Science, 2975, pp. 45-66. (doi:10.1007/b97772)

Calder, M. and Miller, A. (2004) An automatic abstraction technique for verifying featured, parameterised systems. In: ISOLA: International Symposium on Leveraging Applications of Formal Methods, Cyprus, Greece, 30 Oct - 2 Nov 2004, pp. 227-234.

Donaldson, A., Miller, A. and Calder, M. (2004) Comparing the use of symmetry in constraint processing and model checking. In: 4th International Workshop on Symmetry and Constraint Satisfaction Problems, Toronto, Ontario, Canada, 27 Sep 2004, pp. 18-25.

Saffrey, P. and Calder, M. (2004) Optimising Communication Structure for Model Checking. Lecture Notes in Computer Science, 2984, pp. 310-323. (doi:10.1007/b95935)

2003

Calder, M. and Miller, A. (2003) Generalising feature interactions in email. In: International Workshop on Feature Interactions in Telecommunications and Software Systems VII, Ottawa, Canada, 11-13 June 2003, pp. 187-205. ISBN 1586033484

Calder, M. and Miller, A. (2003) Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus(FireWire)Protocol. Formal Aspects of Computing, 14(3), pp. 247-266. (doi:10.1007/s001650300004)

Calder, M., Kolberg, M., Magill, E.H. and Reiff-Marganiec, S. (2003) Feature interaction: a critical review and considered forecast. Computer Networks, 41(1), pp. 115-141. (doi:10.1016/S1389-1286(02)00352-3)

Calder, M., Kolberg, M., Magill, E., Marples, D. and Reiff-Marganiec, S. (2003) Hybrid solutions to the feature interaction problem. In: Feature Interactions in Telecommunications and Software Systems VII, Ottawa, Ontario, 11-13 June, pp. 295-312. ISBN 1586033484

Miller, A. and Calder, M. (2003) An application of abstraction and induction techniques to degenerating systems of processes. In: International Workshop on Model-Checking for Dependable Software-Intensive Systems, San Francisco, CA, USA, 22-25 Jun 2003, W75-W79.

2002

Calder, M., Maharaj, S. and Shankland, C. (2002) A modal logic for Full LOTOS based on symbolic transition systems. Computer Journal, 45, pp. 55-61.

Calder, M. and Miller, A. (2002) Automatic verification of any number of concurrent, communicating processes. In: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, 23-27 September, pp. 227-230. ISBN 0769517366 (doi:10.1109/ASE.2002.1115017)

Calder, M. and Miller, A. (2002) Five ways to use induction and symmetry in the verification of networks of processes by model-checking. In: Second Workshop on Automated Verification of Critical Systems (AVoCS 2002), April 2002, pp. 29-42.

2001

Calder, M. and Miller, A. (2001) Using SPIN for feature interaction analysis - a case study. Lecture Notes in Computer Science, 2057, pp. 143-162.

Calder, M. and Shankland, C. (2001) Symbolic semantics and bisimulation for full LOTOS. In: 21st International Conference on Formal Techniques for Networked and Distributed Systems, Cheju Island, Korea, 28-31 August 2001, pp. 185-200. ISBN 0792374703

Calder, M., Maharaj, S. and Shankland, C. (2001) An adequate logic for full LOTOS. Lecture Notes in Computer Science, 2021, pp. 384-395.

2000

Calder, M. and Reiff, S. (2000) Modelling legacy telecommunications switching systems for interaction analysis. In: Henderson, P. (ed.) Systems Engineering for Business Process Change. Springer, pp. 182-195. ISBN 1852332220

1998

Calder, M. (1998) What use are formal design and analysis methods to telecommunications services? In: International Workshop on Feature Interactions in Telecommunications and Software Systems, Lund, Sweden, 29 September - 1 October 1998, pp. 10-31. ISBN 9051994311

Calder, M. and Miller, A. (1998) Analysing a basic call protocol using Promela/XSpin. In: 4th Workshop on Automata Theoretic Verification with the SPIN Model Checker (SPIN '98), Paris, France, 2 Nov 1998, pp. 1-12.

This list was generated on Sun Jun 25 21:10:56 2017 BST.
Number of items: 65.

Articles

Calder, M. and Sevegnani, M. (2017) Stochastic model checking for predicting component failures and service availability. IEEE Transactions on Dependable and Secure Computing, (doi:10.1109/TDSC.2017.2650901) (Early Online Publication)

Andrei, O., Calder, M. , Chalmers, M., Morrison, A. and Rost, M. (2016) Probabilistic formal analysis of app usage to inform redesign. Lecture Notes in Computer Science, 9681, pp. 115-129. (doi:10.1007/978-3-319-33693-0_8)

Benford, S., Calder, M. , Rodden, T. and Sevegnani, M. (2016) On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction, 23(2), 9. (doi:10.1145/2882784)

Sevegnani, M. and Calder, M. (2015) Bigraphs with sharing. Theoretical Computer Science, 577, pp. 43-73. (doi:10.1016/j.tcs.2015.02.011)

Calder, M. , Gray, P. and Unsworth, C. (2015) Is my configuration any good: checking usability in an interactive sensor-based activity monitor. Innovations in Systems and Software Engineering, (doi:10.1007/s11334-013-0203-1)

Calder, M. and Sevegnani, M. (2014) Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computing, 26(3), pp. 537-561. (doi:10.1007/s00165-012-0270-3)

Calder, M., Koliousis, A., Sevegnani, M. and Sventek, J. (2014) Real-time verification of wireless home networks using bigraphs with sharing. Science of Computer Programming, 80(B), pp. 288-310. (doi:10.1016/j.scico.2013.08.004)

Andrei, O., Calder, M., Higgs, M. and Girolami, M. (2014) Probabilistic model checking of DTMC models of user activity patterns. Lecture Notes in Computer Science, 8657, pp. 138-153. (doi:10.1007/978-3-319-10696-0_11)

Degasperi, A. and Calder, M. (2013) A process algebra framework for multi-scale modelling of biological systems. Theoretical Computer Science, 488, pp. 15-45. (doi:10.1016/j.tcs.2013.03.018)

Donaldson, R. and Calder, M. (2012) Modular modelling of signalling pathways and their crosstalk. Theoretical Computer Science, 456, pp. 30-50. (doi:10.1016/j.tcs.2012.07.003)

Andrei, O. and Calder, M. (2012) Trend-based analysis of a population model of the AKAP scaffold protein. Lecture Notes in Computer Science, 7625, pp. 1-25. (doi:10.1007/978-3-642-35524-0_1)

Calder, M., Gray, P., Miller, A. and Unsworth, C. (2012) An Introduction to Pervasive Interface Automata. Lecture Notes in Computer Science, 6921, pp. 71-87. (doi:10.1007/978-3-642-27269-1_5)

Calder, M. and Sevegnani, M. (2012) Process algebra for event-driven runtime verification: a case study of wireless network management. Lecture Notes in Computer Science, 7321(2012), pp. 21-23. (doi:10.1007/978-3-642-30729-4)

Andrei, O. and Calder, M. (2010) A model and analysis of the AKAP scaffold. Electronic Notes in Theoretical Computer Science, 268, pp. 3-15. (doi:10.1016/j.entcs.2010.12.002)

Calder, M. and Degasperi, A. (2010) Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. Electronic Notes in Theoretical Computer Science, 268, pp. 49-59. (doi:10.1016/j.entcs.2010.12.005)

Donaldson, R. and Calder, M. (2010) Modelling and analysis of biochemical signalling pathway cross-talk. Electronic Proceedings in Theoretical Computer Science, 19, pp. 40-54. (doi:10.4204/EPTCS.19.3)

Sturm, O. E., Orton, R., Grindlay, J., Birtwistle, M., Vyshemirsky, V., Gilbert, D., Calder, M., Pitt, A.R., Kholodenko, B. and Kolch, W. (2010) The mammalian MAPK/ERK pathway exhibits properties of a negative feedback amplifier. Science Signaling, 3(153), ra90. (doi:10.1126/scisignal.2001212)

Ciochetta, F., Degasperi, A., Hillston, J. and Calder, M. (2009) Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA. Electronic Notes in Theoretical Computer Science, 229(1), pp. 145-163. (doi:10.1016/j.entcs.2009.02.010)

Arapinis, M. et al. (2009) Towards the verification of pervasive systems. Electronic Communications of the EASST, 22,

Calder, M. and Hillston, J. (2009) Process algebra modelling styles for biomolecular processes. Lecture Notes in Computer Science, 5750, pp. 1-25. (doi:10.1007/978-3-642-04186-0_1)

Graham, D., Calder, M. and Miller, A. (2009) An inductive technique for parameterised model checking of degenerative distributed randomised protocols. Electronic Notes in Theoretical Computer Science, 250(1), pp. 87-103. (doi:10.1016/j.entcs.2009.08.007)

Miller, A. and Calder, M. (2009) Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems. Electronic Notes in Theoretical Computer Science, 250(2), pp. 1-2. (doi:10.1016/j.entcs.2009.08.013)

Calder, M. and Miller, A. (2008) An automatic abstraction technique for verifying featured, parameterised systems. Theoretical Computer Science, 404(3), pp. 235-255. (doi:10.1016/j.tcs.2008.03.034)

Miller, A., Calder, M. and Donaldson, A.F. (2007) A template-based approach for the generation of abstractable and reducible models of featured networks. Computer Networks, 51(2), pp. 439-455. (doi:10.1016/j.comnet.2006.08.009)

Miller, A., Donaldson, A. and Calder, M. (2006) Symmetry in temporal logic model checking. ACM Computing Surveys, 38(3), (doi:10.1145/1132960.1132962)

Calder, M. and Miller, A. (2006) Feature interaction detection by pairwise analysis of LTL properties—A case study. Formal Methods in System Design, 28(3), pp. 213-261. (doi:10.1007/s10703-006-0002-5)

Calder, M. (2006) What do scaffold proteins really do? Proceedings of Pasta 2006 (fifth Workshop on Process Algebra and Stochastically Timed Activities),

Calder, M., Duguid, A., Gilmore, S. and Hillston, J. (2006) Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. Lecture Notes in Computer Science, 3746, pp. 63-77. (doi:10.1007/11885191_5)

Calder, M., Duguid, A., Gilmore, S. and Hilston, J. (2006) Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. Computational Methods for Systems Biology, 4210, pp. 63-77. (doi:10.1007/11885191_5)

Calder, M., Gilmore, S. and Hillston, J. (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology VII, 4230, pp. 1-23. (doi:10.1007/11905455_1)

Calder, M., Gilmore, S. and Hillston, J. (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Lecture Notes in Computer Science, 4230, pp. 1-23. (doi:10.1007/11905455_1)

Calder, M., Vyshemirsky, V., Gilbert, D. and Orton, R. (2006) Analysis of signalling pathways using continuous time Markov chains. Lecture Notes in Computer Science, 4220, pp. 44-67. (doi:10.1007/11880646_3)

Donaldson, A., Miller, A. and Calder, M. (2005) SPIN-to-GRAPE: a tool for analysing symmetry in Promela models. Electronic Notes in Theoretical Computer Science, 139(1), pp. 3-23. (doi:10.1016/j.entcs.2005.09.007)

Donaldson, A.F., Miller, A. and Calder, M. (2005) Finding symmetry in models of concurrent systems by static channel diagram analysis. Theoretical Computer Science, 128(6), pp. 161-177. (doi:10.1016/j.entcs.2005.04.010)

Kolch, W., Calder, M. and Gilbert, D. (2005) When kinases meet mathematics: the systems biology of MAPK signalling. FEBS Letters, 579(8), pp. 1891-1895. (doi:10.1016/j.febslet.2005.02.002)

Orton, R.J., Sturm, O.E., Vyshemirsky, V., Calder, M., Gilbert, D.R. and Kolch, W. (2005) Computational modelling of the receptor-tyrosine-kinase-activated MAR pathway. Biochemical Journal, 392, pp. 249-261. (doi:10.1042/BJ20050908)

Calder, M. (2004) Abstraction for safety, induction for liveness. Algebraic Methodology and Software Technology, 3116, p. 20.

Calder, M. and Miller, A. (2004) Detecting feature interactions: how many components do we need? Lecture Notes in Computer Science, 2975, pp. 45-66. (doi:10.1007/b97772)

Saffrey, P. and Calder, M. (2004) Optimising Communication Structure for Model Checking. Lecture Notes in Computer Science, 2984, pp. 310-323. (doi:10.1007/b95935)

Calder, M. and Miller, A. (2003) Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus(FireWire)Protocol. Formal Aspects of Computing, 14(3), pp. 247-266. (doi:10.1007/s001650300004)

Calder, M., Kolberg, M., Magill, E.H. and Reiff-Marganiec, S. (2003) Feature interaction: a critical review and considered forecast. Computer Networks, 41(1), pp. 115-141. (doi:10.1016/S1389-1286(02)00352-3)

Calder, M., Maharaj, S. and Shankland, C. (2002) A modal logic for Full LOTOS based on symbolic transition systems. Computer Journal, 45, pp. 55-61.

Calder, M. and Miller, A. (2001) Using SPIN for feature interaction analysis - a case study. Lecture Notes in Computer Science, 2057, pp. 143-162.

Calder, M., Maharaj, S. and Shankland, C. (2001) An adequate logic for full LOTOS. Lecture Notes in Computer Science, 2021, pp. 384-395.

Book Sections

Calder, M., Gilmore, S., Hillston, J. and Vyshemirsky, V. (2009) Formal methods for biochemical signalling pathways. In: Boca, P., Bowen, J. P. and Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions. Springer, pp. 185-215. ISBN 9781848827356

Calder, M., Gray, P.D. and Unsworth, C. (2009) Tightly coupled verification of pervasive systems. In: Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009). European Association of Software Science and Technology (EASST).

Calder, M. and Reiff, S. (2000) Modelling legacy telecommunications switching systems for interaction analysis. In: Henderson, P. (ed.) Systems Engineering for Business Process Change. Springer, pp. 182-195. ISBN 1852332220

Edited Books

Calder, M. and Gilmore, S. (Eds.) (2007) Computational Methods in Systems Biology. Series: Lecture Notes in Bioinformatics. Springer. ISBN 978-3540751397

Conference Proceedings

Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. In: CAV 2016: 28th International Conference on Computer Aided Verification, Toronto, Canada, 17-23 Jul 2016, pp. 494-501. ISBN 9783319415390 (doi:10.1007/978-3-319-41540-6_27)

Calder, M. and Sevegnani, M. (2014) Do I need to fix a failed component now, or can I wait until tomorrow? In: Tenth European Dependable Computing Conference (EDCC 2014), Newcastle Upon Tyne, UK, 13-16 May 2014, pp. 66-77. (doi:10.1109/EDCC.2014.15)

Degasperi, A. and Calder, M. (2011) Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. In: 9th International Conference on Computational Methods in Systems Biology, Paris, France, 21-23 September 2011, p. 195. (doi:10.1145/2037509.2037537)

Calder, M. and Degasperi, A. (2010) Process Algebra with Hooks for Models of Pattern Formation. In: CS2Bio'10 1st International Workshop on Interactions between Computer Science and Biology, Amsterdam, Netherlands, 10 June 2010,

Donaldson, R., Tallcott, C., Knapp, M. and Calder, M. (2010) Understanding signalling networks as collections of signal transduction pathways. In: Conference on Computational Methods in Systems Biology (CMSB 2010), Trento, Italy, 29 Sep - 1 Oct 2010, pp. 86-95. (doi:10.1145/1839764.1839775)

Calder, M. , Vyshemirsky, V., Gilbert, D. and Orton, R. (2005) Analysis of Signalling Pathways Using the PRISM Model Checker. In: Computational Methods in Systems Biology (CMSB'05), Edinburgh, United Kingdom, 03-05 Apr 2005, pp. 179-190.

Miller, A. and Calder, M. (2005) A generic approach for the automatic verification of featured, parameterised systems. In: International Workshop on Feature Interactions in Telecommunications and Software Systems, Leicester, UK, 28-30 June 2005, pp. 217-235. ISBN 158603524X

Calder, M. and Miller, A. (2004) An automatic abstraction technique for verifying featured, parameterised systems. In: ISOLA: International Symposium on Leveraging Applications of Formal Methods, Cyprus, Greece, 30 Oct - 2 Nov 2004, pp. 227-234.

Donaldson, A., Miller, A. and Calder, M. (2004) Comparing the use of symmetry in constraint processing and model checking. In: 4th International Workshop on Symmetry and Constraint Satisfaction Problems, Toronto, Ontario, Canada, 27 Sep 2004, pp. 18-25.

Calder, M. and Miller, A. (2003) Generalising feature interactions in email. In: International Workshop on Feature Interactions in Telecommunications and Software Systems VII, Ottawa, Canada, 11-13 June 2003, pp. 187-205. ISBN 1586033484

Calder, M., Kolberg, M., Magill, E., Marples, D. and Reiff-Marganiec, S. (2003) Hybrid solutions to the feature interaction problem. In: Feature Interactions in Telecommunications and Software Systems VII, Ottawa, Ontario, 11-13 June, pp. 295-312. ISBN 1586033484

Miller, A. and Calder, M. (2003) An application of abstraction and induction techniques to degenerating systems of processes. In: International Workshop on Model-Checking for Dependable Software-Intensive Systems, San Francisco, CA, USA, 22-25 Jun 2003, W75-W79.

Calder, M. and Miller, A. (2002) Automatic verification of any number of concurrent, communicating processes. In: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, 23-27 September, pp. 227-230. ISBN 0769517366 (doi:10.1109/ASE.2002.1115017)

Calder, M. and Miller, A. (2002) Five ways to use induction and symmetry in the verification of networks of processes by model-checking. In: Second Workshop on Automated Verification of Critical Systems (AVoCS 2002), April 2002, pp. 29-42.

Calder, M. and Shankland, C. (2001) Symbolic semantics and bisimulation for full LOTOS. In: 21st International Conference on Formal Techniques for Networked and Distributed Systems, Cheju Island, Korea, 28-31 August 2001, pp. 185-200. ISBN 0792374703

Calder, M. (1998) What use are formal design and analysis methods to telecommunications services? In: International Workshop on Feature Interactions in Telecommunications and Software Systems, Lund, Sweden, 29 September - 1 October 1998, pp. 10-31. ISBN 9051994311

Calder, M. and Miller, A. (1998) Analysing a basic call protocol using Promela/XSpin. In: 4th Workshop on Automata Theoretic Verification with the SPIN Model Checker (SPIN '98), Paris, France, 2 Nov 1998, pp. 1-12.

This list was generated on Sun Jun 25 21:10:56 2017 BST.