S. B. Rayana

Compositional Invariant Generation for Timed Systems

Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, 2014, TACAS.

Compositional verification of component-based real-time systems and applications. (Vérification compositionnelle des systèmes temps-réel à base de composants et applications)

Souha Ben Rayana-Tekaya, Florence Maraninchi, S. Bensalem, 2016 .