Releases of the open-source tools published by the AESOP group, including:

Hydra

The HYpergraph-based Distributed Response-time Analyser

BAM

The BioAmbient Machine, for simulating stochastic BioAmbients

Parkway

The first parallel, hypergraph partitioning software

Imperial PEPA Compiler

Please see the ipc site

Open Battery

An Android device battery logging tool