1. Causality problem in real-time calculus

   • Karine Altisen
   • Matthieu Moy

   OriginalPaper 05 April 2016 Pages: 1 - 45

   

2. Decentralised LTL monitoring

   • Andreas Bauer
   • Yliès Falcone

   OriginalPaper 07 May 2016 Pages: 46 - 93

   

3. Synthesis of large dynamic concurrent programs from dynamic specifications

   • Paul C. Attie

   OriginalPaper 28 June 2016 Pages: 94 - 147