I am a Ph.D student at VERIMAG. I started in the month of September, 2019. My supervisors are Nicolas Basset (whose webpage I copied) and Thao Dang.
Learning Specifications for Labelled Patterns slides
Feature Based Coverage Analysis of AMS Circuits
Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs