Bip 2.0: Statistical model checking stochastic real-time systems BL Mediouni, A Nouri, M Bozga, M Dellabani, A Legay, S Bensalem
International symposium on automated technology for verification and …, 2018
43 2018 Performance evaluation of stochastic real-time systems with the SBIP framework A Nouri, BL Mediouni, M Bozga, J Combaz, S Bensalem, A Legay
International Journal of Critical Computer-Based Systems 8 (3-4), 340-370, 2018
30 2018 Improved learning for stochastic timed models by state-merging algorithms BL Mediouni, A Nouri, M Bozga, S Bensalem
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
11 2017 Mitigating security risks through attack strategies exploration BL Mediouni, A Nouri, M Bozga, A Legay, S Bensalem
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
7 2018 A multi-objective approach for software/hardware partitioning in a multi-target tracking system I Alouani, BL Mediouni, S Niar
2015 International Symposium on Rapid System Prototyping (RSP), 119-125, 2015
6 2015 Modeling and Analysis of Stochastic Real-Time Systems BL Mediouni
Université Grenoble Alpes, 2019
3 2019 A bi-objective heuristic for heterogeneous MPSoC design space exploration BL Mediouni, S Niar, R Benmansour, K Benatchba, M Koudil
2015 10th International Design & Test Symposium (IDT), 90-95, 2015
3 2015 Model-based design of resilient systems using quantitative risk assessment BL Mediouni, I Dragomir, A Nouri, S Bensalem
Innovations in Systems and Software Engineering 20 (1), 3-16, 2024
2 2024 Quantitative risk assessment in the design of resilient systems BL Mediouni, I Dragomir, A Nouri, S Bensalem
Technical report TR-2018-10, VERIMAG, 2018
1 2018 Modélisation et analyse de systèmes stochastiques et temps réel| Theses. fr BL Mediouni
Université Grenoble Alpes (ComUE), 2019
2019 Modélisation Et Analyse de Systèmes Stochastiques Et Temps Réel BL Mediouni
2019 BL Mediouni, A Nouri, M Bozga, M Dellabani, A Legay, S Bensalem
Automated Technology for Verification and Analysis-16th International …, 2018
2018 Approche Bi-objectif pour l’Exploration de l’Espace de Conception dans les MPSoC Hétérogènes BL Mediouni, S Niar, R Benmansour, K Benatchba, M Koudil
Conférence d’informatique en Parallélisme, Architecture et Système, 2015
2015 