Not registered as user yet

Name: Antoine El-Hokayem

Affiliation: Grenoble Alpes University, France / Inria, France / CNRS, France

ISSTA 2017 Activities

• Author of Monitoring Decentralized Specifications within the Technical Papers-track in ISSTA 2017
• Author of THEMIS: A Tool for Decentralized Monitoring Algorithms within the Demonstrations-track in ISSTA 2017
• Show activities from other conferences