The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jane Hillston: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Graham Clark, Stephen Gilmore, Jane Hillston
    Specifying Performance Measures for PEPA. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:211-227 [Conf]
  2. Jane Hillston, Andreas L. Opdahl, Rob Pooley
    A Case Study Using the IMSE Experimentation Tool. [Citation Graph (0, 0)][DBLP]
    CAiSE, 1991, pp:284-306 [Conf]
  3. Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
    Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2005, pp:317-324 [Conf]
  4. Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston
    Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. [Citation Graph (0, 0)][DBLP]
    CMSB, 2006, pp:63-77 [Conf]
  5. Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo
    Exploiting Modal Logic to Express Performance Measures. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2000, pp:247-261 [Conf]
  6. Stephen Gilmore, Jane Hillston
    The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation, 1994, pp:353-368 [Conf]
  7. Stephen Gilmore, Jane Hillston, Marina Ribaudo
    PEPA Nets: A Structured Performance Modelling Formalism. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:111-130 [Conf]
  8. Rob Pooley, Jane Hillston
    The Performance Analysis Process. [Citation Graph (0, 0)][DBLP]
    Computer and Telecommunications Performance Engineering, 1991, pp:1-14 [Conf]
  9. Jane Hillston
    Exploiting Structure in Solution: Decomposing Compositional Models. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Formal Methods and Performance Analysis, 2000, pp:278-314 [Conf]
  10. Jane Hillston, Leïla Kloul
    A Function-Equivalent Components Based Simplification Technique for PEPA Models. [Citation Graph (0, 0)][DBLP]
    EPEW, 2006, pp:16-30 [Conf]
  11. Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
    Flexible Skeletal Programming with eSkel. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2005, pp:761-770 [Conf]
  12. Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul
    PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:262-277 [Conf]
  13. Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
    Stochastic process algebras: integrating qualitative and quantitative modelling. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:449-451 [Conf]
  14. Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
    Performance Evaluation for Global Computation. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:229-253 [Conf]
  15. Jane Hillston, J. Tomasik
    Amalgamation of Transition Sequences in the PEPA Formalism. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:523-534 [Conf]
  16. Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
    Evaluating the Performance of Skeleton-Based High Level Parallel Programs. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2004, pp:289-296 [Conf]
  17. Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer
    A design environment for mobile applications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  18. Jane Hillston, Marina Ribaudo
    Modelling Mobility with PEPA Nets. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2004, pp:513-522 [Conf]
  19. Jane Hillston
    Process Algebras for Quantitative Analysis. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:239-248 [Conf]
  20. Stephen Gilmore, Jane Hillston, Leïla Kloul
    PEPA Nets. [Citation Graph (0, 0)][DBLP]
    MASCOTS Tutorials, 2003, pp:311-335 [Conf]
  21. Jane Hillston, Leïla Kloul
    An Efficient Kronecker Representation for PEPA Models. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:120-135 [Conf]
  22. Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
    Using eSkel to Implement the Multiple Baseline Stereo Application. [Citation Graph (0, 0)][DBLP]
    PARCO, 2005, pp:673-680 [Conf]
  23. Jane Hillston
    Fluid Flow Approximation of PEPA models. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:33-43 [Conf]
  24. Tiejun Ma, Jane Hillston, Stuart Anderson
    Evaluation of the QoS of crash-recovery failure detection. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:538-542 [Conf]
  25. C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens
    Analysing UML 2.0 activity diagrams in the software performance engineering process. [Citation Graph (0, 0)][DBLP]
    WOSP, 2004, pp:74-78 [Conf]
  26. Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
    Software performance modelling using PEPA nets. [Citation Graph (0, 0)][DBLP]
    WOSP, 2004, pp:13-23 [Conf]
  27. Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
    Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:3, pp:369-378 [Journal]
  28. 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. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:489-491 [Journal]
  29. Peter G. Harrison, Jane Hillston
    Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:510-520 [Journal]
  30. Jane Hillston
    Tuning Systems: From Composition to Performance (The Needham Lecture). [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:4, pp:385-400 [Journal]
  31. Jane Hillston, Vassilis Mertsiotakis
    A Simple Time Scale Decomposition Technique for Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:566-577 [Journal]
  32. Jane Hillston, Leïla Kloul
    Performance investigation of an on-line auction system. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2001, v:13, n:1, pp:23-41 [Journal]
  33. Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson
    Securing Statically-verified Communications Protocols Against Timing Attacks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:123-143 [Journal]
  34. Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas
    Experiences with the PEPA performance modelling. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1999, v:146, n:1, pp:11-20 [Journal]
  35. Graham Clark, Jane Hillston
    Product form solution for an insensitive stochastic process algebra structure. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2002, v:50, n:2/3, pp:129-151 [Journal]
  36. Jane Hillston
    A Tool to Enhance Model Exploitation. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1995, v:22, n:1, pp:59-74 [Journal]
  37. Jane Hillston, Nigel Thomas
    Product Form Solution for a Class of PEPA Models. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1999, v:35, n:3-4, pp:171-192 [Journal]
  38. Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
    PEPA nets: a structured performance modelling formalism. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2003, v:54, n:2, pp:79-104 [Journal]
  39. Roberto Gorrieri, Ulrich Herzog, Jane Hillston
    Unified specification and performance evaluation using stochastic process algebras. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2002, v:50, n:2/3, pp:79-82 [Journal]
  40. Muffy Calder, Stephen Gilmore, Jane Hillston
    Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:1-23 [Journal]
  41. Jane Hillston, Leïla Kloul, Amdjed Mokhtari
    Towards a Feasible Active Networking Scenario. [Citation Graph (0, 0)][DBLP]
    Telecommunication Systems, 2004, v:27, n:2-4, pp:413-438 [Journal]
  42. Stephen Gilmore, Jane Hillston, Marina Ribaudo
    An Efficient Algorithm for Aggregating PEPA Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:5, pp:449-464 [Journal]
  43. Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey
    Modelling Yeast Pre-rRNA Processing. [Citation Graph (0, 0)][DBLP]
    CMSB, 2007, pp:32-47 [Conf]
  44. Tiejun Ma, Jane Hillston, Stuart Anderson
    On the Quality of Service of Crash-Recovery Failure Detectors. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:739-748 [Conf]
  45. Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone
    Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP]
    SFM, 2007, pp:132-179 [Conf]
  46. Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston
    A Structural Approach for Modelling Performance of Systems Using Skeletons. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:167-183 [Journal]
  47. Jane Hillston, Leïla Kloul
    Formal techniques for performance analysis: blending SAN and PEPA. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:1, pp:3-33 [Journal]

  48. Integrated Analysis from Abstract Stochastic Process Algebra Models. [Citation Graph (, )][DBLP]


  49. The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock. [Citation Graph (, )][DBLP]


  50. Equivalence and Discretisation in Bio-PEPA. [Citation Graph (, )][DBLP]


  51. HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. [Citation Graph (, )][DBLP]


  52. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. [Citation Graph (, )][DBLP]


  53. Population models from PEPA descriptions. [Citation Graph (, )][DBLP]


  54. Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra. [Citation Graph (, )][DBLP]


  55. PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. [Citation Graph (, )][DBLP]


  56. Process Algebras for Collective Dynamics. [Citation Graph (, )][DBLP]


  57. The Bio-PEPA Tool Suite. [Citation Graph (, )][DBLP]


  58. Process Algebras in Systems Biology. [Citation Graph (, )][DBLP]


  59. Design and Development of Software Tools for Bio-PEPA. [Citation Graph (, )][DBLP]


  60. Quantitative analysis of biochemical signalling pathways. [Citation Graph (, )][DBLP]


  61. An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning. [Citation Graph (, )][DBLP]


  62. Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA [Citation Graph (, )][DBLP]


  63. Investigating modularity in the analysis of process algebra models of biochemical systems [Citation Graph (, )][DBLP]


  64. Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models [Citation Graph (, )][DBLP]


  65. Cost-based admission control for Internet Commerce QoS enhancement. [Citation Graph (, )][DBLP]


  66. Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. [Citation Graph (, )][DBLP]


  67. HYPE Applied to the Modelling of Hybrid Biological Systems. [Citation Graph (, )][DBLP]


  68. Improved Continuous Approximation of PEPA Models through Epidemiological Examples. [Citation Graph (, )][DBLP]


  69. Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. [Citation Graph (, )][DBLP]


  70. Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. [Citation Graph (, )][DBLP]


  71. Bio-PEPA for Epidemiological Models. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002