Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (37)

Communication dans un congrès 16/04/2024

SMT-based Diagnosability Analysis of Real-Time Systems

Lulu He , Lina Ye , Philippe Dague

Communication dans un congrès 12/02/2024

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Frederic Boulanger , Safouan Taha , Benoit Valiron , Burkhart Wolff , Lina Ye

Article dans une revue 10/02/2024

Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems

Lina Ye

Communication dans un congrès 10/02/2024

New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems

Lina Ye , Philippe Dague

Communication dans un congrès 10/02/2024

Diagnosability analysis for self-observed distributed discrete event systems

Lina Ye , Philippe Dague

Communication dans un congrès 10/02/2024

A general algorithm for pattern diagnosability of distributed discrete event systems

Lina Ye , Philippe Dague

Communication dans un congrès 10/02/2024

A general algorithm for pattern diagnosability of distributed discrete event systems

Lina Ye , Philippe Dague