Yliès Falcone - ISSTA 2017

Registered user since Mon 12 Dec 2016

Name: Yliès Falcone

Country: France

Affiliation: Univ. Grenoble Alpes, Inria

Personal website: http://www.ylies.fr

Contributions

ISSTA 2017	THEMIS: A Tool for Decentralized Monitoring Algorithms Monitoring Decentralized Specifications
SPIN 2017	Publicity Chair in Organizing Committee Session Chair of Session 10 (part of SPIN Keynote)
Show activities from other conferences