The two following papers will be presented at ECRTS in Modena, Italy:

ACETONE: Predictable programming framework for ML applications in safety-critical systems
Iryna De Albuquerque Silva (ANITI/ONERA), Thomas Carle (IRIT – Univ Toulouse 3), Adrien Gauffriau (Airbus), Claire Pagetti (ONERA)

Correctness and Efficiency Criteria for the Multi-Phase Task Model
Rémi Meunier (AUSY – IRIT – INSA), Thomas Carle (IRIT – Université Toulouse 3), Thierry Monteil (IRIT –  INSA)