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 | 24 | 2016 |
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 | 24 | 2014 |
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 | 11 | 2015 |
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 | 8 | 2015 |
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 | 4 | 2012 |
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 | 3 | 2019 |
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 | 1 | 2020 |
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 |