Seuraa
Ayoub Nouri
Ayoub Nouri
University of Grenoble Alpes
Vahvistettu sähköpostiosoite verkkotunnuksessa univ-grenoble-alpes.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
602015
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
442012
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
422018
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
352014
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
302018
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
242014
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
172016
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
122013
Rigorous system-level modeling and performance evaluation for embedded system design
A Nouri
Université Grenoble Alpes, 2015
112015
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
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
92018
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
72019
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
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
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
22018
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
12024
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20