Follow
Souha Ben Rayana
Souha Ben Rayana
PhD, Grenoble Alpes University
Verified email at imag.fr
Title
Cited by
Cited by
Year
Rtd-finder: A tool for compositional verification of real-time component-based systems
S Ben-Rayana, M Bozga, S Bensalem, J Combaz
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
242016
Compositional invariant generation for timed systems
L Aştefănoaei, S Ben Rayana, S Bensalem, M Bozga, J Combaz
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
242014
Compositional verification for timed systems based on automatic invariant generation
L Astefanoaei, SB Rayana, S Bensalem, M Bozga, J Combaz
Logical Methods in Computer Science 11, 2015
112015
Compositional verification of parameterised timed systems
L Aştefănoaei, S Ben Rayana, S Bensalem, M Bozga, J Combaz
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
82015
Joint equalization and polarization-time coding detection to mitigate PMD and PDL impairments
SB Rayana, H Besbes, GRB Othman, Y Jaouën
Signal Processing in Photonic Communications, SpW2B. 3, 2012
42012
Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat*
AN Sylla, K Guillouard, F Klamm, M Ouzzif, P Merle, SB Rayana, ...
2019 15th International Conference on Network and Service Management (CNSM), 1-5, 2019
32019
Towards a formal reference computational model for cloud configuration management
P Merle, SB Rayana, L Seinturier, R Pissard-Gibollet, JB Stefani, AN Sylla
INRIA, 2020
12020
Compositional verification of component-based real-time systems and applications
SB Rayana-Tekaya
Grenoble Alpes University, France, 2016
2016
Timed Orchestration for Component-based Systems
CH Cheng, L Astefanoaei, H Ruess, SB Rayana, S Bensalem
arXiv preprint arXiv:1504.05513, 2015
2015
A non-quadratic criterion for FIR MIMO channel equalization
H Besbes, SB Rayana, GRB Othman
ICT 2013, 1-5, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–10