Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (37)

Poster de conférence 20/08/2025

Détection de l'émotion à partir de ses composantes dans des récits émotionnels

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Communication dans un congrès 12/08/2025

A Probabilistic Analysis of Predictability in Discrete Event Systems

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 12/08/2025

A general algorithm for pattern diagnosability of distributed discrete event systems

Lina Ye , Philippe Dague

Article dans une revue 12/08/2025

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

Lina Ye

Communication dans un congrès 12/08/2025

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

Lina Ye , Philippe Dague

Communication dans un congrès 12/08/2025

Diagnosability analysis for self-observed distributed discrete event systems

Lina Ye , Philippe Dague

Communication dans un congrès 12/08/2025

Predictability in probabilistic discrete event systems

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 12/08/2025

A general algorithm for pattern diagnosability of distributed discrete event systems

Lina Ye , Philippe Dague

Communication dans un congrès 16/07/2025

About Decisiveness of Dynamic Probabilistic Models

Alain Finkel , Serge Haddad , Lina Ye

Communication dans un congrès 26/05/2025

Diagnosability Planning for Controllable Discrete Event Systems

Hassan Ibrahim , Philippe Dague , Alban Grastien , Lina Ye , Laurent Simon