Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (52)

Communication dans un congrès 28/11/2025

A Coloured Petri Nets Based Attack Tolerance Framework

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

Article dans une revue 18/11/2025

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

Lulu He , Philippe Dague , Lina Ye

Article dans une revue 28/10/2025

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 23/10/2025

Automated Analysis of Asynchronously Communicating Systems

Lakhdar Akroun , Gwen Salaün , Lina Ye

Article dans une revue 23/10/2025

VerChor: A Framework for the Design and Verification of Choreographies

Matthias Güdemann , Pascal Poizat , Gwen Salaün , Lina Ye

22/10/2025

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

Poster de conférence 01/10/2025

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 27/09/2025

Debugging Process Algebra Specifications

Gwen Salaün , Lina Ye

Rapport 27/09/2025

Stability of Asynchronously Communicating Systems

Gwen Salaün , Lina Ye

Communication dans un congrès 27/09/2025

Predictability Analysis of Distributed Discrete Event Systems

Philippe Dague , Farid Nouioua , Lina Ye

Communication dans un congrès 27/09/2025

Quantifying the Parallelism in BPMN Processes using Model Checking

Radu Mateescu , Gwen Salaün , Lina Ye

Communication dans un congrès 11/09/2025

Fault Manifestability Verification for Discrete Event Systems

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

Article dans une revue 02/09/2025

The Grain-size Patchiness of Braided Gravel-Bed Streams – example of the Urumqi River (northeast Tian Shan, China)

L Guerit , L Barrier , C Narteau , F Métivier , Y Liu , E Lajeunesse , E Gayer , P Meunier , L Malverti , Baisheng Ye , Lina Ye

Poster de conférence 20/08/2025

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

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Article dans une revue 12/08/2025

Erosion rates deduced from seasonal mass balance along the upper Urumqi River in Tianshan

Youcun Liu , F D Métivier , J Gaillardet , Baisheng Ye , P Meunier , C Narteau , E Lajeunesse , Tianding Han , L Malverti , Lina Ye

Communication dans un congrès 12/08/2025

Predictability in probabilistic discrete event systems

Farid Nouioua , Philippe Dague , Lina Ye

Article dans une revue 12/08/2025

Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems

Lina Ye

Communication dans un congrès 12/08/2025

New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems

Philippe Dague , Lina Ye

Communication dans un congrès 12/08/2025

A Probabilistic Analysis of Predictability in Discrete Event Systems

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 12/08/2025

A general algorithm for pattern diagnosability of distributed discrete event systems

Philippe Dague , Lina Ye

Communication dans un congrès 12/08/2025

Diagnosability analysis for self-observed distributed discrete event systems

Philippe Dague , Lina Ye

Communication dans un congrès 12/08/2025

A general algorithm for pattern diagnosability of distributed discrete event systems

Philippe Dague , Lina Ye

Article dans une revue 12/08/2025

Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies

Youcun Liu , François Métivier , Éric Lajeunesse , Pierre Lancien , Clément Narteau , Baisheng Ye , Patrick Meunier , Lina Ye

Communication dans un congrès 22/07/2025

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 22/07/2025

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

Lulu He , Philippe Dague , Lina Ye

Communication dans un congrès 22/07/2025

Introducing Divergence for Infinite Probabilistic Models

Alain Finkel , Serge Haddad , Lina Ye

Communication dans un congrès 22/07/2025

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 22/07/2025

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 16/07/2025

About Decisiveness of Dynamic Probabilistic Models

Alain Finkel , Serge Haddad , Lina Ye

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