| 2009 |
|---|
| 68 | EE | 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. 229(1): 145-163 (2009) |
| 67 | EE | Soufiene Benkirane,
Jane Hillston,
Chris McCaig,
Rachel Norman,
Carron Shankland:
Improved Continuous Approximation of PEPA Models through Epidemiological Examples.
Electr. Notes Theor. Comput. Sci. 229(1): 59-74 (2009) |
| 66 | EE | 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. 232: 17-38 (2009) |
| 65 | EE | 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. 35(2): 145-147 (2009) |
| 2008 |
|---|
| 64 | EE | Laurence Loewe,
Jane Hillston:
The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock.
CMSB 2008: 156-175 |
| 63 | EE | Jane Hillston,
Federica Ciocchetta,
Adam Duguid,
Stephen Gilmore:
Integrated Analysis from Abstract Stochastic Process Algebra Models.
CMSB 2008: 2-4 |
| 62 | EE | Hao Wang,
David I. Laurenson,
Jane Hillston:
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra.
ICC 2008: 192-197 |
| 61 | EE | Federica Ciocchetta,
Jane Hillston:
Process Algebras in Systems Biology.
SFM 2008: 265-312 |
| 60 | EE | Federica Ciocchetta,
Jane Hillston:
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks.
Electr. Notes Theor. Comput. Sci. 194(3): 103-117 (2008) |
| 59 | EE | Vashti Galpin,
Jane Hillston,
Luca Bortolussi:
HYPE Applied to the Modelling of Hybrid Biological Systems.
Electr. Notes Theor. Comput. Sci. 218: 33-51 (2008) |
| 58 | EE | 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) |
| 57 | EE | Stephen Gilmore,
Jane Hillston:
Foreword.
SIGMETRICS Performance Evaluation Review 35(4): 2 (2008) |
| 56 | EE | Stephen Gilmore,
Jane Hillston:
Performance evaluation comes to life: quantitative methods applied to biological systems.
SIGMETRICS Performance Evaluation Review 35(4): 3-13 (2008) |
| 55 | EE | Nil Geisweiller,
Jane Hillston,
Marco Stenico:
Relating continuous and discrete PEPA models of signalling pathways.
Theor. Comput. Sci. 404(1-2): 97-111 (2008) |
| 54 | EE | Federica Ciocchetta,
Jane Hillston,
Martin Kos,
David Tollervey:
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA.
Theor. Comput. Sci. 408(1): 41-54 (2008) |
| 2007 |
|---|
| 53 | | Marco Bernardo,
Jane Hillston:
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
Springer 2007 |
| 52 | EE | Federica Ciocchetta,
Jane Hillston,
Martin Kos,
David Tollervey:
Modelling Yeast Pre-rRNA Processing.
CMSB 2007: 32-47 |
| 51 | EE | Tiejun Ma,
Jane Hillston,
Stuart Anderson:
On the Quality of Service of Crash-Recovery Failure Detectors.
DSN 2007: 739-748 |
| 50 | EE | Hao Wang,
David I. Laurenson,
Jane Hillston:
PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6.
MASCOTS 2007: 337-342 |
| 49 | EE | Tiejun Ma,
Jane Hillston,
Stuart Anderson:
Evaluation of the QoS of crash-recovery failure detection.
SAC 2007: 538-542 |
| 48 | EE | Allan Clark,
Stephen Gilmore,
Jane Hillston,
Mirco Tribastone:
Stochastic Process Algebras.
SFM 2007: 132-179 |
| 47 | EE | Jane Hillston:
Quantitative analysis of biochemical signalling pathways.
VALUETOOLS 2007: 72 |
| 46 | EE | Gagarine Yaikhom,
Murray Cole,
Stephen Gilmore,
Jane Hillston:
A Structural Approach for Modelling Performance of Systems Using Skeletons.
Electr. Notes Theor. Comput. Sci. 190(3): 167-183 (2007) |
| 45 | EE | Jane Hillston,
Leïla Kloul:
Formal techniques for performance analysis: blending SAN and PEPA.
Formal Asp. Comput. 19(1): 3-33 (2007) |
| 2006 |
|---|
| 44 | EE | 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 |
| 43 | EE | Jane Hillston,
Leïla Kloul:
A Function-Equivalent Components Based Simplification Technique for PEPA Models.
EPEW 2006: 16-30 |
| 42 | EE | Stephen Gilmore,
Valentin Haenel,
Jane Hillston,
Jennifer Tenzer:
A design environment for mobile applications.
IPDPS 2006 |
| 41 | EE | 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 |
| 40 | EE | Jane Hillston:
Population models from PEPA descriptions.
Simulation and Verification of Dynamic Systems 2006 |
| 39 | EE | 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: 1-23 (2006) |
| 2005 |
|---|
| 38 | EE | 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 |
| 37 | EE | Anne Benoit,
Murray Cole,
Stephen Gilmore,
Jane Hillston:
Flexible Skeletal Programming with eSkel.
Euro-Par 2005: 761-770 |
| 36 | EE | Jane Hillston:
Process Algebras for Quantitative Analysis.
LICS 2005: 239-248 |
| 35 | | Anne Benoit,
Murray Cole,
Stephen Gilmore,
Jane Hillston:
Using eSkel to Implement the Multiple Baseline Stereo Application.
PARCO 2005: 673-680 |
| 34 | EE | Jane Hillston:
Fluid Flow Approximation of PEPA models.
QEST 2005: 33-43 |
| 33 | EE | Anne Benoit,
Murray Cole,
Stephen Gilmore,
Jane Hillston:
Scheduling Skeleton-Based Grid Applications Using PEPA and NWS.
Comput. J. 48(3): 369-378 (2005) |
| 32 | EE | Jane Hillston:
Tuning Systems: From Composition to Performance (The Needham Lecture).
Comput. J. 48(4): 385-400 (2005) |
| 31 | EE | Mikael Buchholtz,
Stephen T. Gilmore,
Jane Hillston,
Flemming Nielson:
Securing Statically-verified Communications Protocols Against Timing Attacks.
Electr. Notes Theor. Comput. Sci. 128(4): 123-143 (2005) |
| 2004 |
|---|
| 30 | EE | 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 |
| 29 | EE | Jane Hillston,
Marina Ribaudo:
Modelling Mobility with PEPA Nets.
ISCIS 2004: 513-522 |
| 28 | EE | 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 |
| 27 | EE | Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
Marina Ribaudo:
Software performance modelling using PEPA nets.
WOSP 2004: 13-23 |
| 26 | EE | 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 |
| 25 | EE | Jane Hillston,
Leïla Kloul,
Amdjed Mokhtari:
Towards a Feasible Active Networking Scenario.
Telecommunication Systems 27(2-4): 413-438 (2004) |
| 2003 |
|---|
| 24 | EE | Linda Brodo,
Pierpaolo Degano,
Stephen Gilmore,
Jane Hillston,
Corrado Priami:
Performance Evaluation for Global Computation.
Global Computing 2003: 229-253 |
| 23 | EE | Stephen Gilmore,
Jane Hillston,
Leïla Kloul:
PEPA Nets.
MASCOTS Tutorials 2003: 311-335 |
| 22 | EE | Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
Marina Ribaudo:
PEPA nets: a structured performance modelling formalism.
Perform. Eval. 54(2): 79-104 (2003) |
| 2002 |
|---|
| 21 | EE | Stephen Gilmore,
Jane Hillston,
Marina Ribaudo:
PEPA Nets: A Structured Performance Modelling Formalism.
Computer Performance Evaluation / TOOLS 2002: 111-130 |
| 20 | | Graham Clark,
Jane Hillston:
Product form solution for an insensitive stochastic process algebra structure.
Perform. Eval. 50(2/3): 129-151 (2002) |
| 19 | | Roberto Gorrieri,
Ulrich Herzog,
Jane Hillston:
Unified specification and performance evaluation using stochastic process algebras.
Perform. Eval. 50(2/3): 79-82 (2002) |
| 2001 |
|---|
| 18 | EE | Jane Hillston,
Leïla Kloul:
An Efficient Kronecker Representation for PEPA Models.
PAPM-PROBMIV 2001: 120-135 |
| 17 | | Jane Hillston,
Leïla Kloul:
Performance investigation of an on-line auction system.
Concurrency and Computation: Practice and Experience 13(1): 23-41 (2001) |
| 16 | EE | Stephen Gilmore,
Jane Hillston,
Marina Ribaudo:
An Efficient Algorithm for Aggregating PEPA Models.
IEEE Trans. Software Eng. 27(5): 449-464 (2001) |
| 2000 |
|---|
| 15 | EE | Graham Clark,
Stephen Gilmore,
Jane Hillston,
Marina Ribaudo:
Exploiting Modal Logic to Express Performance Measures.
Computer Performance Evaluation / TOOLS 2000: 247-261 |
| 14 | EE | Jane Hillston:
Exploiting Structure in Solution: Decomposing Compositional Models.
European Educational Forum: School on Formal Methods and Performance Analysis 2000: 278-314 |
| 13 | | Jane Hillston,
J. Tomasik:
Amalgamation of Transition Sequences in the PEPA Formalism.
ICALP Satellite Workshops 2000: 523-534 |
| 1999 |
|---|
| 12 | EE | Graham Clark,
Stephen Gilmore,
Jane Hillston:
Specifying Performance Measures for PEPA.
ARTS 1999: 211-227 |
| 11 | | Graham Clark,
Stephen Gilmore,
Jane Hillston,
Nigel Thomas:
Experiences with the PEPA performance modelling.
IEE Proceedings - Software 146(1): 11-20 (1999) |
| 10 | | Jane Hillston,
Nigel Thomas:
Product Form Solution for a Class of PEPA Models.
Perform. Eval. 35(3-4): 171-192 (1999) |
| 1995 |
|---|
| 9 | | 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) |
| 8 | | Peter G. Harrison,
Jane Hillston:
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models.
Comput. J. 38(7): 510-520 (1995) |
| 7 | | Jane Hillston,
Vassilis Mertsiotakis:
A Simple Time Scale Decomposition Technique for Stochastic Process Algebras.
Comput. J. 38(7): 566-577 (1995) |
| 6 | | Jane Hillston:
A Tool to Enhance Model Exploitation.
Perform. Eval. 22(1): 59-74 (1995) |
| 1994 |
|---|
| 5 | | 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 |
| 4 | | Jane Hillston,
Holger Hermanns,
Ulrich Herzog,
Vassilis Mertsiotakis,
Michael Rettelbach:
Stochastic process algebras: integrating qualitative and quantitative modelling.
FORTE 1994: 449-451 |
| 1992 |
|---|
| 3 | | Jane Hillston,
Peter J. B. King,
Rob Pooley:
7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991
Springer 1992 |
| 1991 |
|---|
| 2 | | Jane Hillston,
Andreas L. Opdahl,
Rob Pooley:
A Case Study Using the IMSE Experimentation Tool.
CAiSE 1991: 284-306 |
| 1 | | Rob Pooley,
Jane Hillston:
The Performance Analysis Process.
Computer and Telecommunications Performance Engineering 1991: 1-14 |
