Souha Ben Rayana

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 5

Top Topics

Learning Systems

Asynchronous Circuits

Top Venues

Publications

Adja Ndeye Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani
. CNSM (2019)
Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. TACAS (2016)
Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem
Timed Orchestration for Component-based Systems. CoRR (2015)
Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Log. Methods Comput. Sci. 11 (3) (2015)
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Verification of Parameterised Timed Systems. NFM (2015)
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Invariant Generation for Timed Systems. TACAS (2014)
Hichem Besbes, Souha Ben Rayana, Ghaya Rekaya-Ben Othman
A non-quadratic criterion for FIR MIMO channel equalization. ICT (2013)