Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (52)

Article dans une revue 23/08/2025

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

Lulu He , Philippe Dague , Lina Ye , Lina Ye

25/05/2025

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

Lulu He , Philippe Dague , Lina Ye

Article dans une revue 01/11/2023

Analysis of recurrent neural networks via property-directed verification of surrogate models

Igor Khmelnitsky , Daniel Neider , Rajarshi Roy , Xuan Xie , Benoît Barbot , Benedikt Bollig , Alain Finkel , Serge Haddad , Martin Leucker , Lina Ye , Lina Ye

Communication dans un congrès 05/10/2023

Introducing Divergence for Infinite Probabilistic Models

Alain Finkel , Serge Haddad , Lina Ye , Lina Ye

Communication dans un congrès 09/09/2023

About Decisiveness of Dynamic Probabilistic Models

Alain Finkel , Serge Haddad , Lina Ye , Lina Ye

Poster de conférence 04/07/2023

Automatisation du codage des récits de rêve : une approche basée sur la génération de paraphrases

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye , Lina Ye

Communication dans un congrès 05/05/2023

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

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye , Lina Ye

Poster de conférence 16/01/2023

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

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye , Lina Ye

Communication dans un congrès 20/09/2022

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise

Igor Khmelnitsky , Serge Haddad , Lina Ye , Benoît Barbot , Benedikt Bollig , Martin Leucker , Daniel Neider , Rajarshi Roy , Lina Ye

Communication dans un congrès 14/09/2022

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

Lulu He , Philippe Dague , Lina Ye , Lina Ye