conf.researchr.org / Antoine El-Hokayem
Not registered as user yet
Name: Antoine El-Hokayem
Affiliation: Grenoble Alpes University, France / Inria, France / CNRS, France
Contributions
| ISSTA 2017 | Author of Monitoring Decentralized Specifications within the Technical Papers-track Author of THEMIS: A Tool for Decentralized Monitoring Algorithms within the Demonstrations-track |