H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P.,
“Automating Abstraction Computations of Hybrid Systems”, in
CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Hagenberg, Austria, 2018.
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A.,
“How to be Sure a Faulty System Does not Always Appear Healthy?”, in
VECoS 2018 - 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France, 2018.
L. Palacios, Gaelle, L., Ma, Y., and Reynaud-Delaître, C.,
“Knowledge Discovery for Avionics Maintenance Support”, in
Digital Avionics Systems Conference, London, United Kingdom, 2018.
V. Christen, Ying-Chi, L., Anika, G., Cardoso, S. Domingos, Pruski, C., Da Silveira, M., and Erhard, R.,
“A learning-based approach to combine medical annotation results”, in
DILS 2018 LNBI 11371, Hannover, Germany, 2018.
L. He, Ye, L., and Dague, P.,
“SMT-based Diagnosability Analysis of Real-Time Systems”, in
SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Varsovie, Poland, 2018.