Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (33)

Communication dans un congrè 05/02/2024

Diagnosability for Patterns in Distributed Discrete Event Systems

Yuhong Yan , Lina Ye , Philippe Dague

Communication dans un congrè 05/02/2024

An Optimized Algorithm for Diagnosability of Component-based Systems

Lina Ye , Philippe Dague

Communication dans un congrè 05/02/2024

Diagnosability Analysis of Discrete Event Systems with Autonomous Components

Lina Ye , Philippe Dague