UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Prof Muffy Calder' ordered by Year. (91)

2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1991 1990 1989 1987

2010

A SAT based algorithm for the matching problem in bigraphs with sharing
Sevegnani,M. Unsworth,C. Calder,M. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

Bigraphs with sharing
Calder,M. Sevegnani,M. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

Stochastic Process Algebra with Hooks for Models of Pattern Formation
Degasperi,A. Calder,M. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

An Introduction to Pervasive Automata
Calder,M. Gray,P. Miller,A. Unsworth,C. Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 2010 Springer [More Details].

Understanding Signalling Networks as Collections of Signal Transduction Pathways
Donaldson,R. Talcott,C. Knapp,M. Calder,M. ACM [More Details].

Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
Calder,M. Degasperi,A. Proceedings of CS2BIO 2010 Elsevier Science [More Details].

Modelling and and Analysis of Biochemical Signalling Pathway Crosstalk.
Calder,M. Donaldson,R. [More Details].

Process Algebra with Hooks for Models of Pattern Formation
Degasperi,A. Calder,M. To appear in Proceedings of CS2Bio Elsevier Science [More Details].

A Model and Analysis of the AKAP Scaffold
Andrei,O. Calder,M. To appear in Proceedings of CS2Bio Elsevier Science [More Details].

2009

Tightly coupled verification of pervasive systems
Calder,M. Gray,P.D. Unsworth,C. Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009) [More Details].

Towards the Verification of Pervasive Systems
Arapinis,M. Calder,M. Denis,L. Fisher,M. Gray,P. Konur,S. Miller,A. Ritter,E. Ryan,M. Schewe,S. Unsworth,C. Yasmin,R. Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009). Electronic Communications of the EASST. [More Details].

Process algebra modelling styles for biomolecular processes
Calder,M. Hillston,J. Transactions on Computational Systems Biology XI, LNBI 5750 pp 1-25 Springer Verlag [More Details].

Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems
Miller,A. Calder,M. Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS'08). Electronic Notes in Computer Science vol 250(2) pp 1-2 Elsevier Science [More Details].

An inductive technique for parameterised model checking of degenerative distributed randomised protocols
Graham,D. Calder,M. Miller,A. ENTCS, volume 250(1) pp 87-103 Electronic Notes in Theoretical Computer Science [More Details].

Formal methods for biochemical signalling pathways
Calder,M. Gilmore,S. Hillston,J. Vyshemirsky,V. Formal Methods: State of the Art and New Directions Springer [More Details].

2008

Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA
Ciochetta,F. Degasperi,A. Hillston,J.
Calder,M. Proceedings of FBTC 2008, ENTCS volume 229, issue 1 Elsevier Science [More Details].

Computational Methods for Systems Biology
Calder,M. Theoretical Computer Science, Volume 408/1 Elsevier Science [More Details].

An automatic abstraction technique for verifying featured, parameterised systems
Calder,M. Miller,A. Theoretical Computer Science, Volume 404 pp 235-255 Elsevier Science [More Details].

2007

Computational Methods in Systems Biology
Calder,M. Gilmore,S. Lecture Notes in Bioinformatics, volume 4695 Springer [More Details].

A template-based approach for the generation of abstractable and reducible models of featured networks
Miller,A. Calder,M. Donaldson,A.F. Computer Networks volume 51(2) pp 439-455 Elsevier Science [More Details].

2006

Verifying parameterised networks by abstraction and induction: experience from the IEEE 1394 protocol
Miller,A. Calder,M. DCS Technical Report Series pp 39 Dept of Computing Science, University of Glasgow [More Details].

Feature Interaction Detection by Pairwise Analysis of LTL Properties--a case study
Calder,M. Miller,A. Formal Methods in System Design, Volume 28(3), May 2006 pp 213--261 Springer [More Details].

Symmetry in temporal logic model checking
Miller,A. Donaldson,A.F. Calder,M. ACM Computing Surveys, volume 38, issue 3 ACM [More Details].

Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA
Calder,M. Gilmore,S. Hillston,J. Trans. on Computat. Syst. Biol. VII., volume 4230 pp 1-23 Springer Verlag [More Details].

Analysis of Signalling Pathways using Continuous Time Markov Chains
Calder,M. Vyshemirsky,V. Gilbert,D. Orton,R. Trans.on Computat. Syst. Biol. VI, volume 4220 pp 44-67 Springer Verlag [More Details].

What do scaffold proteins really do?
Calder,M. Hillston,J. Proceedings of PASTA 2006 (Fifth Workshop on Process Algebra and Stochastically Timed Activities) Imperial College Press [More Details].

Stronger computational modelling of signalling pathways using both continuous and discrete-state methods
Calder,M. Duguid,A. Gilmore,S. Hillston,J. Computational Methods for Systems Biology, LNBI Vol. 4210 pp 63-78 Springer Verlag [More Details].

2005

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis
Donaldson,A.F.
Miller,A. Calder,M. Electronic Notes in Theoretical Computer Science, volume 128/6 pp 161-177 Elsevier Science [More Details].

Automatically deriving ODEs from process algebra models of signalling pathways
Calder,M. Gilmore,S. Hillston,J. Proceedings of Third International CMSB 2005 (Computational Methods in Systems Biology) pp 204-215 University of Edinburgh [More Details].

Analysis of Signalling Pathways using the Prism Model Checker
Calder,M. Vyshemirsky,V. Gilbert,D. Orton,R. Proceedings of Third International CMSB 2005 (Computational Methods in Systems Biology). pp 179-190 University of Edinburgh [More Details].

A generic approach for the automatic verification of featured, parameterised systems
Miller,A. Calder,M. In proceedings of Eighth International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI '05) pp 217--235 IOS Press [More Details].

When kinases meet mathematics: the systems biology of MAPK signalling
Kolch,W. Calder,M. Gilbert,D. FEBS Lett 579 pp 1891-1895 [More Details].

Computational Modelling of the Receptor Tyrosine Kinase Activated MAPK Pathway
Orton,R.J. Sturm,O. Vyshemirsky,V. Calder,M. Gilbert,D.R. Kolch,W. Biochemical Journal, Volume 392 pp 249--261 [More Details].

2004

Modelling the Influence of RKIP on the ERK Signalling Pathway using the Stochastic Process Algebra PEPA
Calder,M. Gilmore,S. Hillston,J. DCS Tech Report [More Details].

Verifying parameterised, featured networks by abstraction
Calder,M. Miller,A. Proceedings of the first International Symposium on Leveraging Applications of Formal Methods (ISOLA'04) pp 227--234 [More Details].

Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA
Calder,M. Gilmore,S. Hillston,J. Proceedings of bio-CONCUR 2004, 2nd workshop on Concurrent Models in Molecular Biology, Electronic Notes in Theoretical Computer Science [More Details].

Optimising Communications Structure for Model Checking
Saffrey,P. Calder,M. Proceedings of FASE 2004 (International Conference on Fundamental Approaches to Software Engineering), Barcelona. Lecture Notes in Computer Science, volume 2984. pp 310-324 Springer Verlag [More Details].

Detecting feature interactions: how many components do we need?
Calder,M. Miller,A. Objects, Agents and Features. Lecture Notes in Computing Science. Volume 2975 pp 45-66 Springer Verlag [More Details].

SPIN-to-GRAPE: a tool for analysing symmetry in Promela models
Donaldson,A. Miller,A. Calder,M. Electronic notes in Theoretical computer science 139/1 pp 3-23 Elsevier Science [More Details].

Comparing the use of symmetry in constraint processing and model checking
Donaldson,A. Miller,A. Calder,M. Proceedings of the the 4th International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'04) pp 18-25 [More Details].

2003

Using SPIN to Analyse the Tree Identification phase of the IEEE 1394 High Performance Serial Bus (FireWire) Protocol
Calder,M. Miller,A. Formal Aspects of Computing 14 (2003) 3 pp 247--266 Springer Verlag [More Details].

Generalising Feature Interactions in Email
Calder,M. Miller,A. Feature Interactions in Telecommunications and Software Systems VII pp 187-205 IOS Press [More Details].

Hybrid Solutions to the Feature Interaction Problem
Calder,M. Kolberg,M. Magill,E. Marples,D. Reiff-Marganiec,S. Feature Interactions in Telecommunications and Software Systems VII pp 295-312 IOS Press [More Details].

Feature Interaction: A Critical Review and Considered Forecast
Calder,M. Magill,E. Kolberg,M. Reiff-Marganiec,S. Computer Networks, Volume 41/1 pp 115-141 North-Holland [More Details].

An application of abstraction and induction techniques to degenerating systems of processes
Miller,A. Calder,M. Proceedings of the International Workshop on Model-Checking for Dependable Software-Intensive Systems (MCDSIS`03), supplement to the Proceedings of DSN-2003 pp W75 - W79 IEEE Computer Society Press [More Details].

Two approaches to verifying the Tree identify phase of the IEEE 1394 (FireWire) protocol for any size of network
Miller,A. Calder,M. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

2002

A Modal Logic for Full LOTOS based on Symbolic Transition Systems
Calder,M. Maharaj,S. Shankland,C. The Computer Journal, Vol. 45, No. 1 pp 55-61 Oxford University Press [More Details].

Five ways to use induction and symmetry in the verification of networks of processes by model-checking
Calder,M. Miller,A. Proceedings of AvoCS 2002 (Automated Verification of Critical Systems), University of Birmingham School of Computer Science Technical Report CSR-02-6 pp 29-42 [More Details].

Feature Interaction Detection by Pairwise Analysis of LTL Properties
Calder,M. Miller,A. DCS Tech Report [More Details].

Feature Validation for any Number of Processes
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Automatic verification of any number of concurrent, communicating processes
Calder,M. Miller,A. Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002) pp 227-230 IEEE [More Details].

2001

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Using SPIN to Analyse the FireWire Protocol - a Case Study
Calder,M. Miller,A. Proceedings of the International Workshop on Application of Formal Methods to IEEE 1394 Standard pp 9--13 University of Stirling [More Details].

An Adequate Logic for Full LOTOS
Calder,M. Maharaj,S. Shankland,C. Proceedings of FME 2001, Lecture Notes in Computer Science, volume 2021 pp 384-395 Springer [More Details].

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C. 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 [More Details].

Theory and Practice of Enhancing a Legacy Software System
Calder,M. Magill,E. Reiff-Marganiec,S. Thayananthan,V. Systems Engineering for Business Process Change (volume 2), P.Henderson (ed.) Springer [More Details].

Using SPIN for Feature Interaction Analysis -- a Case Study
Calder,M. Miller,A. Proceedings of the 8th International SPIN Workshop (SPIN 2001), Toronto, Canada. Lecture Notes in Computer Science, vol 2057 pp 143-162 Springer [More Details].

Using the Model Checker SPIN to Detect Feature Interactions in Telecommunications Services
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

2000

Modelling Legacy Telecommunications Switching Systems for Interaction Analysis
Calder,M. Reiff,S. Systems Engineering for Business Process Change, P. Henderson (ed.) pp 182-195 Springer [More Details].

Feature Interactions in Telecommunications and Software Systems VI
Calder,M. Magill,E. IOS Press [More Details].

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Model Checking Networks of Telecommunications Services using SPIN
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

A Multi-cast Framework in Support of Scalable Monitoring Systems for Telecommunication Networks
Sventek,J.S. Guerraoui,R. Pollock,G. Thomas,M. Thompson,D. [More Details].

1999

A Hybrid Approach to Software Interworking Problems: Managing Interactions Between Legacy and Evolving Telecommunications Services
Calder,M. Marples,D. Magill,E. IEE Proceedings Software pp 167-175 IEE Publications [More Details].

The Application of Model-Checking to Verification Problems in Telephone Switching Systems
Reiff,S. Calder,M. Proceedings of the 6th Workshop on Automated Reasoning - Bridging the gap between theory and practice (Edinburgh, UK) [More Details].

Modelling a Telephone Switching System for Verification
Reiff,S. Calder,M. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

1998

Organisation, Information and Computation
Thomas,M. Jeffcutt,P. ORGANIZATION, 5/3 pp 397-423 Sage
[More Details].

What use are Formal Analysis and Design Methods to Telecommunications Services?
Calder,M. Feature Interactions in Telecommunications and Software Systems V, K. Kimbler and L.G. Bouma, (eds.) pp 10-31 IOS Press [More Details].

Analysing a Basic Call Protocol using PROMELA/XSPIN
Calder,M. Miller,A. Proceedings SPIN '98: Workshop on Automata Theoretic Verification with the SPIN model Checker, Paris, G. Holzmann (ed.) pp 169-181 [More Details].

Interactive Theorem Proving: An Empirical Study of User Activity
Aitken,J.S. Gray,P. Melham,T.F. Thomas,M. Journal of Symbolic Computation. Volume No. 25 pp 263-284 [More Details].

1997

Accident Analysis and Action Logic
Burns,C.
Johnson,C.W. Thomas,M. DCS Tech Report pp 33-39 [More Details].

Modelling User Views of Telecommunications Services for Feature Interaction Detection and Resolution
Thomas,M. Feature Interactions in Telecommunications Networks IV, P. Dini et al (eds.) pp 168-183 IOS Press [More Details].

Symbolic Bisimulations for Full LOTOS
Thomas,M. Shankland,C. Proceedings of AMAST 97, Melbourne, Australia, (M. Johnson ed.), Lecture Notes in Computer Science, vol. 1349 pp 479-493 Springer [More Details].

Towards a Modal Logic for Full LOTOS
Thomas,M. Kirkwood,C. Proceedings of Northern Formal Methods Workshop Springer [More Details].

Order, Disorder and the Unmanageability of Boundaries in Organised Life
Thomas,M. Jeffcutt,P. In the Realm of Organization: Essays for Robert Cooper (R.C.H. Chia, ed.) pp 67-87 Routledge [More Details].

1996

Formal Methods and their Role in Developing Safe Systems
Thomas,M. High Integrity Systems Journal, vol. 1, no. 5 pp 447-452 Oxford University Press
[More Details].

Phases, Modes and Information Flow in Theory Development
Aitken,J.S. Gray,P. Melham,T.F. Thomas,M. An International Workshop:University of York pp 1-8 University of York [More Details].

1995

Experiences with LOTOS: A Report on Two Case Studies
Kirkwood,C. Thomas,M. Proceedings of WIFT '95 pp 159-172 IEEE Computer Society Press
[More Details].

Interactive Proof Discover: An Empirical Study of HOL Users
Aitken,S. Gray,P. Melham,T.F. Thomas,M. User Interface Design for Theorem Proving Systems: an International Workshop University of Glasgow [More Details].

A Study of User Activity in Interactive Theorem Proving
Aitken,S. Gray,P. Melham,T.F. Thomas,M. Task Centred Approaches to Interface Design: Glasgow Interactive Systems Group Research Review pp 195-218 Dept of Computing Science, University of Glasgow [More Details].

1994

On the Design of Side-Stick Controllers in Fly-By-Wire Aircraft
Thomas,M. Ormsby,B. ACM Applied Computing Review , Volume 2, Number 1 ACM Press
[More Details].

Verification Techniques for LOTOS
Martin,U. Thomas,M. Proceedings of Formal Methods Europe '94, Lecture Notes in Computer Science, Volume 873 Springer [More Details].

The Story of the Therac-25 in LOTOS
Thomas,M. High Integrity Systems Journal, Volume 1, Number 1 pp 3-17 Oxford University Press [More Details].

A Proof of Incorrectness using LP: the Editing Problem from the Therac-25
Thomas,M. High Integrity Systems Journal, Volume 1, Number 1 Oxford University Press [More Details].

1993

Solving Divergence inKnuth-Bendix Completion by Enriching Signatures
Thomas,M. Watson,P. Theoretical Computer Science,vol. 112 pp 145-185 Elsevier Science
[More Details].

A Translator Tool for ASN.1 into LOTOS
Thomas,M. Formal Description Techniques V, M. Diaz, R. Groz (eds.) pp 37-52 Elsevier Science [More Details].

1991

Generalising Sequences of Rewrite Rules by Synthesising New Sorts
Thomas,M. Watson,P Extended Abstract, Functional Programming, Glasgow 1990, Workshops in Computing, S. Peyton-Jones, G. Hutton, C. Kehler Holst (eds.) pp 268-273 Springer
[More Details].

Algebraic Semantics
Thomas,M. Chapter 4 pp 147-183 Prentice Hall [More Details].

1990

From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1
Thomas,M. Formal Description Techniques II,S.T. Vuong (Ed.) pp 517-532 Elsevier Science
[More Details].

1989

Inductive Inference for Solving Divergence in Knuth-Bendix Completion
Thomas,M. Jantke,K. Proceedings of Analogical and Inductive Inference '89, Lecture Notes in Computer Science, Volume 397 pp 288-303 Springer
[More Details].

1987

Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language
Thomas,M. Proceedings of TAPSOFT, Pisa, March 1987, Lecture Notes in Computer Science, Volume 250 pp 197-211 Springer
[More Details].