Follow
Hosein Nazarpour
Hosein Nazarpour
Verimag
Verified email at imag.fr - Homepage
Title
Cited by
Cited by
Year
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
132014
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, 951-986, 2017
112017
Monitoring multi-threaded component-based systems
H Nazarpour, Y Falcone, S Bensalem, M Bozga, J Combaz
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
92016
Tracing distributed component-based systems, a brief overview
Y Falcone, H Nazarpour, M Jaber, M Bozga, S Bensalem
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
82018
Monitoring distributed component-based systems
H Nazarpour, Y Falcone, M Jaber, S Bensalem, M Bozga
arXiv preprint arXiv:1705.05242, 2017
62017
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
32013
Monitoring distributed component-based systems
Y Falcone, H Nazarpour, S Bensalem, M Bozga
Formal Aspects of Component Software: 17th International Conference, FACS …, 2021
22021
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
Université Grenoble Alpes (ComUE), 2017
2017
RVMT-BIP: A Tool for the Runtime Verification of Multi-Threaded Component-Based Systems
H Nazarpour, Y Falcone, S Bensalem, M Bozga
The system can't perform the operation now. Try again later.
Articles 1–10