Jane Hillston

	2012
99		Luca Bortolussi, Jane Hillston: Fluid Model Checking CoRR abs/1203.0920: (2012)
98		Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston: Scalable context-dependent analysis of emergency egress models. Formal Asp. Comput. 24(2): 267-302 (2012)
97		Mirco Tribastone, Stephen Gilmore, Jane Hillston: Scalable Differential Analysis of Process Algebra Models. IEEE Trans. Software Eng. 38(1): 205-219 (2012)
96		Giulio Caravagna, Jane Hillston: Bio-PEPAd: A non-Markovian extension of Bio-PEPA. Theor. Comput. Sci. 419: 26-49 (2012)
	2011
95		Vashti Galpin, Jane Hillston, Federica Ciocchetta: A semi-quantitative equivalence for abstracting from fast reactions CompMod 2011: 34-49
94		Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston: Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110
93		Luca Bortolussi, Vashti Galpin, Jane Hillston: HYPE with stochastic events QAPL 2011: 120-133
92		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 13: 13-38 (2011)
91		Vashti Galpin, Jane Hillston: A semantic equivalence for Bio-PEPA based on discretisation of continuous values. Theor. Comput. Sci. 412(21): 2142-2161 (2011)
	2010
90		Jie Ding, Jane Hillston: Structural Analysis for Stochastic Process Algebra Models. AMAST 2010: 1-27
89		Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston: Investigating modularity in the analysis of process algebra models of biochemical systems FBTC 2010: 55-69
88		Jie Ding, Jane Hillston, David I. Laurenson: Evaluating the Response Time of Large Scale Content Adaptation Systems Using Performance Evaluation Process Algebra. ICC 2010: 1-5
87		Jane Hillston: Process Algebras for Collective Dynamics. MPC 2010: 20-21
86		Giulio Caravagna, Jane Hillston: Modeling biological systems with delays in Bio-PEPA MeCBIC 2010: 85-101
85		Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone: Hybrid Semantics for PEPA. QEST 2010: 181-190
84		Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper: VERIFICATION AND TESTING OF BIOLOGICAL MODELS. Winter Simulation Conference 2010: 620-630
83		Jie Ding, Jane Hillston: Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models CoRR abs/1008.4754: (2010)
82		Jie Ding, Jane Hillston: Numerically Representing A Stochastic Process Algebra CoRR abs/1012.3040: (2010)
81		Federica Ciocchetta, Jane Hillston: Bio-PEPA for Epidemiological Models. Electr. Notes Theor. Comput. Sci. 261: 43-69 (2010)
80		Tiejun Ma, Jane Hillston, Stuart Anderson: On the Quality of Service of Crash-Recovery Failure Detectors. IEEE Trans. Dependable Sec. Comput. 7(3): 271-283 (2010)
79		Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston: Modelling and Analysis of the NF-kappaB Pathway in Bio-PEPA. T. Comp. Sys. Biology 12: 229-262 (2010)
	2009
78		Vashti Galpin, Jane Hillston: Equivalence and Discretisation in Bio-PEPA. CMSB 2009: 189-204
77		Laurence Loewe, Stuart L. Moodie, Jane Hillston: Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA COMPMOD 2009: 93-107
76		Vashti Galpin, Luca Bortolussi, Jane Hillston: HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR 2009: 305-320
75		Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston: The Bio-PEPA Tool Suite. QEST 2009: 309-310
74		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: 956-967
73		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)
72		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)
71		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)
70		Yussuf Abu-Shaaban, Jane Hillston: Cost-based admission control for Internet Commerce QoS enhancement. Electronic Commerce Research and Applications 8(3): 142-159 (2009)
69		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)
68		Muffy Calder, Jane Hillston: Process Algebra Modelling Styles for Biomolecular Processes. T. Comp. Sys. Biology 11: 1-25 (2009)
67		Federica Ciocchetta, Jane Hillston: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410(33-34): 3065-3084 (2009)
	2008
66		Laurence Loewe, Jane Hillston: The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock. CMSB 2008: 156-175
65		Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore: Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB 2008: 2-4
64		Hao Wang, David I. Laurenson, Jane Hillston: Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra. ICC 2008: 192-197
63		Hao Wang, David I. Laurenson, Jane Hillston: An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning. PIMRC 2008: 1-5
62		Federica Ciocchetta, Jane Hillston: Process Algebras in Systems Biology. SFM 2008: 265-312
61		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)
60		Vashti Galpin, Jane Hillston, Luca Bortolussi: HYPE Applied to the Modelling of Hybrid Biological Systems. Electr. Notes Theor. Comput. Sci. 218: 33-51 (2008)
59		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)
58		Stephen Gilmore, Jane Hillston: Foreword. SIGMETRICS Performance Evaluation Review 35(4): 2 (2008)
57		Stephen Gilmore, Jane Hillston: Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Performance Evaluation Review 35(4): 3-13 (2008)
56		Nil Geisweiller, Jane Hillston, Marco Stenico: Relating continuous and discrete PEPA models of signalling pathways. Theor. Comput. Sci. 404(1-2): 97-111 (2008)
55		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
54		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
53		Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey: Modelling Yeast Pre-rRNA Processing. CMSB 2007: 32-47
52		Tiejun Ma, Jane Hillston, Stuart Anderson: On the Quality of Service of Crash-Recovery Failure Detectors. DSN 2007: 739-748
51		Hao Wang, David I. Laurenson, Jane Hillston: PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. MASCOTS 2007: 337-342
50		Tiejun Ma, Jane Hillston, Stuart Anderson: Evaluation of the QoS of crash-recovery failure detection. SAC 2007: 538-542
49		Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone: Stochastic Process Algebras. SFM 2007: 132-179
48		Jane Hillston: Quantitative analysis of biochemical signalling pathways. VALUETOOLS 2007: 72
47		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)
46		Jane Hillston, Leïla Kloul: Formal techniques for performance analysis: blending SAN and PEPA. Formal Asp. Comput. 19(1): 3-33 (2007)
	2006
45		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
44		Jane Hillston, Leïla Kloul: A Function-Equivalent Components Based Simplification Technique for PEPA Models. EPEW 2006: 16-30
43		Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer: A design environment for mobile applications. IPDPS 2006
42		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
41		Jane Hillston: Population models from PEPA descriptions. Simulation and Verification of Dynamic Systems 2006
40		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
39		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
38		Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Flexible Skeletal Programming with eSkel. Euro-Par 2005: 761-770
37		Jane Hillston: Process Algebras for Quantitative Analysis. LICS 2005: 239-248
36		Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Using eSkel to Implement the Multiple Baseline Stereo Application. PARCO 2005: 673-680
35		Jane Hillston: Fluid Flow Approximation of PEPA models. QEST 2005: 33-43
34		Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. Comput. J. 48(3): 369-378 (2005)
33		Jane Hillston: Tuning Systems: From Composition to Performance (The Needham Lecture). Comput. J. 48(4): 385-400 (2005)
32		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)
31		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 6(4): (2005)
	2004
30		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		Jane Hillston, Marina Ribaudo: Modelling Mobility with PEPA Nets. ISCIS 2004: 513-522
28		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		Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: Software performance modelling using PEPA nets. WOSP 2004: 13-23
26		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		Jane Hillston, Leïla Kloul, Amdjed Mokhtari: Towards a Feasible Active Networking Scenario. Telecommunication Systems 27(2-4): 413-438 (2004)
	2003
24		Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253
23		Stephen Gilmore, Jane Hillston, Leïla Kloul: PEPA Nets. MASCOTS Tutorials 2003: 311-335
22		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		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		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		Stephen Gilmore, Jane Hillston, Marina Ribaudo: An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27(5): 449-464 (2001)
	2000
15		Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo: Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261
14		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		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	Yussuf Abu-Shaaban	[70]
2	Stuart Anderson	[50] [52] [80]
3	Grégory Batt	[42]
4	Soufiene Benkirane	[72]
5	Anne Benoit	[28] [31] [34] [36] [38] [39]
6	Marco Bernardo	[54]
7	Luca Bortolussi	[60] [76] [85] [93] [99]
8	Andrea Bracciali	[94] [98]
9	Jeremy T. Bradley	[42] [59]
10	Linda Brodo	[24]
11	Mikael Buchholtz	[32]
12	Muffy Calder (Muffy Thomas)	[40] [45] [68] [73]
13	C. Canevet	[26]
14	Giulio Caravagna	[86] [96]
15	Federica Ciocchetta	[53] [55] [61] [62] [65] [67] [71] [73] [75] [79] [81] [89] [95]
16	Allan Clark	[49] [84]
17	Graham Clark	[11] [12] [15] [20]
18	Murray Cole	[28] [31] [34] [36] [38] [39] [47]
19	Pierpaolo Degano	[24]
20	Andrea Degasperi	[73] [79]
21	Jie Ding	[82] [83] [88] [90]
22	Adam Duguid	[45] [65] [74] [75]
23	Roland Ewald	[42]
24	François Fages	[42]
25	Vashti Galpin (Vashti C. Galpin)	[60] [76] [78] [85] [91] [93] [95]
26	Nil Geisweiller	[56]
27	Peter Ghazal	[92]
28	Stephen Gilmore (Stephen T. Gilmore)	[5] [9] [11] [12] [15] [16] [21] [22] [23] [24] [26] [27] [28] [30] [31] [32] [34] [36] [38] [39] [40] [43] [45] [47] [49] [57] [58] [59] [65] [71] [74] [75] [84] [97]
29	Roberto Gorrieri	[19]
30	Maria Luisa Guerriero	[71] [74] [75] [89] [92]
31	Valentin Haenel	[30] [43]
32	Michael D. Harrison	[98]
33	Peter G. Harrison	[8]
34	John K. Heath	[79]
35	Holger Hermanns	[4] [42]
36	Ulrich Herzog	[4] [19]
37	Peter Kemper	[42] [84]
38	Peter J. B. King	[3]
39	Leïla Kloul	[17] [18] [22] [23] [25] [26] [27] [30] [44] [46]
40	Martin Kos	[53] [55]
41	Marta Z. Kwiatkowska	[69]
42	Diego Latella	[94] [98]
43	David I. Laurenson	[51] [63] [64] [88]
44	Laurence Loewe	[66] [74] [77] [92]
45	Tiejun Ma	[50] [52] [80]
46	Alke Martens	[42]
47	Mieke Massink	[94] [98]
48	Chris McCaig	[72]
49	Vassilis Mertsiotakis	[4] [7]
50	Amdjed Mokhtari	[25]
51	Stuart L. Moodie	[77] [92]
52	Pieter J. Mosterman	[42]
53	Flemming Nielson	[32] [42]
54	Rachel Norman	[72]
55	Andreas L. Opdahl	[2]
56	Rob Pooley (R. J. Pooley)	[1] [2] [3]
57	Corrado Priami	[24]
58	Michael Rettelbach	[4]
59	Marina Ribaudo	[15] [16] [21] [22] [27] [29]
60	Carron Shankland	[72]
61	Oleg Sokolsky	[42]
62	Marco Stenico	[56]
63	Perdita Stevens	[26]
64	Miklós Telek	[69]
65	Jennifer Tenzer	[43]
66	Nigel Thomas	[10] [11]
67	David Tollervey	[53] [55]
68	J. Tomasik	[13]
69	Mirco Tribastone	[49] [85] [97]
70	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[42]
71	Hao Wang	[51] [63] [64]
72	Steven Watterson	[92]
73	Gagarine Yaikhom	[47]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page