dblp.uni-trier.dewww.uni-trier.de

Jane Hillston Vis

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

*2009
74EEVashti Galpin, Jane Hillston: Equivalence and Discretisation in Bio-PEPA. CMSB 2009: 189-204
73EEVashti Galpin, Luca Bortolussi, Jane Hillston: HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR 2009: 305-320
72EELaurence Loewe, Stuart Moodie, Jane Hillston: Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA CoRR abs/0910.1410: (2009)
71EEFederica 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)
70EESoufiene 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)
69EEFederica 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)
68EEJane 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)
67EEMuffy Calder, Jane Hillston: Process Algebra Modelling Styles for Biomolecular Processes. T. Comp. Sys. Biology 11: 1-25 (2009)
66EEFederica 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
65EELaurence Loewe, Jane Hillston: The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock. CMSB 2008: 156-175
64EEJane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore: Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB 2008: 2-4
63EEHao Wang, David I. Laurenson, Jane Hillston: Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra. ICC 2008: 192-197
62EEHao Wang, David I. Laurenson, Jane Hillston: An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning. PIMRC 2008: 1-5
61EEFederica Ciocchetta, Jane Hillston: Process Algebras in Systems Biology. SFM 2008: 265-312
60EEFederica 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)
59EEVashti Galpin, Jane Hillston, Luca Bortolussi: HYPE Applied to the Modelling of Hybrid Biological Systems. Electr. Notes Theor. Comput. Sci. 218: 33-51 (2008)
58EEJeremy 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)
57EEStephen Gilmore, Jane Hillston: Foreword. SIGMETRICS Performance Evaluation Review 35(4): 2 (2008)
56EEStephen Gilmore, Jane Hillston: Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Performance Evaluation Review 35(4): 3-13 (2008)
55EENil Geisweiller, Jane Hillston, Marco Stenico: Relating continuous and discrete PEPA models of signalling pathways. Theor. Comput. Sci. 404(1-2): 97-111 (2008)
54EEFederica 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
52EEFederica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey: Modelling Yeast Pre-rRNA Processing. CMSB 2007: 32-47
51EETiejun Ma, Jane Hillston, Stuart Anderson: On the Quality of Service of Crash-Recovery Failure Detectors. DSN 2007: 739-748
50EEHao Wang, David I. Laurenson, Jane Hillston: PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. MASCOTS 2007: 337-342
49EETiejun Ma, Jane Hillston, Stuart Anderson: Evaluation of the QoS of crash-recovery failure detection. SAC 2007: 538-542
48EEAllan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone: Stochastic Process Algebras. SFM 2007: 132-179
47EEJane Hillston: Quantitative analysis of biochemical signalling pathways. VALUETOOLS 2007: 72
46EEGagarine 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)
45EEJane Hillston, Leïla Kloul: Formal techniques for performance analysis: blending SAN and PEPA. Formal Asp. Comput. 19(1): 3-33 (2007)
2006
44EEMuffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston: Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB 2006: 63-77
43EEJane Hillston, Leïla Kloul: A Function-Equivalent Components Based Simplification Technique for PEPA Models. EPEW 2006: 16-30
42EEStephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer: A design environment for mobile applications. IPDPS 2006
41EEGré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
40EEJane Hillston: Population models from PEPA descriptions. Simulation and Verification of Dynamic Systems 2006
39EEMuffy 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
38EEAnne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. CCGRID 2005: 317-324
37EEAnne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Flexible Skeletal Programming with eSkel. Euro-Par 2005: 761-770
36EEJane 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
34EEJane Hillston: Fluid Flow Approximation of PEPA models. QEST 2005: 33-43
33EEAnne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. Comput. J. 48(3): 369-378 (2005)
32EEJane Hillston: Tuning Systems: From Composition to Performance (The Needham Lecture). Comput. J. 48(4): 385-400 (2005)
31EEMikael 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
30EEStephen 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
29EEJane Hillston, Marina Ribaudo: Modelling Mobility with PEPA Nets. ISCIS 2004: 513-522
28EEAnne 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
27EEStephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: Software performance modelling using PEPA nets. WOSP 2004: 13-23
26EEC. 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
25EEJane Hillston, Leïla Kloul, Amdjed Mokhtari: Towards a Feasible Active Networking Scenario. Telecommunication Systems 27(2-4): 413-438 (2004)
2003
24EELinda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253
23EEStephen Gilmore, Jane Hillston, Leïla Kloul: PEPA Nets. MASCOTS Tutorials 2003: 311-335
22EEStephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: PEPA nets: a structured performance modelling formalism. Perform. Eval. 54(2): 79-104 (2003)
2002
21EEStephen 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
18EEJane 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)
16EEStephen Gilmore, Jane Hillston, Marina Ribaudo: An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27(5): 449-464 (2001)
2000
15EEGraham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo: Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261
14EEJane 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
12EEGraham 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
5EEStephen 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
2EEJane 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

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]
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]
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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)