Ayoub Nouri
Ayoub Nouri
University of Grenoble Alpes
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα univ-grenoble-alpes.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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 (2), 171-185, 2015
472015
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
432012
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
292014
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
242018
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
202018
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
192014
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
122016
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
Mitigating security risks through attack strategies exploration
BL Mediouni, A Nouri, M Bozga, A Legay, S Bensalem
International Symposium on Leveraging Applications of Formal Methods, 392-413, 2018
102018
Improved learning for stochastic timed models by state-merging algorithms
BL Mediouni, A Nouri, M Bozga, S Bensalem
NASA Formal Methods Symposium, 178-193, 2017
92017
Rigorous system-level modeling and performance evaluation for embedded system design
A Nouri
Université Grenoble Alpes, 2015
82015
Regression-based statistical bounds on software execution time
P Poplavko, A Nouri, L Angelis, A Zerzelidis, S Bensalem, P Katsaros
International Conference on Verification and Evaluation of Computer and …, 2017
42017
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
42016
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 the ndn data plane using statistical model checking
S Khoussi, A Nouri, J Shi, J Filliben, L Benmohamed, A Battou, ...
International symposium on automated technology for verification and …, 2019
32019
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
SBIP: A Statistical Model Checking Extension for BIP framework
A Nouri
22016
Performance evaluation of a NDN forwarder using statistical model checking.
S Khoussi, A Nouri, J Shi, J Filliben, L Benmohamed, A Battou, ...
arXiv preprint arXiv:1905.01607, 2019
12019
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 (2), 101-116, 2018
12018
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20