Hosein Nazarpour

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 6

Top Topics

Distributed Object

Illumination Invariance

Highly Scalable

Implementation Details

Top Venues

Formal Aspects Comput.

BuildSys@SenSys

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga
Monitoring Distributed Component-Based Systems. FACS (2021)
Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
Tracing Distributed Component-Based Systems, a Brief Overview. RV (2018)
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects Comput. 29 (6) (2017)
Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga
Monitoring Distributed Component-Based Systems. CoRR (2017)
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
Monitoring Multi-threaded Component-Based Systems. IFM (2016)
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. CoRR (2016)
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant
Experimental implementation of UFAD regulation based on Robust Controlled Invariance. ECC (2014)
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant
Robust Controlled Invariance for UFAD Regulation. BuildSys@SenSys (2013)