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 21 to 40 of 116.
Sorted by year (citations)
  1. Thomas, Nigel; Harrison, Peter G.: Semi-product-form solution for PEPA models with functional rates (2013)
  2. Versari, Cristian; Zavattaro, Gianluigi: Complex functional rates in the modeling of nano devices (extended abstract) (2013) ioport
  3. Balsamo, Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea: Lumping and reversed processes in cooperating automata (2012)
  4. Benkirane, Soufiene; Norman, Rachel; Scott, Erin; Shankland, Carron: Measles epidemics and PEPA: an exploration of historic disease dynamics using process algebra (2012)
  5. Donaldson, Robin; Calder, Muffy: Modular modelling of signalling pathways and their cross-talk (2012)
  6. Fiadeiro, José; Lopes, Antónia; Abreu, João: A formal model for service-oriented interactions (2012)
  7. Hayden, Richard A.; Stefanek, Anton; Bradley, Jeremy T.: Fluid computation of passage-time distributions in large Markov models (2012)
  8. Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena: Three-valued abstraction for probabilistic systems (2012)
  9. Massink, M.; Latella, D.; Bracciali, A.; Harrison, M. D.; Hillston, J.: Scalable context-dependent analysis of emergency egress models (2012) ioport
  10. Moreno, A.; Cesar, E.; Guevara, A.; Sorribes, J.; Margalef, T.: Load balancing in homogeneous pipeline based applications (2012) ioport
  11. Bentea, Lucian; Ölveczky, Peter Csaba: Probabilistic real-time rewrite theories and their expressive power (2011)
  12. Ding, Jie; Hillston, Jane: Structural analysis for stochastic process algebra models (2011)
  13. Galpin, Vashti: Equivalences for a biological process algebra (2011)
  14. Liu, Bing; Hsu, David; Thiagarajan, P. S.: Probabilistic approximations of ODEs based bio-pathway dynamics (2011)
  15. Perathoner, Simon: Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy. (2011)
  16. Andrei, Oana; Calder, Muffy: A model and analysis of the AKAP scaffold (2010)
  17. Bogárdi-Mészöly, Ágnes; Rövid, András; Levendovszky, Tihamér: Performance prediction of web-based software systems (2010)
  18. Bortolussi, Luca; Policriti, Alberto: Hybrid dynamics of stochastic programs (2010)
  19. Buti, F.; Cacciagrano, D.; Corradini, F.; Merelli, E.; Tesei, L.; Pani, M.: Bone remodelling in \textscBioShape (2010)
  20. Calder, Muffy; Gilmore, Stephen; Hillston, Jane; Vyshemirsky, Vladislav: Formal methods for biochemical signalling pathways (2010)

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