Statistical model checking QoS properties of systems with SBIP A Nouri, S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay International Journal on Software Tools for Technology Transfer 17, 171-185, 2015 | 61 | 2015 |
Statistical model checking QoS properties of systems with SBIP S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay, A Nouri International Symposium On Leveraging Applications of Formal Methods …, 2012 | 44 | 2012 |
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 |
Faster statistical model checking by means of abstraction and learning A Nouri, B Raman, M Bozga, A Legay, S Bensalem International conference on runtime verification, 340-355, 2014 | 35 | 2014 |
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 |
Building faithful high-level models and performance evaluation of manycore embedded systems A Nouri, M Bozga, A Molnos, A Legay, S Bensalem 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014 | 25 | 2014 |
ASTROLABE A Rigorous Approach for System-Level Performance Modeling and Analysis A Nouri, M Bozga, A Molnos, A Legay, S Bensalem ACM Transactions on Embedded Computing Systems (TECS) 15 (2), 1-26, 2016 | 17 | 2016 |
Stochastic modeling and performance analysis of multimedia socs B Raman, A Nouri, D Gangadharan, M Bozga, A Basu, M Maheshwari, ... 2013 International Conference on Embedded Computer Systems: Architectures …, 2013 | 12 | 2013 |
Rigorous system-level modeling and performance evaluation for embedded system design A Nouri Université Grenoble Alpes, 2015 | 11 | 2015 |
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 |
Performance evaluation of the ndn data plane using statistical model checking S Khoussi, A Nouri, J Shi, J Filliben, L Benmohamed, A Battou, ... Automated Technology for Verification and Analysis: 17th International …, 2019 | 7 | 2019 |
Performance evaluation of complex systems using the sbip framework A Nouri, M Bozga, A Legay, S Bensalem he International Conference on Verification and Evaluation of Computer and …, 2016 | 6 | 2016 |
Regression-based statistical bounds on software execution time P Poplavko, A Nouri, L Angelis, A Zerzelidis, S Bensalem, P Katsaros Verification and Evaluation of Computer and Communication Systems: 11th …, 2017 | 4 | 2017 |
Synthesizing distributed scheduling implementation for probabilistic component-based systems S Bensalem, A Legay, A Nouri, D Peled 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013 | 4 | 2013 |
Performance evaluation of a NDN forwarder using statistical model checking S Khoussi, A Nouri, J Shi, J Filliben, L Benmohamed, A Battou, ... CoRR abs/1905.01607, 2019 | 3 | 2019 |
Maximal software execution time: a regression-based approach A Nouri, P Poplavko, L Angelis, A Zerzelidis, S Bensalem, P Katsaros Innovations in Systems and Software Engineering 14, 101-116, 2018 | 3 | 2018 |
SBIP: A Statistical Model Checking Extension for BIP framework A Nouri | 3 | 2016 |
A model-based approach for rapid prototyping of parallel applications on manycore A Nouri, A Molnos, J Mottin, M Bozga, S Bensalem, A Tonda, F Pacull Poster presented at the 51st Design Automation Conference in San Francisco …, 2014 | 3 | 2014 |
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 |