| 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 | 58 | 2015 |
| Statistical model checking QoS properties of systems with SBIP S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay, A Nouri Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 42 | 2012 |
| 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 | 40 | 2018 |
| Faster statistical model checking by means of abstraction and learning A Nouri, B Raman, M Bozga, A Legay, S Bensalem Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014 | 32 | 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 | 28 | 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 | 23 | 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 |
| Rigorous system-level modeling and performance evaluation for embedded system design A Nouri Université Grenoble Alpes, 2015 | 11 | 2015 |
| 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 | 11 | 2013 |
| 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 | 10 | 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 |
| 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 | 6 | 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 |
| 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 |
| 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 | 2 | 2018 |
| 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 |
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
