Biblio

Export 4 results:
Author Title [ Type(Asc)] Year
Filters: Author is Ye, Lina  [Clear All Filters]
Conference Paper
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.
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.
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.
Book Chapter
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., “Abstractions refinement for hybrid systems diagnosability analysis”, in Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, Springer, 2018.