| 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 | 13 | 2014 |
| 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 | 10 | 2018 |
| 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 | 10 | 2017 |
| 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 | 10 | 2016 |
| Monitoring distributed component-based systems H Nazarpour, Y Falcone, M Jaber, S Bensalem, M Bozga arXiv preprint arXiv:1705.05242, 2017 | 7 | 2017 |
| Monitoring distributed component-based systems Y Falcone, H Nazarpour, S Bensalem, M Bozga Formal Aspects of Component Software: 17th International Conference, FACS …, 2021 | 5 | 2021 |
| 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 | 3 | 2013 |
| 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 | 1 | 2016 |
| 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 | | |
