Follow
Ayoub Nouri
Ayoub Nouri
University of Grenoble Alpes
Verified email at univ-grenoble-alpes.fr - Homepage
Title
Cited by
Cited by
Year
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
562015
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
422012
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
382018
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
322014
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
272018
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
232014
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
162016
Rigorous system-level modeling and performance evaluation for embedded system design
A Nouri
Université Grenoble Alpes, 2015
112015
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
112013
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
102018
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
102017
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
62016
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
52019
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
42017
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
42013
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
32019
SBIP: A Statistical Model Checking Extension for BIP framework
A Nouri
32016
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
32014
Quantitative risk assessment in the design of resilient systems
BL Mediouni, I Dragomir, A Nouri, S Bensalem
Technical report TR-2018-10, VERIMAG, 2018
12018
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
12018
The system can't perform the operation now. Try again later.
Articles 1–20