A non-quadratic criterion for FIR MIMO channel equalization. - Hichem Besbes; Souha Ben Rayana; Ghaya Rekaya-Ben Othman (ICT, 2013)

Compositional Invariant Generation for Timed Systems. - Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz (TACAS, 2014)

Compositional Verification of Parameterised Timed Systems. - Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz (NFM, 2015)

Timed Orchestration for Component-based Systems. - Chih-Hong Cheng; Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem (CoRR, 2015)

Compositional Verification for Timed Systems Based on Automatic Invariant Generation. - Souha Ben Rayana; Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga; Jacques Combaz (Log. Methods Comput. Sci., 2015)

RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. - Souha Ben Rayana; Marius Bozga; Saddek Bensalem; Jacques Combaz (TACAS, 2016)

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat*. - Adja Ndeye Sylla; Karine Guillouard; Frédéric Klamm; Meryem Ouzzif; Philippe Merle; Souha Ben Rayana; Jean-Bernard Stefani (CNSM, 2019)