Report
| Date
| Title
|
EDI-INF-RR-1334
| Jul 2009
| Technical Report: Defining a textual representation for SBGN Process Diagrams and translating it to Bio-PEPA for quantitative analysis of the MAPK signal transduction cascade
|
EDI-INF-RR-1251
| Apr 2008
| HYPE: hybrid systems modelled with flows
|
EDI-INF-RR-1231
| 2008
| Bio-PEPA: a framework for the modelling and analysis of biological systems
|
EDI-INF-RR-1205
| 2006
| Modelling the influence of RKIP on the ERK signalling pathway using stochastic process algebra PEPA
|
EDI-INF-RR-1083
| Mar 2005
| Analyse quantitative de programmes applicatif base de squelettes algorithmiques
|
EDI-INF-RR-1077
| Mar 2007
| A structural approach for modelling performance of workflow systems
|
EDI-INF-RR-1023
| Jun 2007
| On the Quality of Service of Crash-Recovery Failure Detectors
|
EDI-INF-RR-0776
| Oct 2003
| PEPA nets: a structured performance modelling formalism
|
EDI-INF-RR-0605
| May 2001
| An efficient algorithm for aggregating PEPA models
|
EDI-INF-RR-0604
| Sep 2005
| Fluid Flow Approximation of PEPA models
|
EDI-INF-RR-0481
| Nov 2002
| Product form solution for an insensitive stochastic process algebra structure
|
EDI-INF-RR-0480
| May 2005
| Tuning Systems: From Composition to Performance
|
EDI-INF-RR-0441
| Mar 2003
| Performance modelling with UML and stochastic process algebras
|
EDI-INF-RR-0429
| Sep 2005
| Using eSkel to implement the multiple baseline stereo application
|
EDI-INF-RR-0428
| Sep 2005
| Flexible Skeletal Programming with eSkel
|
EDI-INF-RR-0427
| May 2005
| Enhancing the effective utilisation of Grid clusters by exploiting on-line performability analysis
|
EDI-INF-RR-0425
| Mar 2005
| Quantitative analysis of skeleton-structured applicative programs
|
EDI-INF-RR-0423
| Sep 2004
| Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra
|
EDI-INF-RR-0422
| Jun 2004
| Evaluating the performance of skeleton-based high level parallel programs
|
EDI-INF-RR-0303
| Mar 2005
| Scheduling skeleton-based grid applications using PEPA and NWS
|
EDI-INF-RR-0013
| Mar 2000
| Amalgamation of Transition Sequences in the PEPA Formalism
|
EDI-INF-RR-0009
| Feb 2000
| Transforming PEPA Models to Obtain Product Form Bounds
|