Jane Hillston Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederica Ciocchetta, Maria Luisa Guerriero, Jane Hillston: Investigating modularity in the analysis of process algebra models of biochemical systems CoRR abs/1002.4063: (2010)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederica Ciocchetta, Jane Hillston: Bio-PEPA for Epidemiological Models. Electr. Notes Theor. Comput. Sci. 261: 43-69 (2010)
2009
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVashti Galpin, Jane Hillston: Equivalence and Discretisation in Bio-PEPA. CMSB 2009: 189-204
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVashti Galpin, Luca Bortolussi, Jane Hillston: HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR 2009: 305-320
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurence Loewe, Stuart Moodie, Jane Hillston: Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA CoRR abs/0910.1410: (2009)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederica 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)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoufiene 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)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederica 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)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane 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)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuffy Calder, Jane Hillston: Process Algebra Modelling Styles for Biomolecular Processes. T. Comp. Sys. Biology 11: 1-25 (2009)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederica 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
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurence Loewe, Jane Hillston: The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock. CMSB 2008: 156-175
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore: Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB 2008: 2-4
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Wang, David I. Laurenson, Jane Hillston: Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra. ICC 2008: 192-197
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Wang, David I. Laurenson, Jane Hillston: An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning. PIMRC 2008: 1-5
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederica Ciocchetta, Jane Hillston: Process Algebras in Systems Biology. SFM 2008: 265-312
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederica 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)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVashti Galpin, Jane Hillston, Luca Bortolussi: HYPE Applied to the Modelling of Hybrid Biological Systems. Electr. Notes Theor. Comput. Sci. 218: 33-51 (2008)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy 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)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston: Foreword. SIGMETRICS Performance Evaluation Review 35(4): 2 (2008)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston: Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Performance Evaluation Review 35(4): 3-13 (2008)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNil Geisweiller, Jane Hillston, Marco Stenico: Relating continuous and discrete PEPA models of signalling pathways. Theor. Comput. Sci. 404(1-2): 97-111 (2008)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederica 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
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey: Modelling Yeast Pre-rRNA Processing. CMSB 2007: 32-47
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiejun Ma, Jane Hillston, Stuart Anderson: On the Quality of Service of Crash-Recovery Failure Detectors. DSN 2007: 739-748
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Wang, David I. Laurenson, Jane Hillston: PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. MASCOTS 2007: 337-342
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiejun Ma, Jane Hillston, Stuart Anderson: Evaluation of the QoS of crash-recovery failure detection. SAC 2007: 538-542
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone: Stochastic Process Algebras. SFM 2007: 132-179
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston: Quantitative analysis of biochemical signalling pathways. VALUETOOLS 2007: 72
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGagarine 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)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Leïla Kloul: Formal techniques for performance analysis: blending SAN and PEPA. Formal Asp. Comput. 19(1): 3-33 (2007)
2006
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston: Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB 2006: 63-77
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Leïla Kloul: A Function-Equivalent Components Based Simplification Technique for PEPA Models. EPEW 2006: 16-30
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer: A design environment for mobile applications. IPDPS 2006
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGré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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston: Population models from PEPA descriptions. Simulation and Verification of Dynamic Systems 2006
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuffy 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. CCGRID 2005: 317-324
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Flexible Skeletal Programming with eSkel. Euro-Par 2005: 761-770
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston: Process Algebras for Quantitative Analysis. LICS 2005: 239-248
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Using eSkel to Implement the Multiple Baseline Stereo Application. PARCO 2005: 673-680
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston: Fluid Flow Approximation of PEPA models. QEST 2005: 33-43
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. Comput. J. 48(3): 369-378 (2005)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston: Tuning Systems: From Composition to Performance (The Needham Lecture). Comput. J. 48(4): 385-400 (2005)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikael 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Marina Ribaudo: Modelling Mobility with PEPA Nets. ISCIS 2004: 513-522
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: Software performance modelling using PEPA nets. WOSP 2004: 13-23
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Leïla Kloul, Amdjed Mokhtari: Towards a Feasible Active Networking Scenario. Telecommunication Systems 27(2-4): 413-438 (2004)
2003
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston, Leïla Kloul: PEPA Nets. MASCOTS Tutorials 2003: 311-335
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: PEPA nets: a structured performance modelling formalism. Perform. Eval. 54(2): 79-104 (2003)
2002
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston, Marina Ribaudo: PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS 2002: 111-130
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Clark, Jane Hillston: Product form solution for an insensitive stochastic process algebra structure. Perform. Eval. 50(2/3): 129-151 (2002)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Ulrich Herzog, Jane Hillston: Unified specification and performance evaluation using stochastic process algebras. Perform. Eval. 50(2/3): 79-82 (2002)
2001
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Leïla Kloul: An Efficient Kronecker Representation for PEPA Models. PAPM-PROBMIV 2001: 120-135
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Leïla Kloul: Performance investigation of an on-line auction system. Concurrency and Computation: Practice and Experience 13(1): 23-41 (2001)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston, Marina Ribaudo: An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27(5): 449-464 (2001)
2000
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo: Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston: Exploiting Structure in Solution: Decomposing Compositional Models. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 278-314
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, J. Tomasik: Amalgamation of Transition Sequences in the PEPA Formalism. ICALP Satellite Workshops 2000: 523-534
1999
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Clark, Stephen Gilmore, Jane Hillston: Specifying Performance Measures for PEPA. ARTS 1999: 211-227
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas: Experiences with the PEPA performance modelling. IEE Proceedings - Software 146(1): 11-20 (1999)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Nigel Thomas: Product Form Solution for a Class of PEPA Models. Perform. Eval. 35(3-4): 171-192 (1999)
1995
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen 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)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter G. Harrison, Jane Hillston: Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. Comput. J. 38(7): 510-520 (1995)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Vassilis Mertsiotakis: A Simple Time Scale Decomposition Technique for Stochastic Process Algebras. Comput. J. 38(7): 566-577 (1995)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston: A Tool to Enhance Model Exploitation. Perform. Eval. 22(1): 59-74 (1995)
1994
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Gilmore, Jane Hillston: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. Computer Performance Evaluation 1994: 353-368
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach: Stochastic process algebras: integrating qualitative and quantitative modelling. FORTE 1994: 449-451
1992
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Peter J. B. King, Rob Pooley: 7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991 Springer 1992
1991
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane Hillston, Andreas L. Opdahl, Rob Pooley: A Case Study Using the IMSE Experimentation Tool. CAiSE 1991: 284-306
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob Pooley, Jane Hillston: The Performance Analysis Process. Computer and Telecommunications Performance Engineering 1991: 1-14

Coauthor Index

1Stuart Anderson [49] [51]
2Grégory Batt [41]
3Soufiene Benkirane [70]
4Anne Benoit [28] [33] [35] [37] [38]
5Marco Bernardo [53]
6Luca Bortolussi [59] [73]
7Jeremy T. Bradley [41] [58]
8Linda Brodo [24]
9Mikael Buchholtz [31]
10Muffy Calder (Muffy Thomas) [39] [44] [67] [71]
11C. Canevet [26]
12Federica Ciocchetta [52] [54] [60] [61] [64] [66] [69] [71] [75] [76]
13Allan Clark [48]
14Graham Clark [11] [12] [15] [20]
15Murray Cole [28] [33] [35] [37] [38] [46]
16Pierpaolo Degano [24]
17Andrea Degasperi [71]
18Adam Duguid [44] [64]
19Roland Ewald [41]
20François Fages [41]
21Vashti Galpin (Vashti C. Galpin) [59] [73] [74]
22Nil Geisweiller [55]
23Stephen 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] [56] [57] [58] [64] [69]
24Roberto Gorrieri [19]
25Maria Luisa Guerriero [69] [76]
26Valentin Haenel [30] [42]
27Peter G. Harrison [8]
28Holger Hermanns [4] [41]
29Ulrich Herzog [4] [19]
30Peter Kemper [41]
31Peter J. B. King [3]
32Leïla Kloul [17] [18] [22] [23] [25] [26] [27] [30] [43] [45]
33Martin Kos [52] [54]
34Marta Z. Kwiatkowska [68]
35David I. Laurenson [50] [62] [63]
36Laurence Loewe [65] [72]
37Tiejun Ma [49] [51]
38Alke Martens [41]
39Chris McCaig [70]
40Vassilis Mertsiotakis [4] [7]
41Amdjed Mokhtari [25]
42Stuart Moodie [72]
43Pieter J. Mosterman [41]
44Flemming Nielson [31] [41]
45Rachel Norman [70]
46Andreas L. Opdahl [2]
47Rob Pooley (R. J. Pooley) [1] [2] [3]
48Corrado Priami [24]
49Michael Rettelbach [4]
50Marina Ribaudo [15] [16] [21] [22] [27] [29]
51Carron Shankland [70]
52Oleg Sokolsky [41]
53Marco Stenico [55]
54Perdita Stevens [26]
55Miklós Telek [68]
56Jennifer Tenzer [42]
57Nigel Thomas [10] [11]
58David Tollervey [52] [54]
59J. Tomasik [13]
60Mirco Tribastone [48]
61Adelinde M. Uhrmacher (Adelinde Uhrmacher) [41]
62Hao Wang [50] [62] [63]
63Gagarine Yaikhom [46]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)