Hosein Nazarpour

According to our database, Hosein Nazarpour authored at least 9 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Monitoring Distributed Component-Based Systems.

Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

2018

Tracing Distributed Component-Based Systems, a Brief Overview.

Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem

Proceedings of the Runtime Verification - 18th International Conference, 2018

2017

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

Hosein Nazarpour

PhD thesis, 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

Monitoring Distributed Component-Based Systems.

Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga

CoRR, 2017

2016

Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems.

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga

CoRR, 2016

Monitoring Multi-threaded Component-Based Systems.

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2014

Experimental implementation of UFAD regulation based on Robust Controlled Invariance.

Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant

Proceedings of the 13th European Control Conference, 2014

2013

Robust Controlled Invariance for UFAD Regulation.

Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant

Proceedings of the BuildSys 2013, 2013