Mark Timmer

PhD Student, University of Twente

• Home
• Research
• SCOOP tool
• Teaching
• CV
• Contact

• Home of SCOOP
• Stand-alone version
• Web-based version
• Input language
• Features
• Case studies

Additional files corresponding to CONCUR 2012 submission
     "Efficient Modelling and Generation of Markov Automata"

This page contains complementary material for the paper "Efficient Modelling and Generation of Markov Automata", that is currently in submission at CONCUR 2012.

Reproducing the experiments

To reproduce the experiments that are described in the paper, you need the following three things (or only the first two when using Linux or Mac OS X):

• Models used for the experiments in the paper
• Test script to run the experiments under Linux or Mac OS X / Batch file to run the experiments under Windows
• Timer application for measuring time under Windows

Furthermore, you need to download the tool (or try the smaller variants on the web-based interface).
(The sources of the same version of the tool that was used for these experiments can be found here.)

Now, the experiments described in the paper can be reproduced by placing the models and the test script (or the batch file and the timer application) in the same directory as the tool, and executing it. Possibly, in Linux or Mac OS X, you first have to make the script executable using:

• chmod +x testscript