Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (52)

Communication dans un congrès 26/05/2025

Diagnosability Planning for Controllable Discrete Event Systems

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

25/05/2025

An Approximation-based Incremental SMT Approach for Diagnosability Analysis of Real-Time Systems

Lulu He , Philippe Dague , Lina Ye

Thèse 07/05/2025

Optimized diagnosability of distributed discrete event systems through abstraction

Lina Ye

Communication dans un congrès 02/05/2025

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

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

Communication dans un congrès 17/04/2025

A Decentralized Model-Based Diagnosis for BPEL Services

Yingmin Li , Philippe Dague , Tarek Melliti , Lina Ye

Poster de conférence 21/03/2025

Natural Language Processing for Cognitive Analysis of Emotions

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Communication dans un congrès 21/03/2025

Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Communication dans un congrès 21/03/2025

Natural Language Processing for Cognitive Analysis of Emotions

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Communication dans un congrès 20/03/2025

Philosophers may Dine - Definitively!

Burkhart Wolff , Safouan Taha , Lina Ye

Communication dans un congrès 28/02/2025

Active Prediction for Discrete Event Systems

Stefan Haar , Serge Haddad , Stefan Schwoon , Lina Ye

Communication dans un congrès 26/02/2025

Diagnosability Analysis of Discrete Event Systems with Autonomous Components

Philippe Dague , Lina Ye

Article dans une revue 26/02/2025

How to be sure a faulty system does not always appear healthy?

Philippe Dague , Lulu He , Lina Ye

Communication dans un congrès 26/02/2025

Diagnosability for Patterns in Distributed Discrete Event Systems

Yuhong Yan , Philippe Dague , Lina Ye

Communication dans un congrès 26/02/2025

An Optimized Algorithm for Diagnosability of Component-based Systems

Philippe Dague , Lina Ye

Communication dans un congrès 26/02/2025

Manifestability Verification of Discrete Event Systems

Philippe Dague , Lulu He , Lina Ye

Communication dans un congrès 28/11/2024

Probabilistic Analysis of Predictability in Discrete Event Systems

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 03/09/2024

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

Hadi Zaatiti , Philippe Dague , Jean-Pierre Gallois , Lina Ye

Communication dans un congrès 03/09/2024

Abstractions refinement for hybrid systems diagnosability analysis

Hadi Zaatiti , Philippe Dague , Jean-Pierre Gallois , Lina Ye

Communication dans un congrès 03/09/2024

Automating Abstraction Computations of Hybrid Systems

Hadi Zaatiti , Philippe Dague , Jean-Pierre Gallois , Lina Ye

Article dans une revue 14/05/2024

An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures

Philippe Dague , Lina Ye

Communication dans un congrès 16/04/2024

SMT-based Diagnosability Analysis of Real-Time Systems

Lulu He , Philippe Dague , Lina Ye

Communication dans un congrès 12/02/2024

Towards a formal semantics of the TESL specification language

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