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