| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mirco Tribastone, Stephen Gilmore, Jane Hillston |
Scalable Differential Analysis of Process Algebra Models.  |
IEEE Trans. Software Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston |
Scalable context-dependent analysis of emergency egress models. |
Formal Asp. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Caravagna, Jane Hillston |
Bio-PEPAd: A non-Markovian extension of Bio-PEPA. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Jane Hillston |
Fluid Model Checking |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vashti Galpin, Jane Hillston |
A semantic equivalence for Bio-PEPA based on discretisation of continuous values. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Vashti Galpin, Jane Hillston |
HYPE with stochastic events |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vashti Galpin, Jane Hillston, Federica Ciocchetta |
A semi-quantitative equivalence for abstracting from fast reactions |
CompMod |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Loewe, Maria Luisa Guerriero, Steven Watterson, Stuart L. Moodie, Peter Ghazal, Jane Hillston |
Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway. |
T. Comp. Sys. Biology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston |
Modelling Non-linear Crowd Dynamics in Bio-PEPA. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiejun Ma, Jane Hillston, Stuart Anderson |
On the Quality of Service of Crash-Recovery Failure Detectors. |
IEEE Trans. Dependable Sec. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Jane Hillston |
Bio-PEPA for Epidemiological Models. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Caravagna, Jane Hillston |
Modeling biological systems with delays in Bio-PEPA |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston |
Investigating modularity in the analysis of process algebra models of biochemical systems |
FBTC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Ding, Jane Hillston |
Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jie Ding, Jane Hillston |
Numerically Representing A Stochastic Process Algebra |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston |
Modelling and Analysis of the NF-kappaB Pathway in Bio-PEPA. |
T. Comp. Sys. Biology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Ding, Jane Hillston |
Structural Analysis for Stochastic Process Algebra Models. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Ding, Jane Hillston, David I. Laurenson |
Evaluating the Response Time of Large Scale Content Adaptation Systems Using Performance Evaluation Process Algebra. |
ICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone |
Hybrid Semantics for PEPA. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston |
Process Algebras for Collective Dynamics. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper |
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. |
Winter Simulation Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yussuf Abu-Shaaban, Jane Hillston |
Cost-based admission control for Internet Commerce QoS enhancement. |
Electronic Commerce Research and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Marta Z. Kwiatkowska, Miklós Telek |
Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Jane Hillston |
Bio-PEPA: A framework for the modelling and analysis of biological systems. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland |
Improved Continuous Approximation of PEPA Models through Epidemiological Examples. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston |
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder |
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Loewe, Stuart L. Moodie, Jane Hillston |
Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA |
COMPMOD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Muffy Calder, Jane Hillston |
Process Algebra Modelling Styles for Biomolecular Processes. |
T. Comp. Sys. Biology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vashti Galpin, Luca Bortolussi, Jane Hillston |
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vashti Galpin, Jane Hillston |
Equivalence and Discretisation in Bio-PEPA. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston |
The Bio-PEPA Tool Suite. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe |
Design and Development of Software Tools for Bio-PEPA. |
Winter Simulation Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nil Geisweiller, Jane Hillston, Marco Stenico |
Relating continuous and discrete PEPA models of signalling pathways. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey |
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Jane Hillston |
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vashti Galpin, Jane Hillston, Luca Bortolussi |
HYPE Applied to the Modelling of Hybrid Biological Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston |
Foreword. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston |
Performance evaluation comes to life: quantitative methods applied to biological systems. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
biochemical signalling pathways, systems biology, stochastic process algebra |
| 1 | Hao Wang, David I. Laurenson, Jane Hillston |
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore |
Integrated Analysis from Abstract Stochastic Process Algebra Models. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Loewe, Jane Hillston |
The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Jane Hillston |
Process Algebras in Systems Biology. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wang, David I. Laurenson, Jane Hillston |
An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning. |
PIMRC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Leïla Kloul |
Formal techniques for performance analysis: blending SAN and PEPA. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston |
A Structural Approach for Modelling Performance of Systems Using Skeletons. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston |
Quantitative analysis of biochemical signalling pathways. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
biochemical signalling pathways, systems biology, stochastic process algebra |
| 1 | Tiejun Ma, Jane Hillston, Stuart Anderson |
On the Quality of Service of Crash-Recovery Failure Detectors. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
Quality of Service, Monitoring, Dependability, Failure Detectors, Crash-Recovery |
| 1 | Tiejun Ma, Jane Hillston, Stuart Anderson |
Evaluation of the QoS of crash-recovery failure detection. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
quality of services, web services, fault tolerance, reliability, dependability, failure detection |
| 1 | Hao Wang, David I. Laurenson, Jane Hillston |
PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. |
MASCOTS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey |
Modelling Yeast Pre-rRNA Processing. |
CMSB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Jane Hillston (eds.) |
Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures |
SFM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone |
Stochastic Process Algebras. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Muffy Calder, Stephen Gilmore, Jane Hillston |
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. |
T. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer |
A design environment for mobile applications. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher |
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jane Hillston |
Population models from PEPA descriptions. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston |
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Leïla Kloul |
A Function-Equivalent Components Based Simplification Technique for PEPA Models. |
EPEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra. |
Scalable Computing: Practice and Experience |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson |
Securing Statically-verified Communications Protocols Against Timing Attacks. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston |
Tuning Systems: From Composition to Performance (The Needham Lecture). |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Flexible Skeletal Programming with eSkel. |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. |
CCGRID |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston |
Fluid Flow Approximation of PEPA models. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston |
Process Algebras for Quantitative Analysis. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Using eSkel to Implement the Multiple Baseline Stereo Application. |
PARCO |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jane Hillston, Leïla Kloul, Amdjed Mokhtari |
Towards a Feasible Active Networking Scenario. |
Telecommunication Systems |
2004 |
DBLP DOI BibTeX RDF |
node latency, performance analysis, packets loss, active rules, active nodes |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Evaluating the Performance of Skeleton-Based High Level Parallel Programs. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo |
Software performance modelling using PEPA nets. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
PEPA nets, performance analysis, mobile objects |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Marina Ribaudo |
Modelling Mobility with PEPA Nets. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo |
PEPA nets: a structured performance modelling formalism. |
Perform. Eval. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Leïla Kloul |
PEPA Nets. |
MASCOTS Tutorials |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami |
Performance Evaluation for Global Computation. |
Global Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Clark, Jane Hillston |
Product form solution for an insensitive stochastic process algebra structure. |
Perform. Eval. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Ulrich Herzog, Jane Hillston |
Unified specification and performance evaluation using stochastic process algebras. |
Perform. Eval. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Marina Ribaudo |
PEPA Nets: A Structured Performance Modelling Formalism. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Marina Ribaudo |
An Efficient Algorithm for Aggregating PEPA Models. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
model aggregation, performance evaluation tools, Performance modeling, stochastic process algebras |
| 1 | Jane Hillston, Leïla Kloul |
Performance investigation of an on-line auction system. |
Concurrency and Computation: Practice and Experience |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Leïla Kloul |
An Efficient Kronecker Representation for PEPA Models. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo |
Exploiting Modal Logic to Express Performance Measures. |
Computer Performance Evaluation / TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, J. Tomasik |
Amalgamation of Transition Sequences in the PEPA Formalism. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jane Hillston |
Exploiting Structure in Solution: Decomposing Compositional Models. |
European Educational Forum: School on Formal Methods and Performance Analysis |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Nigel Thomas |
Product Form Solution for a Class of PEPA Models. |
Perform. Eval. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas |
Experiences with the PEPA performance modelling. |
IEE Proceedings - Software |
1999 |
DBLP BibTeX RDF |
|
| 1 | Graham Clark, Stephen Gilmore, Jane Hillston |
Specifying Performance Measures for PEPA. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston |
A Tool to Enhance Model Exploitation. |
Perform. Eval. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter G. Harrison, Jane Hillston |
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. |
Comput. J. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Vassilis Mertsiotakis |
A Simple Time Scale Decomposition Technique for Stochastic Process Algebras. |
Comput. J. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach |
Stochastic process algebras: integrating qualitative and quantitative modelling. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston |
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. |
Computer Performance Evaluation |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Peter J. B. King, Rob Pooley (eds.) |
7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991 |
Computer and Telecommunications Performance Engineering |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jane Hillston, Andreas L. Opdahl, Rob Pooley |
A Case Study Using the IMSE Experimentation Tool. |
CAiSE |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Pooley, Jane Hillston |
The Performance Analysis Process. |
Computer and Telecommunications Performance Engineering |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")