This page provides a catalogue of recomputable exeperiments currently published on this website. They are grouped according to the publication type of the corresponding academic work.
We recommend that you first read through the general instructions for running these experiments.
If you have a VM related to an experiment which you feel is suitable to be hosted here you can upload it here (authenticated users only - choose the 'Login' button above and authenticate using a Github account). Alternatively, you can use our Recomputator to build a VM based on one of several candidate VMs we have provided. Again this will require authentication via a Github account.
You can view a list your experiments, published or not. From here you can access and edit any unpublished experiments you own.
Security Warning: There are inevitable security risks in running any executable and/or virtual machine downloaded from the internet. You should take appropriate precautions.
- Practical Verification of Decision-making in Agent-based Autonomous Systems. Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln, Alexei Lisitsa and Sandor M. Veres. Automated Software Engineering, 2014.