| 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 | 12 | 2014 |
| 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 | 11 | 2016 |
| 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 | 9 | 2017 |
| 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 | 4 | 2018 |
| Monitoring distributed component-based systems H Nazarpour, Y Falcone, M Jaber, S Bensalem, M Bozga arXiv preprint arXiv:1705.05242, 2017 | 4 | 2017 |
| 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 | 2 | 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 | | 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 | | |
