Hosein Nazarpour
Hosein Nazarpour
Verimag
Adresse e-mail validée de imag.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Experimental implementation of UFAD regulation based on robust controlled invariance
PJ Meyer, H Nazarpour, A Girard, E Witrant
2014 European Control Conference (ECC), 1468-1473, 2014
122014
Monitoring multi-threaded component-based systems
H Nazarpour, Y Falcone, S Bensalem, M Bozga, J Combaz
International Conference on Integrated Formal Methods, 141-159, 2016
112016
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
H Nazarpour, Y Falcone, S Bensalem, M Bozga
Formal Aspects of Computing 29 (6), 951-986, 2017
92017
Tracing distributed component-based systems, a brief overview
Y Falcone, H Nazarpour, M Jaber, M Bozga, S Bensalem
International Conference on Runtime Verification, 417-425, 2018
52018
Monitoring distributed component-based systems
H Nazarpour, Y Falcone, M Jaber, S Bensalem, M Bozga
arXiv preprint arXiv:1705.05242, 2017
52017
Robust Controlled Invariance for UFAD Regulation
PJ Meyer, H Nazarpour, A Girard, E Witrant
Proceedings of the 5th ACM Workshop on Embedded Systems For Energy-Efficient …, 2013
22013
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems
H Nazarpour, Y Falcone, S Bensalem, M Bozga
arXiv preprint arXiv:1612.06154, 2016
12016
monitoring multi-threaded and distributed (component-based) systems
H Nazarpour
Université Grenoble Alpes, 2017
2017
Surveillance de systèmes à composants multi-threads et distribués
H Nazarpour
Grenoble Alpes, 2017
2017
RVMT-BIP: A Tool for the Runtime Verification of Multi-Threaded Component-Based Systems
H Nazarpour, Y Falcone, S Bensalem, M Bozga
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–10