PEPA

PEPA: Performance Evaluation Process Algebra. PEPA tools: The PEPA process algebra is supported by the PEPA Eclipse Plug-in project, a contribution to the Eclipse integrated development environment. The PEPA Eclipse Plug-in contains a PEPA editor and performance analysers which use Markov chain or ODE methods or simulation. Performance results are displayed graphically on the platform itself. It also contains an interface for abstracting PEPA models, and for model checking properties in the Continuous Stochastic Logic (CSL). Download the PEPA Eclipse Plug-in from the download site.


References in zbMATH (referenced in 116 articles )

Showing results 81 to 100 of 116.
Sorted by year (citations)
  1. Aziz, Benjamin: Measuring the speed of information leakage in mobile processes (2006)
  2. Calder, Muffy; Gilmore, Stephen; Hillston, Jane: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA (2006) ioport
  3. Fourneau, Jean-Michel; Kloul, Leïla: A precedence PEPA model for performance and reliability analysis (2006)
  4. Hillston, Jane; Kloul, Leïla: A function-equivalent components based simplification technique for PEPA models (2006)
  5. Benoit, A.; Cole, M.; Gilmore, S.; Hillston, J.: Scheduling skeleton-based grid applications using pepa and nws (2005) ioport
  6. Buchholtz, Mikael; Gilmore, Stephen; Haenel, Valentin; Montangero, Carlo: End-to-end integrated security and performance analysis on the DEGAS Choreographer platform (2005)
  7. Gurvits, Leonid; Ledoux, James: Markov property for a function of a Markov chain: A linear algebra approach (2005)
  8. Hillston, Jane: A compositional approach to performance modelling. (2005)
  9. Buchholz, Peter; Dayar, Tuǧrul: Block SOR for Kronecker structured representations (2004)
  10. Gilmore, Stephen; Haenel, Valentin; Hillston, Jane; Kloul, Leï: PEPA nets in practice: Modelling a decentralised peer-to-peer emergency medical application (2004) ioport
  11. Hallerstede, Stefan; Butler, Michael: Performance analysis of probabilistic action systems (2004)
  12. Kwiatkowska, Marta; Norman, Gethin; Parker, David: Probabilistic symbolic model checking with prism: a hybrid approach (2004) ioport
  13. Petriu, Dorina C.; Woodside, C. Murray: Approximate mean value analysis based on Markov chain aggregation by composition (2004)
  14. Sridhar, K. N.; Ciobanu, Gabriel: Describing IEEE 802.11 wireless mechanisms by using the (\pi)-calculus and performance evaluation process algebra (2004)
  15. Bernardo, Marco; Bravetti, Mario: Performance measure sensitive congruences for Markovian process algebras (2003)
  16. Brodo, Linda; Degano, Pierpaolo; Gilmore, Stephen; Hillston, Jane; Priami, Corrado: Performance evaluation for global computation (2003)
  17. Hermanns, Holger; Joubert, Christophe: A set of performance and dependability analysis components for CADP (2003)
  18. Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter: Automated performance and dependability evaluation using model checking (2002)
  19. Console, Luca; Picardi, Claudia; Ribaudo, Marina: Process algebras for systems diagnosis. (2002)
  20. Garavel, Hubert; Hermanns, Holger: On combining functional verification and performance evaluation using CADP (2002)

Further publications can be found at: http://www.dcs.ed.ac.uk/pepa/papers/