School of Computing Science

Prof Muffy Calder

Prof. Muffy Calder
  • Professor of Formal Methods (Computing Science)

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


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

Biography:
Muffy Calder is Professor of Formal Methods in the School of Computing Science and on secondment to Scottish Government as Chief Scientific Adviser for Scotland (a 60% position).  Her research is in modelling and reasoning about the behaviour of complex software and biochemical systems using computer science, mathematics and automated reasoning techniques, and she currently holds a Royal Society Wolfson Research merit award.  In the distant past has been a research fellow at BT Laboratories and at DEC Research Labs in California, she is currently collaborating on research with NATS (air traffic services).

Previously, she was a Royal Society Leverhulme Research Senior Fellow and Dean for Research in the College of Science and Engineering. Before that she held various positions including  Head of Department, chair of UKCRC (UK Computing Research Committee), chair of the BCS Academy of Computing Research Committee, Senate Assessor on Court, member of EPSRC TOP (Technical Opportunities Panel) and the Scottish Science Advisory Committee.  Currently, she is  MSc. external examiner at University of Manchester. She is a past external examiner 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 Society of Edinburgh and was awarded the OBE in 2011.

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

Due to essential maintenance on Enlighten, links to individual publications may be temporarily unavailable

Jump to: 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1998
Number of items: 49.

2013

Andrei, O., and Calder, M. (2013) Trend-based analysis of a population model of the AKAP scaffold protein. In: Transactions on Computational Systems Biology XIV. Series: Lecture Notes in Bioinformatics (7625). Springer, pp. 1-25. (In Press)

Calder, M., and Sevegnani, M. (2013) Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computing . ISSN 0934-5043 (doi:10.1007/s00165-012-0270-3) (In Press)

2012

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

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. ISSN 0302-9743 (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. ISSN 0302-9743 (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, 21-23 September 2011, Paris, France.

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. ISSN 1571-0661 (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, 10 June 2010, Amsterdam, Netherlands.

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

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), 29 Sep - 1 Oct 2010, Trento, Italy.

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. ISSN 2075-2180 (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. ISSN 1937-9145 (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. ISSN 1571-0661 (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 . ISSN 1863-2122

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. ISSN 0302-9743 (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. ISSN 1571-0661 (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. ISSN 1571-0661 (doi:10.1016/j.entcs.2009.08.013)

2008

Calder, Muffy, and Miller, Alice (2008) An automatic abstraction technique for verifying featured, parameterised systems. Theoretical Computer Science, 404 (3). pp. 235-255. ISSN 0304-3975 (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. ISSN 1389-1286 (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, 4695 . Springer. ISBN 978-3540751397

2006

Miller, A., Donaldson, A., and Calder, M. (2006) Symmetry in temporal logic model checking. ACM Computing Surveys, 38 (3). ISSN 0360-0300 (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. ISSN 0925-9856 (Paper), 1572-8102 (Online) (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. ISSN 0302-9743 (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. ISSN 1611-3349 (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. ISSN 1611-3349 (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. ISSN 0302-9743 (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. ISSN 0302-9743 (doi:10.1007/11880646_3)

2005

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. ISSN 0304-3975 (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. ISSN 0014-5793 (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, 28-30 June 2005, Leicester, UK.

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. ISSN 0264-6021 (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. ISSN 0302-9743 (doi:10.1007/b97772)

Calder, M., and Miller, A. (2004) An automatic abstraction technique for verifying featured, parameterised systems. In: Proceedings of the first International Symposium on Leveraging Applications of Formal Methods (ISOLA '04), 30 October - 2nd November 2004, Paphos, Cyprus.

Saffrey, P., and Calder, M. (2004) Optimising Communication Structure for Model Checking. Lecture Notes in Computer Science, 2984 . pp. 310-323. ISSN 0302-9743 (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, 11-13 June 2003, Ottawa, Canada.

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. ISSN 1433-299X (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. ISSN 1389-1286 (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, 11-13 June, Ottawa, Ontario.

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, 23-27 September, Edinburgh.

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. ISSN 03029743

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, 28-31 August 2001, Cheju Island, Korea.

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

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, 29 September - 1 October 1998, Lund, Sweden.

This list was generated on Thu Mar 14 16:01:43 2013 GMT.