Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (33)

Communication dans un congrès 22/03/2024

How to be Sure a Faulty System Does not Always Appear Healthy?

Lina Ye , Philippe Dague , Delphine Longuet , Laura Brandán Briones , Agnes Madalinski

Communication dans un congrès 14/03/2024

Predictability in probabilistic discrete event systems

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 13/02/2024

Fault Manifestability Verification for Discrete Event Systems

Lina Ye , Philippe Dague , Delphine Longuet , Laura Brandán Briones , Agnes Madalinski

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

Communication dans un congrès 09/02/2024

A Probabilistic Analysis of Predictability in Discrete Event Systems

Farid Nouioua , Philippe Dague , Lina Ye