default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAyoub Nouri
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j5]Braham Lotfi Mediouni
, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem:
Model-based design of resilient systems using quantitative risk assessment. Innov. Syst. Softw. Eng. 20(1): 3-16 (2024)- 2022
- [e1]Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li:
Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13187, Springer 2022, ISBN 978-3-030-98849-4 [contents] - 2020
- [c14]Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem:
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. VECoS 2020: 149-164
2010 – 2019
- 2019
- [c13]Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem:
Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. ATVA 2019: 534-550 - [i1]Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem:
Performance evaluation of a NDN forwarder using statistical model checking. CoRR abs/1905.01607 (2019) - 2018
- [j4]Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay:
Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. 8(3/4): 340-370 (2018) - [j3]Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros:
Maximal software execution time: a regression-based approach. Innov. Syst. Softw. Eng. 14(2): 101-116 (2018) - [c12]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem:
S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. ATVA 2018: 536-542 - [c11]Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong:
A Model-based Approach to Certification of Adaptive MILS. MILS@DSN 2018 - [c10]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) 2018: 392-413 - 2017
- [c9]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem:
Improved Learning for Stochastic Timed Models by State-Merging Algorithms. NFM 2017: 178-193 - [c8]Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros:
Regression-Based Statistical Bounds on Software Execution Time. VECoS 2017: 48-63 - 2016
- [j2]Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem:
ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. ACM Trans. Embed. Comput. Syst. 15(2): 31:1-31:26 (2016) - [c7]Ayoub Nouri, Rahma Ben Atitallah, Anca Molnos, Christian Fabre, Frédéric Heitzmann, Olivier Debicki:
Transforming VHDL descriptions into formal component-based models. RSP 2016: 128-135 - [c6]Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Performance Evaluation of Complex Systems Using the SBIP Framework. VECoS 2016: 11-26 - 2015
- [b1]Ayoub Nouri:
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). Grenoble Alpes University, France, 2015 - [j1]Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay:
Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. 17(2): 171-185 (2015) - 2014
- [c5]Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem:
Building faithful high-level models and performance evaluation of manycore embedded systems. MEMOCODE 2014: 209-218 - [c4]Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem:
Faster Statistical Model Checking by Means of Abstraction and Learning. RV 2014: 340-355 - 2013
- [c3]Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled:
Synthesizing distributed scheduling implementation for probabilistic component-based systems. MEMOCODE 2013: 87-96 - [c2]Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty:
Stochastic modeling and performance analysis of multimedia SoCs. ICSAMOS 2013: 145-154 - 2012
- [c1]Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri:
Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) 2012: 327-341
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 00:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
