Ayoub Nouri

20 papers B 2C 7Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Model-based design of resilient systems using quantitative risk assessment.
Innov. Syst. Softw. Eng.
Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
2022 C ed.
Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers
VECoS
Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li
2020 C conf
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment.
VECoS
Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
2019 B conf
Performance Evaluation of the NDN Data Plane Using Statistical Model Checking.
ATVA
Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem
2019 J jnl
Performance evaluation of a NDN forwarder using statistical model checking.
CoRR
Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem
2018 — conf
A Model-based Approach to Certification of Adaptive MILS.
MILS@DSN
Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong
2018 J jnl
Maximal software execution time: a regression-based approach.
Innov. Syst. Softw. Eng.
Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
2018 — conf
Mitigating Security Risks Through Attack Strategies Exploration.
ISoLA (2)
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
2018 J jnl
Performance evaluation of stochastic real-time systems with the SBIP framework.
Int. J. Crit. Comput. Based Syst.
Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay
2017 — conf
Improved Learning for Stochastic Timed Models by State-Merging Algorithms.
NFM
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem
2017 C conf
Regression-Based Statistical Bounds on Software Execution Time.
VECoS
Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
2016 C conf
Performance Evaluation of Complex Systems Using the SBIP Framework.
VECoS
Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
2016 C conf
Transforming VHDL descriptions into formal component-based models.
RSP
Ayoub Nouri, Rahma Ben Atitallah, Anca Molnos, Christian Fabre, Frédéric Heitzmann, Olivier Debicki
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
2015 J jnl
Statistical model checking QoS properties of systems with SBIP.
Int. J. Softw. Tools Technol. Transf.
Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay
2014 C conf
Building faithful high-level models and performance evaluation of manycore embedded systems.
MEMOCODE
Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
2014 B conf
Faster Statistical Model Checking by Means of Abstraction and Learning.
RV
Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem
2013 — conf
Stochastic modeling and performance analysis of multimedia SoCs.
ICSAMOS
Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty
2013 C conf
Synthesizing distributed scheduling implementation for probabilistic component-based systems.
MEMOCODE
Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled
2012 — conf
Statistical Model Checking QoS Properties of Systems with SBIP.
ISoLA (1)
Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri