Lina Ye

Laboratoire

LMF

Site WEB

Publications (56)

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

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 20/03/2024

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

Igor Khmelnitsky , Serge Haddad , Benoît Barbot , Benedikt Bollig , Martin Leucker , Daniel Neider , Rajarshi Roy , 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

Communication dans un congrès 05/10/2023

Introducing Divergence for Infinite Probabilistic Models

Alain Finkel , Serge Haddad , Lina Ye

Communication dans un congrès 09/09/2023

About Decisiveness of Dynamic Probabilistic Models

Alain Finkel , Serge Haddad , 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

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

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

Communication dans un congrès 20/09/2022

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

Igor Khmelnitsky , Serge Haddad , 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

Communication dans un congrès 06/09/2022

Natural Language Processing for Cognitive Analysis of Emotions

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Poster de conférence 05/09/2022

Natural Language Processing for Cognitive Analysis of Emotions

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Communication dans un congrès 01/10/2021

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

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

Communication dans un congrès 01/08/2021

Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search

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

Communication dans un congrès 14/12/2020

Active Prediction for Discrete Event Systems

Stefan Haar , Serge Haddad , Stefan Schwoon , Lina Ye

Article dans une revue 19/11/2020

The HOL-CSP Refinement Toolkit

Burkhart Wolff , Safouan Taha , Lina Ye

Communication dans un congrès 14/11/2020

Philosophers may Dine - Definitively!

Burkhart Wolff , Safouan Taha , Lina Ye

22/09/2020

Property-Directed Verification of Recurrent Neural Networks

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

Communication dans un congrès 01/01/2020

A Coloured Petri Nets Based Attack Tolerance Framework

Wenbo Zhou , Philippe Dague , Lei Liu , Fatiha Zaidi , Lina Ye

Communication dans un congrès 11/11/2019

Manifestability Verification of Discrete Event Systems

Philippe Dague , Lulu He , Lina Ye

Article dans une revue 26/04/2019

HOL-CSP Version 2.0

Burkhart Wolff , Safouan Taha , Lina Ye

Article dans une revue 01/01/2019

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

Philippe Dague , Lulu He , Lina Ye

Communication dans un congrès 26/09/2018

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 29/08/2018

SMT-based Diagnosability Analysis of Real-Time Systems

Lulu He , Philippe Dague , Lina Ye

Communication dans un congrès 13/08/2018

Automating Abstraction Computations of Hybrid Systems

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

Communication dans un congrès 01/01/2018

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

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

Communication dans un congrès 01/01/2018

Abstractions refinement for hybrid systems diagnosability analysis

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

Article dans une revue 01/05/2017

An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures

Philippe Dague , Lina Ye

Communication dans un congrès 01/02/2017

Diagnosability Planning for Controllable Discrete Event Systems

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