Jane Hillston

2008
54	EE	Stephen Gilmore, Jane Hillston: Foreword. SIGMETRICS Performance Evaluation Review 35(4): 2 (2008)
53	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)
2007
52		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
51	EE	Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey: Modelling Yeast Pre-rRNA Processing. CMSB 2007: 32-47
50	EE	Tiejun Ma, Jane Hillston, Stuart Anderson: On the Quality of Service of Crash-Recovery Failure Detectors. DSN 2007: 739-748
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

Coauthor Index

1	Stuart Anderson	[49] [50]
2	Grégory Batt	[41]
3	Anne Benoit	[28] [33] [35] [37] [38]
4	Marco Bernardo	[52]
5	Jeremy T. Bradley	[41]
6	Linda Brodo	[24]
7	Mikael Buchholtz	[31]
8	Muffy Calder (Muffy Thomas)	[39] [44]
9	C. Canevet	[26]
10	Federica Ciocchetta	[51]
11	Allan Clark	[48]
12	Graham Clark	[11] [12] [15] [20]
13	Murray Cole	[28] [33] [35] [37] [38] [46]
14	Pierpaolo Degano	[24]
15	Adam Duguid	[44]
16	Roland Ewald	[41]
17	François Fages	[41]
18	Stephen Gilmore (Stephen T. Gilmore)	[5] [9] [11] [12] [15] [16] [21] [22] [23] [24] [26] [27] [28] [30] [31] [33] [35] [37] [38] [39] [42] [44] [46] [48] [53] [54]
19	Roberto Gorrieri	[19]
20	Valentin Haenel	[30] [42]
21	Peter G. Harrison	[8]
22	Holger Hermanns	[4] [41]
23	Ulrich Herzog	[4] [19]
24	Peter Kemper	[41]
25	Peter J. B. King	[3]
26	Leïla Kloul	[17] [18] [22] [23] [25] [26] [27] [30] [43] [45]
27	Martin Kos	[51]
28	Tiejun Ma	[49] [50]
29	Alke Martens	[41]
30	Vassilis Mertsiotakis	[4] [7]
31	Amdjed Mokhtari	[25]
32	Pieter J. Mosterman	[41]
33	Flemming Nielson	[31] [41]
34	Andreas L. Opdahl	[2]
35	Rob Pooley	[1] [2] [3]
36	Corrado Priami	[24]
37	Michael Rettelbach	[4]
38	Marina Ribaudo	[15] [16] [21] [22] [27] [29]
39	Oleg Sokolsky	[41]
40	Perdita Stevens	[26]
41	Jennifer Tenzer	[42]
42	Nigel Thomas	[10] [11]
43	David Tollervey	[51]
44	J. Tomasik	[13]
45	Mirco Tribastone	[48]
46	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[41]
47	Gagarine Yaikhom	[46]

Colors in the list of coauthors