Souha Ben Rayana

According to our database, Souha Ben Rayana authored at least 7 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Proceedings of the 15th International Conference on Network and Service Management, 2019

2016

RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems.

Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

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

Timed Orchestration for Component-based Systems.

Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem

CoRR, 2015

Compositional Verification of Parameterised Timed Systems.

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Compositional Invariant Generation for Timed Systems.

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

A non-quadratic criterion for FIR MIMO channel equalization.

Hichem Besbes, Souha Ben Rayana, Ghaya Rekaya-Ben Othman

Proceedings of the 20st International Conference on Telecommunications, 2013