PRiME Workshop on Cross-Layer Theories and Models

July 15-16, 2014

Newcastle University

The scientific workshop focused on technical presentations reporting the ongoing work of the PRiME researchers. A series of seminars and workshops was held over two days and built upon recent collaborative meetings held between the PRiME research team.

Day 1

11.00 – 11.15 – Opening/Welcome – Professor Alex Yakovlev (PRiME Theme 1 Lead)

11.15 – 12.00 – Mirco Tribastone (University of Southampton) – Languages, analysis techniques and tools that are used for modelling computer systems

12.00 – 12.30 – Fei Xia (Newcastle University) – Workflows

14.00 – 15.00 – Alexei Iliasov (Newcastle University) – Tutorial on DSL

15.00 – 15.30 – Victor (Andrey Mokhov – Newcastle University) – Algebra of Parameterised Graphs

16.00 – 16.30 – Ed Stott (Imperial College London) – Degradation modelling

16.30 – 17.00 – Anup Das (University of Southampton) – Algorithms for Intelligent Run-time Management

Day 2

9.30 – 10.30 – Sheng Yang (University of Southampton)  – Tutorial on Prototyping Using GEM5

11.00 – 11.30 – Ashur Rafiev (Newcastle University) – On order graphs

11.30  – 12.00 – Fei Xia (Newcastle University) – ACMs (Asynchronous communication mechanisms in PRiME)

12.00 – 12.30 – Alexei Iliasov  (Newcastle University) – Probability simulation

14.00 – 16.00 – Asieh Salehi Fathabadi & Colin Snook (University of Southampton) – tutorial on event B with applications 

Copies of the presentations/Seminars are available upon request from: info@prime-project.org