- AMPS
- Analysis of Massively Parallel Stochastic Systems
- August 2009 to February 2013
- £555,066
- CAMPA
- Compositional Analysis of Markovian Process Algebra
- October 2009 to March 2010
- £61,927
- FAQ
- Fluid Approximations for Quantitative Analysis
- July 2008 to December 2011
- £429,005
- Grid Market
- Market Models for Grid Computing
- September 2006 to March 2010
- £350,234
- iPODS
- Intelligent Performance Optimisation of Virtualised Data Storage Systems
- October 2007 to September 2010
- £471,268
- SPARTACOS
- Separability and Response Times in Stochastic Models
- July 2006 to December 2009
- £281,971
- SPOCS
- Staged Performance Optimisation Components
- July 2006 to December 2009
- £383,201
Completed projects
- GRAIL
- GRID-Enabled Performance Analysis using Stochastic Logics
- November 2005 to November 2008
- PerformDB
- A Distributed Collaborative Performance Engineering Environment
- May 2006 to May 2008
- Risk
- Risk Management for Queueing Systems
- September 2003 to August 2006
- PASTRAMI
- Passage Times in Large Markov and Semi-Markov Chains
- July 2003 to June 2006
- WORMS
- Detecting Internet Worm Attacks using Stochastic Agent Models
- March 2004 to March 2006
- CONTAINER
- Modelling Decision-making Processes in UK Container Transport
- May 2001 to February 2005
- PROFORMA
- Product Forms for Markovian Analysis
- November 2003 to October 2004
- EMU
- Extracting performance Models from UML
- June 2001 to May 2004
- OSCAR
- Optimisation of Scientific Software At Run-Time
- March 2001 to March 2004
- MEGAN
- MM CPP/GE/C/L G-Queues and Networks
- December 2000 to November 2003
- QUAINT
- Quantitative Analysis of the Internet
- June 2000 to June 2003
- HIPS
- High-level Component-based Construction of High Performance Scientific Applications
- March 2000 to February 2003
- DIGEST
- Distributed Generation and Evaluation of State-Transition Systems
- January 2000 to January 2003
- CROPS2
- Cross-component Optimisation of Parallel Scientific Software II
- September 2001 to August 2002
- CROPS
- Cross-component Optimisation of Parallel Scientific Software I
- June 2000 to June 2001
- PERMOCS
- Performance Modelling of Client-Server Systems
- March 1997 to November 2000
- COMPA
- Computer System Modelling via Markovian Process Algebra
- October 1997 to June 2000
- B-ISDN
- Performance Modelling and Evaluation of B-ISDNs
- February 1996 to January 1999
- OPTICS
- The Optimisation of Coherency and Communication in Parallel Systems using Shared Abstract Data Types
- September 1994 to February 1998
- CRAMP
- Combining Randomisation and Mixed-policy Caching for Bounded Contention
- June 1994 to September 1997
- QLAP
- Quantitative Design of Large Networks of Polling Stations
- October 1993 to March 1997
- PERMODS
- Performance Modelling of Parallel and Distributed Systems
- September 1992 to March 1996
- COMPAQT
- Combined Program and Query Transformation for Parallel Database Processing
- March 1993 to February 1996
- CIMP
- Communication Intensive Massively Parallel Algorithms
- April 1992 to April 1995
- APTAP
- Algebraic Program Transformation Foundations and Application to Parallel Computation
- April 1992 to March 1995
- TP2
- The Theory and Practice of Transformational Programming
- June 1989 to May 1992
- EFLAP
- The Exploitation of Parallel Hardware using Functional Languages and Program Transformations
- May 1989 to April 1992
- AMLAP
- Analytical Modelling of Large-scale Parallel Machines
- April 1988 to March 1991
