Author image not provided
 Muffy Calder

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article9.86
Citation Count365
Publication count37
Publication years2001-2016
Available for download8
Average downloads per article435.13
Downloads (cumulative)3,481
Downloads (12 Months)133
Downloads (6 Weeks)13
SEARCH
ROLE
Arrow RightAuthor only
· Editor only
· Other only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


36 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 36
Result page: 1 2

Sort by:

1
June 2016 IFM 2016: Proceedings of the 12th International Conference on Integrated Formal Methods - Volume 9681
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 2

Evaluation and redesign of user-intensive mobile applications is challenging because users are often heterogeneous, adopting different patterns of activity, at different times. We set out a process of integrating statistical, longitudinal analysis of actual logged behaviours, formal, probabilistic discrete state models of activity patterns, and hypotheses over those models expressed ...

2 published by ACM
May 2016 ACM Transactions on Computer-Human Interaction (TOCHI): Volume 23 Issue 2, May 2016
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 12,   Downloads (12 Months): 83,   Downloads (Overall): 379

Full text available: PDFPDF
While HCI has a long tradition of formally modelling task-based interactions with graphical user interfaces, there has been less progress in modelling emerging ubiquitous computing systems due in large part to their highly contextual nature and dependence on unreliable sensing systems. We present an exploration of modelling an example ubiquitous ...
Keywords: mixed reality systems, formal modelling, Bigraphs

3 published by ACM
December 2015 Ada Lovelace Symposium '15: Ada Lovelace Symposium 2015- Celebrating 200 Years of a Computer Visionary
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 23,   Downloads (Overall): 69

Full text available: Mp4Mp4
Panel debate and short talks to conclude the symposium.

4
June 2015 Innovations in Systems and Software Engineering: Volume 11 Issue 2, June 2015
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

We investigate formal analysis of two aspects of usability in a deployed interactive, configurable and context-aware system: an event-driven, sensor-based homecare activity monitor system. The system was not designed from formal requirements or specification: we model the system as it is in the context of an agile development process. Our ...

5
April 2015 Theoretical Computer Science: Volume 577 Issue C, April 2015
Publisher: Elsevier Science Publishers Ltd.
Bibliometrics:
Citation Count: 4

Bigraphical Reactive Systems (BRS) were designed by Milner as a universal formalism for modelling systems that evolve in time, locality, co-locality and connectivity. But the underlying model of location (the place graph) is a forest, which means there is no straightforward representation of locations that can overlap or intersect. This ...
Keywords: Spatial models, Bigraphs, Rewriting, Matching, Semantics

6
May 2014 EDCC '14: Proceedings of the 2014 Tenth European Dependable Computing Conference
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0

We investigate how predictive event-based modelling can inform operational decision making in complex systems with component failures. By relating the status of components to service availability, and using stochastic temporal logic reasoning, we quantify the risk of service failure now, and in the future, after a given elapsed time. Decisions ...
Keywords: ctmc, communications service, safety-critical, temporal logic, predictive modelling

7
May 2014 Formal Aspects of Computing: Volume 26 Issue 3, May 2014
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 4

Stochastic bigraphical reactive systems (SBRS) is a recent formalism for modelling systems that evolve in time and space. However, the underlying spatial model is based on sets of trees and thus cannot represent spatial locations that are shared among several entities in a simple or intuitive way. We adopt an ...
Keywords: Quantitative analysis, Reactive systems, 802.11 protocol, Formal verification, Stochastic bigraphs

8
February 2014 Science of Computer Programming: Volume 80 Issue PB, February 2014
Publisher: Elsevier North-Holland, Inc.
Bibliometrics:
Citation Count: 5

Home wireless networks are difficult to manage and comprehend because of evolving locality, co-locality, connectivity and interaction. We define formal models of home wireless network infrastructure and policies and investigate how they can be used in a network management system designed to provide user-oriented support. We model spatial and temporal ...
Keywords: Bigraphs with sharing, Verification, Bigraphical reaction systems, Runtime model generation, Network management

9
October 2012 Theoretical Computer Science: Volume 456, October, 2012
Publisher: Elsevier Science Publishers Ltd.
Bibliometrics:
Citation Count: 1

Signalling pathways are well-known abstractions that explain the mechanisms whereby cells respond to signals. Collections of pathways form networks, and interactions between pathways in a network, known as cross-talk, enables further complex signalling behaviours. While there are several formal modelling approaches for signalling pathways, none make cross-talk explicit; the aim ...
Keywords: Biological modules, Cross-talk, Modelling, Signalling networks, Signalling pathways

10
June 2012 IFM'12: Proceedings of the 9th international conference on Integrated Formal Methods
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1

Runtime verification is analysis based on information extracted from a running system. Traditionally this involves reasoning about system states, for example using trace predicates. We have been investigating runtime verification for event-driven systems and in that context we propose a higher level of abstraction can be useful, namely reasoning at ...

11
January 2012 Transactions on Computational Systems Biology XIV: special issue on computational models for cell processes
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1

We formalise a continuous-time Markov chain with multi-dimensional discrete state space model of the AKAP scaffold protein as a crosstalk mediator between two biochemical signalling pathways. The analysis by temporal properties of the AKAP model requires reasoning about whether the counts of individuals of the same type (species) are increasing ...

12 published by ACM
September 2011 CMSB '11: Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 0,   Downloads (12 Months): 1,   Downloads (Overall): 87

Full text available: PDFPDF
We present a stochastic process algebra designed for modelling biological systems at multiple scales, called process algebra with hooks (PAH). In PAH, processes represent different scales, e.g. biochemistry, cells or tissue. There are two synchronisation operators, distinguishing interactions within and between scales; composed actions represent events that occur at multiple ...
Keywords: functional rates, multi-scale, tissue growth, process algebra

13
December 2010 Electronic Notes in Theoretical Computer Science (ENTCS): Volume 268, December, 2010
Publisher: Elsevier Science Publishers B. V.
Bibliometrics:
Citation Count: 3

We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain with levels and analyse properties using Continuous Stochastic Logic and the symbolic probabilistic model checker PRISM. We consider two kinds of properties of the ...
Keywords: scaffold proteins, stochastic model checking, CTMC with levels, trend formulas

14
December 2010 Electronic Notes in Theoretical Computer Science (ENTCS): Volume 268, December, 2010
Publisher: Elsevier Science Publishers B. V.
Bibliometrics:
Citation Count: 2

We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers of abstraction, from biochemistry to tissue, and special synchronisations via hook actions ensure consistency between these abstractions. There is an explicit representation of geometrical space and the algebra has a stochastic semantics based on functional rates of ...
Keywords: geometrical space, process algebra, labelled transition system, pattern formation

15
December 2010 Electronic Notes in Theoretical Computer Science (ENTCS): Volume 268, December, 2010
Publisher: Elsevier Science Publishers B. V.
Bibliometrics:
Citation Count: 0

We present the derivation of a CTMC with levels model of diffusion in cylindrical coordinates from the partial differential equation for Fick's law. The resulting model abstracts both molar concentration, by discrete levels, and spatial location, by discrete compartments. We apply the results to the diffusion of nitric oxide in ...
Keywords: cylindrical coordinates, ordinary differential equations, reaction-diffusion equations, continuous time Markov chains, geometrical space, partial differential equations

16
October 2010 FACS'10: Proceedings of the 7th international conference on Formal Aspects of Component Software
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0

Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on ...

17 published by ACM
September 2010 CMSB '10: Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 0,   Downloads (Overall): 59

Full text available: PDFPDF
Process algebras were originally designed for modelling concurrent computations. Over the last decade, computer scientists have explored their application to modelling bio-molecular processes, with considerable success. A predominant abstraction is molecule-as-process [RSS01, Car08], where each process represents a molecule. Analysis is by simulation and in a stochastic setting, there is ...

18 published by ACM
September 2010 CMSB '10: Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 1,   Downloads (Overall): 70

Full text available: PDFPDF
A signalling network is a network of reactions that govern how a cell responds to its environment. A pathway is a dynamic flow of "signal" through the network (signal transduction), for example from a receptor to a transcription factor that enables expression of a gene. In this paper we introduce ...
Keywords: T invariants, signalling networks, pathways, reaction minimal paths

19
October 2009 Transactions on Computational Systems Biology XI
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 8

We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit ...

20
September 2009 Electronic Notes in Theoretical Computer Science (ENTCS): Volume 250 Issue 1, September, 2009
Publisher: Elsevier Science Publishers B. V.
Bibliometrics:
Citation Count: 0

We present a technique to tackle the parameterised probabilistic model checking problem for a particular class of randomised distributed systems, which we model as Markov Decision Processes. These systems, termed degenerative, have the property that a model of a system with some communication graph will eventually behave like a model ...
Keywords: degenerative systems, Probabilistic model checking, PRISM, parameterised model checking



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us