Ayoub Nouri

According to our database, Ayoub Nouri authored at least 19 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Model-based design of resilient systems using quantitative risk assessment.

Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem

Innov. Syst. Softw. Eng., March, 2024

2019

Performance evaluation of a NDN forwarder using statistical model checking.

Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem

CoRR, 2019

Performance Evaluation of the NDN Data Plane Using Statistical Model Checking.

Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Maximal software execution time: a regression-based approach.

Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros

Innov. Syst. Softw. Eng., 2018

Performance evaluation of stochastic real-time systems with the SBIP framework.

Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay

Int. J. Crit. Comput. Based Syst., 2018

Mitigating Security Risks Through Attack Strategies Exploration.

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

A Model-based Approach to Certification of Adaptive MILS.

Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018

<i>S</i> BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems.

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Regression-Based Statistical Bounds on Software Execution Time.

Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Improved Learning for Stochastic Timed Models by State-Merging Algorithms.

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

<i>ASTROLABE</i>: A Rigorous Approach for System-Level Performance Modeling and Analysis.

Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem

ACM Trans. Embed. Comput. Syst., 2016

Performance Evaluation of Complex Systems Using the SBIP Framework.

Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Transforming VHDL descriptions into formal component-based models.

Ayoub Nouri, Rahma Ben Atitallah, Anca Molnos, Christian Fabre, Frédéric Heitzmann, Olivier Debicki

Proceedings of the 2016 International Symposium on Rapid System Prototyping, 2016

2015

Rigorous System-level Modeling and Performance Evaluation for Embedded System Design. (Modélisation et Évaluation de Performance pour la Conception des Systèmes Embarqués : Approche Rigoureuse au Niveau Système).

Ayoub Nouri

PhD thesis, 2015

Statistical model checking QoS properties of systems with SBIP.

Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay

Int. J. Softw. Tools Technol. Transf., 2015

2014

Faster Statistical Model Checking by Means of Abstraction and Learning.

Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem

Proceedings of the Runtime Verification - 5th International Conference, 2014

Building faithful high-level models and performance evaluation of manycore embedded systems.

Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2013

Stochastic modeling and performance analysis of multimedia SoCs.

Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty

Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

Synthesizing distributed scheduling implementation for probabilistic component-based systems.

Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013