Skip to content

Ayoub Nouri

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

6

Active years

2012–2020

Best venue rank

C

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2020VECoSModel-Based Design of Resilient Systems Using Quantitative Risk Assessment.Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
2019ATVAPerformance Evaluation of the NDN Data Plane Using Statistical Model Checking.Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem
2018ATVAUntitled recordBraham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem
2018ISoLAMitigating Security Risks Through Attack Strategies Exploration.Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
2017VECoSRegression-Based Statistical Bounds on Software Execution Time.Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
2016RSPTransforming VHDL descriptions into formal component-based models.Ayoub Nouri, Rahma Ben Atitallah, Anca Molnos, Christian Fabre, Frdric Heitzmann, Olivier Debicki
2016VECoSPerformance Evaluation of Complex Systems Using the SBIP Framework.Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
2014MEMOCODEBuilding faithful high-level models and performance evaluation of manycore embedded systems.Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
2014RVFaster Statistical Model Checking by Means of Abstraction and Learning.Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem
2013MEMOCODESynthesizing distributed scheduling implementation for probabilistic component-based systems.Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled
2012ISoLAStatistical Model Checking QoS Properties of Systems with SBIP.Saddek Bensalem, Marius Bozga, Benot Delahaye, Cyrille Jgourel, Axel Legay, Ayoub Nouri