1. Realizability of concurrent recursive programs

   • Benedikt Bollig
   • Manuela-Lidia Grindei
   • Peter Habermehl

   OriginalPaper 24 July 2017 Pages: 339 - 362

   

2. An improved algorithm for the control synthesis of nonlinear sampled switched systems

   • Adrien Le Coënt
   • Julien Alexandre dit Sandretto
   • Laurent Fribourg

   OriginalPaper 11 November 2017 Pages: 363 - 383

   

3. Improving the results of program analysis by abstract interpretation beyond the decreasing sequence

   • Rémy Boutonnet
   • Nicolas Halbwachs

   OriginalPaper 09 December 2017 Pages: 384 - 406

   

4. Compact and efficiently verifiable models for concurrent systems

   • Hernán Ponce de León
   • Andrey Mokhov

   OriginalPaper 19 February 2018 Pages: 407 - 431