Robust Controlled Invariance for UFAD Regulation. - Pierre-Jean Meyer; Hosein Nazarpour; Antoine Girard; Emmanuel Witrant (BuildSys@SenSys, 2013)

Experimental implementation of UFAD regulation based on Robust Controlled Invariance. - Pierre-Jean Meyer; Hosein Nazarpour; Antoine Girard; Emmanuel Witrant (ECC, 2014)

Monitoring Multi-threaded Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga; Jacques Combaz (IFM, 2016)

Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga (CoRR, 2016)

Monitoring Distributed Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Mohamad Jaber 001; Saddek Bensalem; Marius Bozga (CoRR, 2017)

Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga (Formal Aspects Comput., 2017)

Surveillance de systèmes à composants multi-threads et distribués. (monitoring multi-threaded and distributed (component-based) systems). - Hosein Nazarpour (2017)

Tracing Distributed Component-Based Systems, a Brief Overview. - Yliès Falcone; Hosein Nazarpour; Mohamad Jaber 001; Marius Bozga; Saddek Bensalem (RV, 2018)

Monitoring Distributed Component-Based Systems. - Yliès Falcone; Hosein Nazarpour; Saddek Bensalem; Marius Bozga (FACS, 2021)