Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (37)

Poster de conférence 21/03/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 20/03/2025

Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable

Lulu He , Philippe Dague , Lina Ye

Communication dans un congrès 20/03/2025

Philosophers may Dine - Definitively!

Safouan Taha , Burkhart Wolff , Lina Ye

Communication dans un congrès 19/03/2025

Predictability in probabilistic discrete event systems

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 18/03/2025

A Probabilistic Analysis of Predictability in Discrete Event Systems

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 26/02/2025

Manifestability Verification of Discrete Event Systems

Lina Ye , Philippe Dague , Lulu He

Communication dans un congrès 26/02/2025

Diagnosability Analysis of Discrete Event Systems with Autonomous Components

Lina Ye , Philippe Dague

Communication dans un congrès 26/02/2025

Quantifying the Parallelism in BPMN Processes using Model Checking

Radu Mateescu , Gwen Salaün , Lina Ye

Communication dans un congrès 26/02/2025

Diagnosability for Patterns in Distributed Discrete Event Systems

Yuhong Yan , Lina Ye , Philippe Dague

Communication dans un congrès 26/02/2025

An Optimized Algorithm for Diagnosability of Component-based Systems

Lina Ye , Philippe Dague