Informatics Report Series


Jane Hillston

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

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

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh