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 101 to 116 of 116.
Sorted by year (citations)

previous 1 2 3 4 5 6

  1. Gilmore, Stephen; Hillston, Jane; Ribaudo, Marina: PEPA nets: A structured performance modelling formalism (2002)
  2. Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter: Process algebra for performance evaluation (2002)
  3. Kwiatkowska, Marta; Norman, Gethin; Parker, David: Probabilistic symbolic model checking with PRISM: A hybrid approach (2002)
  4. Lamperti, Gianfranco; Zanella, Marina: Diagnosis of discrete-event systems from uncertain temporal observations (2002)
  5. Clark, Graham; Sanders, William H.: Implementing a stochastic process algebra within the Möbius modeling framework (2001)
  6. Doherty, G.; Massink, M.; Faconti, G.: Reasoning about interactive systems with stochastic models (2001)
  7. Gilmore, Stephen; Hillston, Jane: The PEPA feature construct (2001)
  8. Gilmore, Stephen; Hillston, Jane; Ribaudo, Marina: An Efficient Algorithm for Aggregating PEPA Models (2001) ioport
  9. Hillston, Jane: Exploiting structure in solution: Decomposing compositional models (2001)
  10. Hillston, Jane; Kloul, Leïla: An efficient Kronecker representation for PEPA models (2001)
  11. Clark, Graham; Gilmore, Stephen; Hillston, Jane; Ribaudo, Marina: Exploiting modal logic to express performance measures (2000)
  12. Courcoubetis, Costas; Tripakis, Stavros: Probabilistic model checking: Formalisms and algorithms for discrete and real-time systems (2000)
  13. Pua, C. S.; Williams, M. H.; Marwick, D. H.: Modelling parallel databases with process algebra (2000)
  14. Hillston, Jane; Thomas, Nigel: Product form solution for a class of PEPA models (1999)
  15. Donatelli, Susanna; Franceschinis, Giuliana: The PSR methodology: integrating hardware and software models (1996)
  16. Hillston, Jane: Compositional Markovian modelling using a process algebra (1995)

previous 1 2 3 4 5 6


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