Mrs YE Lina

Professeur assistant Centrale Supélec Verification of Algorithms, Languages and Systems Tel : Fax : Office : 16/PCRI-S Personal web page : https://www.lri.fr/~linaye Email : lina.ye@lri.fr Research activities    - Diagnosis    - Large scale modelling Publications Ph.D. dissertations & Faculty habilitations Ph.D   - Optimized Diagnosability of Distributed Discrete Event Systems Through Abstraction