Ayoub Nouri

According to our database1, Ayoub Nouri authored at least 19 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

2019
Performance evaluation of a NDN forwarder using statistical model checking.
CoRR, 2019

Performance Evaluation of the NDN Data Plane Using Statistical Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2019

2018
Maximal software execution time: a regression-based approach.
Innov. Syst. Softw. Eng., 2018

Performance evaluation of stochastic real-time systems with the SBIP framework.
Int. J. Crit. Comput. Based Syst., 2018

Mitigating Security Risks Through Attack Strategies Exploration.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

A Model-based Approach to Certification of Adaptive MILS.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Regression-Based Statistical Bounds on Software Execution Time.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Improved Learning for Stochastic Timed Models by State-Merging Algorithms.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016
<i>ASTROLABE</i>: A Rigorous Approach for System-Level Performance Modeling and Analysis.
ACM Trans. Embed. Comput. Syst., 2016

Performance Evaluation of Complex Systems Using the SBIP Framework.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Transforming VHDL descriptions into formal component-based models.
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).
PhD thesis, 2015

Statistical model checking QoS properties of systems with SBIP.
Int. J. Softw. Tools Technol. Transf., 2015

2014
Faster Statistical Model Checking by Means of Abstraction and Learning.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Building faithful high-level models and performance evaluation of manycore embedded systems.
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.
Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

Synthesizing distributed scheduling implementation for probabilistic component-based systems.
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013


  Loading...