Lina Ye

Laboratory

Formal Methods Laboratory

Website

Publications (52)

Article in a journal 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 in a journal 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 at a conference 05/10/2023

Introducing Divergence for Infinite Probabilistic Models

Alain Finkel , Serge Haddad , Lina Ye

Communication at a conference 09/09/2023

About Decisiveness of Dynamic Probabilistic Models

Alain Finkel , Serge Haddad , Lina Ye

Conference poster 04/07/2023

Automating dream narrative coding: a paraphrase generation approach

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Communication at a conference 05/05/2023

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

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Conference poster 16/01/2023

Detecting emotion from its components in emotional narratives

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Communication at a conference 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 at a conference 14/09/2022

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

Lulu He , Philippe Dague , Lina Ye

Communication at a conference 06/09/2022

Natural Language Processing for Cognitive Analysis of Emotions

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Conference poster 05/09/2022

Natural Language Processing for Cognitive Analysis of Emotions

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Communication at a conference 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 at a conference 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 at a conference 14/12/2020

Active Prediction for Discrete Event Systems

Stefan Haar , Serge Haddad , Stefan Schwoon , Lina Ye

Communication at a conference 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 at a conference 01/01/2020

A Colored Petri Nets Based Attack Tolerance Framework

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

Communication at a conference 11/11/2019

Manifestability Verification of Discrete Event Systems

Philippe Dague , Lulu He , Lina Ye

Article in a journal 01/01/2019

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

Philippe Dague , Lulu He , Lina Ye

Communication at a conference 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 at a conference 29/08/2018

SMT-based Diagnosability Analysis of Real-Time Systems

Lulu He , Philippe Dague , Lina Ye

Communication at a conference 13/08/2018

Automating Abstraction Computations of Hybrid Systems

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

Communication at a conference 01/01/2018

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

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

Communication at a conference 01/01/2018

Abstractions refinement for hybrid systems diagnosability analysis

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

Article in a journal 01/05/2017

An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures

Philippe Dague , Lina Ye

Communication at a conference 01/02/2017

Diagnosability Planning for Controllable Discrete Event Systems

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

Communication at a conference 01/10/2016

Diagnosability Planning for Controllable Discrete Event Systems

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

Communication at a conference 01/09/2016

Predictability in probabilistic discrete event systems

Farid Nouioua , Philippe Dague , Lina Ye

Communication at a conference 01/08/2016

Fault Manifestability Verification for Discrete Event Systems

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