AESOP home

Projects

DICE
Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements
February 2015 to January 2018
€712,059
iBids
Intelligent Management of Big Data Storage
March 2014 to March 2017
£368,053

Completed projects

OptiMAM
OptiMAM: Optimising Model-Driven Service Design via Stochastic Analysis Methods
February 2015 to January 2016
MODAClouds
MOdel-Driven Approach for design and execution of applications on multiple Clouds
October 2012 to September 2015
APROPOS
Approximate product-forms and reversed processes for performance analysis
March 2012 to February 2015
AMPS
Analysis of Massively Parallel Stochastic Systems
August 2009 to June 2013
FAQ
Fluid Approximations for Quantitative Analysis
July 2008 to December 2011
iPODS
Intelligent Performance Optimisation of Virtualised Data Storage Systems
October 2007 to September 2010
CAMPA
Compositional Analysis of Markovian Process Algebra
October 2009 to March 2010
Grid Market
Market Models for Grid Computing
September 2006 to March 2010
SPARTACOS
Separability and Response Times in Stochastic Models
July 2006 to December 2009
SPOCS
Staged Performance Optimisation Components
July 2006 to December 2009
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