1. A core calculus for dynamic delta-oriented programming

   • Ferruccio Damiani
   • Luca Padovani
   • Christoph Seidl

   Original Article 31 January 2017 Pages: 269 - 307

   

2. Algorithms for monitoring real-time properties

   • David Basin
   • Felix Klaedtke
   • Eugen Zălinescu

   Original Article 03 March 2017 Pages: 309 - 338

   

3. Factorisation of transition systems

   • Raymond Devillers

   Original Article 29 April 2017 Pages: 339 - 362