Papers authored by Muffy Calder
Refreshing results…
,
Stephen Gilmore,
Jane Hillston,
Vladislav Vyshemirsky
Formal Methods for Biochemical Signalling Pathways
Download from www.researchgate.net
,
Jane Hillston,
Muffy Calder
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Download from doi.org
,
Jane Hillston
Process Algebra Modelling Styles for Biomolecular Processes
Download from eprints.gla.ac.uk
,
Alice Miller
An automatic abstraction technique for verifying featured, parameterised systems
Download from doi.org
,
M. Yoshioka,
G. N. Yannakakis,
S. Yang,
P. Yan,
S. B. Yahia,
N. Wilson,
X.-Y. Xue,
E. Yilmaz,
O. Watanabe,
F. Wang,
G. Wei,
M. E. M. T. Walter ,
P. Vrba
and 182 other authors
Upload
Symmetry in temporal logic model checking.
Download from www.researchgate.net
,
Alice Miller
Feature interaction detection by pairwise analysis of LTL properties - A case study
Download from link.springer.com
,
Vladislav Vyshemirsky,
David Gilbert,
Richard J. Orton
Analysis of Signalling Pathways Using Continuous Time Markov Chains
Download from www.researchgate.net
,
David R. Gilbert,
Walter Kolch
Computational modelling of the receptor-tyrosine-kinase-activated MAPK pathway
Download from portlandpress.com
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models.
Download from www.researchgate.net
A Generic Approach for the Automatic Verification of Featured, Parameterised Systems
Download from www.researchgate.net
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis
Download from doi.org
,
David Gilbert
When kinases meet mathematics: the systems biology of MAPK signalling
Download from onlinelibrary.wiley.com
Abstraction for Safety, Induction for Liveness.
Download from www.researchgate.net
Optimising communication structure for model checking
Download from link.springer.comMissing publications? Search for publications with a matching author name.