Fault-Tolerant Control of Discrete Event Systems: Comparison of two approaches on the same case study. - Julien Niguez; Saïd Amari; Jean-Marc Faure (ETFA, 2015)

Analysis of Timed Automata with Guards in dioids algebra. - Julien Niguez; Saïd Amari; Jean-Marc Faure (WODES, 2016)