ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Axel Legay
Axel Legay

Registered user since Thu 11 Oct 2018

Name: Axel Legay

Country: France

Affiliation: INRIA Rennes

Personal website: https://people.irisa.fr/Axel.Legay/

Contributions

MeTRiD 2019Committee Member in Program Committee within the MeTRiD-track
SPIoT 2019Committee Member in Program Committee within the SPIoT-track
Author of ADTLang: A Programming Language Approach to Attack Defense Trees within the SPIoT-track
Committee Member in Organizing Committee within the SPIoT-track
FASE 2019Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile