| 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 | 42 | 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 | 10 | 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 | 9 | 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 | 5 | 2015 |
| 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 | 4 | 2015 |
| Modeling and Analysis of Stochastic Real-Time Systems BL Mediouni Université Grenoble Alpes, 2019 | 3 | 2019 |
| 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 | 1 | 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 BL Mediouni Université Grenoble Alpes (ComUE), 2019 | | 2019 |
| BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems 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 |
