The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stephen Gilmore: [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. David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
    Mobile Resource Guarantees for Smart Devices. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2004, pp:1-26 [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. Stephen Gilmore, Marco A. Palomino
    Monitoring and Controlling Distributed Applications with Relocatable Objects. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2002, pp:348-349 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
    Choreographing Security and Performance Analysis for Web Services. [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:200-214 [Conf]
  10. 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]
  11. Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero
    End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:286-301 [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. Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
    Semantic-Based Development of Service-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:24-45 [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. 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]
  16. Stephen Gilmore
    Extending Camelot with Mutable State and Concurrency. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2004, pp:306-313 [Conf]
  17. Gagarine Yaikhom, Murray Cole, Stephen Gilmore
    Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2006, pp:929-936 [Conf]
  18. Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer
    A design environment for mobile applications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  19. Stephen Gilmore, Leïla Kloul, Davide Piazza
    Modelling Role-Playing Games Using PEPA Nets. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2004, pp:523-532 [Conf]
  20. Stephen Gilmore, Jane Hillston, Leïla Kloul
    PEPA Nets. [Citation Graph (0, 0)][DBLP]
    MASCOTS Tutorials, 2003, pp:311-335 [Conf]
  21. 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]
  22. Stephen Gilmore, Leïla Kloul
    A Unified Tool for Performance Modelling and Prediction. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:179-192 [Conf]
  23. Stephen Gilmore
    Deep Type Inference for Mobile Functions. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 1999, pp:41-49 [Conf]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. Stephen Gilmore, Matthew Prowse
    Proof-carrying Bytecode. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:3-18 [Journal]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone
    Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP]
    SFM, 2007, pp:132-179 [Conf]
  34. Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth Mackenzie, Alberto Momigliano, Olha Shkaravska
    Mobile Resource Guarantees (project evaluation paper). [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:211-226 [Conf]
  35. Allan Clark, Stephen Gilmore
    Evaluating Quality of Service for Service Level Agreements. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:181-194 [Conf]
  36. 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]
  37. Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore
    An abstract machine model of dynamic module replacement. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2000, v:16, n:7, pp:793-808 [Journal]

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


  39. Modelling the CoCoME with the Java/AComponent Model. [Citation Graph (, )][DBLP]


  40. State-Aware Performance Analysis with eXtended Stochastic Probes. [Citation Graph (, )][DBLP]


  41. Partial Evaluation of PEPA Models for Fluid-Flow Analysis. [Citation Graph (, )][DBLP]


  42. Passage-End Analysis. [Citation Graph (, )][DBLP]


  43. Scalable Analysis of Scalable Systems. [Citation Graph (, )][DBLP]


  44. SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP]


  45. Safety and Response-Time Analysis of an Automotive Accident Assistance Service. [Citation Graph (, )][DBLP]


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


  47. Automatic Translation of UML Sequence Diagrams into PEPA Models. [Citation Graph (, )][DBLP]


  48. Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. [Citation Graph (, )][DBLP]


  49. Quantitative Analysis of Web Services Using SRMC. [Citation Graph (, )][DBLP]


  50. Replicating Web Services for Scalability. [Citation Graph (, )][DBLP]


  51. Location-Aware Quality of Service Measurements for Service-Level Agreements. [Citation Graph (, )][DBLP]


  52. SensoriaProcess Calculi for Service-Oriented Computing. [Citation Graph (, )][DBLP]


  53. Service-Level Agreements for Service-Oriented Computing. [Citation Graph (, )][DBLP]


  54. Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. [Citation Graph (, )][DBLP]


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


Search in 0.023secs, Finished in 0.025secs
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