Остановите войну!
for scientists:
default search action
Jane Hillston
- > Home > Persons > Jane Hillston
Publications
- 2016
- [c96]Stephen Gilmore, Jane Hillston, Natalia Zon:
Abstract Interpretation of PEPA Models. Semantics, Logics, and Calculi 2016: 140-158 - [c95]Natalia Zon, Stephen Gilmore, Jane Hillston:
Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. ISoLA (1) 2016: 674-688 - 2015
- [c88]Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Service Composition for Collective Adaptive Systems. Software, Services, and Systems 2015: 490-505 - [c85]Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31 - 2014
- [c76]Daniël Reijsbergen, Stephen Gilmore, Jane Hillston:
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. PASM 2014: 157-177 - 2012
- [j38]Jane Hillston, Mirco Tribastone, Stephen Gilmore:
Stochastic Process Algebras: From Individuals to Populations. Comput. J. 55(7): 866-881 (2012) - [j34]Mirco Tribastone, Stephen Gilmore, Jane Hillston:
Scalable Differential Analysis of Process Algebra Models. IEEE Trans. Software Eng. 38(1): 205-219 (2012) - [j33]Mirco Tribastone, Jie Ding, Stephen Gilmore, Jane Hillston:
Fluid Rewards for a Stochastic Process Algebra. IEEE Trans. Software Eng. 38(4): 861-874 (2012) - [c66]Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark:
Stochastic Modelling of the Kai-based Circadian Clock. PASM/PDMC 2012: 43-60 - [c65]Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
Conservation of Mass Analysis for Bio-PEPA. PASM/PDMC 2012: 107-126 - 2010
- [c56]Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper:
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC 2010: 620-630 - 2009
- [c50]Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
The Bio-PEPA Tool Suite. QEST 2009: 309-310 - [c49]Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe:
Design and Development of Software Tools for Bio-PEPA. WSC 2009: 956-967 - 2008
- [j22]Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston:
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. 74(6): 1013-1032 (2008) - [j21]Stephen Gilmore, Jane Hillston:
Foreword. SIGMETRICS Perform. Evaluation Rev. 35(4): 2 (2008) - [j20]Stephen Gilmore, Jane Hillston:
Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Perform. Evaluation Rev. 35(4): 3-13 (2008) - [c46]Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore:
Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB 2008: 2-4 - [c41]Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. PASM@EPEW 2008: 17-38 - 2007
- [c33]Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Stochastic Process Algebras. SFM 2007: 132-179 - [c30]Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston:
A Structural Approach for Modelling Performance of Systems Using Skeletons. QAPL 2007: 167-183 - 2006
- [j16]Muffy Calder, Stephen Gilmore, Jane Hillston:
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. Trans. Comp. Sys. Biology 7: 1-23 (2006) - [c29]Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston:
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB 2006: 63-77 - [c27]Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer:
A design environment for mobile applications. IPDPS 2006 - 2005
- [j15]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. Comput. J. 48(3): 369-378 (2005) - [j13]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra. Scalable Comput. Pract. Exp. 6(4) (2005) - [c26]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. CCGRID 2005: 317-324 - [c25]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Flexible Skeletal Programming with eSkel. Euro-Par 2005: 761-770 - [c23]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Using eSkel to Implement the Multiple Baseline Stereo Application. PARCO 2005: 673-680 - 2004
- [c21]Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul:
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. FORTE Workshops 2004: 262-277 - [c20]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Evaluating the Performance of Skeleton-Based High Level Parallel Programs. International Conference on Computational Science 2004: 289-296 - [c18]Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo:
Software performance modelling using PEPA nets. WOSP 2004: 13-23 - [c17]C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens:
Analysing UML 2.0 activity diagrams in the software performance engineering process. WOSP 2004: 74-78 - [c16]Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson:
Securing Statically-verified Communications Protocols Against Timing Attacks. PASM 2004: 123-143 - 2003
- [j11]Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo:
PEPA nets: a structured performance modelling formalism. Perform. Evaluation 54(2): 79-104 (2003) - [c15]Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami:
Performance Evaluation for Global Computation. Global Computing 2003: 229-253 - [c14]Stephen Gilmore, Jane Hillston, Leïla Kloul:
PEPA Nets. MASCOTS Tutorials 2003: 311-335 - 2002
- [c13]Stephen Gilmore, Jane Hillston, Marina Ribaudo:
PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS 2002: 111-130 - 2001
- [j7]Stephen Gilmore, Jane Hillston, Marina Ribaudo:
An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27(5): 449-464 (2001) - 2000
- [c10]Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo:
Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261 - [c8]Stephen Gilmore, Jane Hillston:
The PEPA Feature Construct. FIREworks 2000: 125-142 - 1999
- [j6]Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas:
Experiences with the PEPA performance modelling. IEE Proc. Softw. 146(1): 11-20 (1999) - [c6]Graham Clark, Stephen Gilmore, Jane Hillston:
Specifying Performance Measures for PEPA. ARTS 1999: 211-227 - 1995
- [j4]Stephen Gilmore, Jane Hillston:
Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland. Comput. J. 38(7): 489-491 (1995) - 1994
- [c4]Stephen Gilmore, Jane Hillston:
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. Computer Performance Evaluation 1994: 353-368
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 17:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint