Hi. I'm Dr. Ayoub Nouri

PostDoc researcher
Rigorous System Design (RSD)
Verimag, University of Grenoble Alpes
IMAG Building, 700, avenue centrale
38401 Saint Martin d'Hères, France

My PhD. thesis is selected among the best 18 thesis in the University of Grenoble Alpes 2015 (Nov. 15, 2016)


Dr. Ayoub Nouri is a Ph.D. in Computer Science from the university of Grenoble Alpes in France since April 2015.
He did a PostDoc in the CEA Grenoble for 15 months where he worked on formalizing VHDL descriptions and
modeling/analyzing Sensor Networks. Dr. Nouri also hold a computer engineering degree from the High Institute
of Computer Science in Tunisia, and a Master of research in software engineering and critical systems from the same institute.
Currently Dr. Nouri is PostDoc in the Verimag laboratory, university of Grenoble Alpes.
He is working on Cybersecurity, dynamic reconfiguration, and certification of Adaptive systems.
Dr. Nouri is interested in developing formal methods, techniques, and tools for the System-level Design of
Embedded and Cyber-Physical Systems. Some of his interests are Model-based Design, Stochastic Component-based Design,
Statistical Inference, Machine Learning, Statistical/Probabilistic Model-checking, Abstraction Techniques.
Dr. Nouri taught "Introduction to Algorithmic" and teach "Formal modeling of computer structures" in the University of Grenoble Alpes.
He served as reviewer for several journals and conferences (STTT, JLAMP, ATVA, TACAS, VECoS, ...),
in addition of being member of different program committees such as RV and VECoS.

Recent Publications




A Statistical Model Checking Engine for Stochastic BIP models

Probabilistic WCET

A tool to Estimate a Probabilistic WCET (MET) using a Regression model.


A code generator for the STHORM Many-core platform/MCAPI runtime

Distribution Fitting

A tool to fit probability distributions to measurements, e.g. execution time


Citadel Project

H2020 -- 2016-2019

Dynamic and adaptive systems, Critical infrastructure, Internet of Things, Safety and Security.

CopCams Project

ARTEMIS -- 2013-2016

Embedded computing, Integrated vision systems, Many-cores, greener, low-power smart cameras, gateways.

FP7 -- 2011-2013

Certification process, mixed-criticality embedded systems, heterogeneous system layout, resource availability


  • 2017/2018: Teaching assistant (License). Modélisation des strcutures informatiques: Aspects formels, Univ. of Grenoble Alpes (UGA), Valence, France.

  • 2013/2014/2015: Teaching assistant (License). Introduction to Algorithmic, Univ. of Joseph Fourier (UJF), Grenoble, France.

Find me on ...