Lina Ye

Publications :

• Communication dans un congrès - 31 documents
• • Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy. Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise, 2022-09-21. (https://hal.science/hal-03794320)
  • Lulu He, Philippe Dague, Lina Ye. Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable, 2022-09-14. (https://hal.science/hal-03773712)
  • Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye. Natural Language Processing for Cognitive Analysis of Emotions, 2022-09-06. (https://hal.inria.fr/hal-03805702)
  • Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye. Property-Directed Verification and Robustness Certification of Recurrent Neural Networks, 2021-10. (https://hal.science/hal-03285418)
  • Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye. Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search, 2021-08-23. (https://hal.science/hal-03285433)
  • Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye. Active Prediction for Discrete Event Systems, 2020-12-14. (https://hal.science/hal-02951944v3)
  • Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi. A Coloured Petri Nets Based Attack Tolerance Framework, 2020-12-01. (https://hal.science/hal-03133790)
  • Lina Ye, Philippe Dague, Lulu He. Manifestability Verification of Discrete Event Systems, 2019-11-11. (https://hal.science/hal-02425146)
  • Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. How to be Sure a Faulty System Does not Always Appear Healthy?, 2018-09-26. (https://hal.science/hal-01818314)
  • Lulu He, Lina Ye, Philippe Dague. SMT-based Diagnosability Analysis of Real-Time Systems, 2018-08-29. (https://hal.science/hal-01818316)
  • Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. Automating Abstraction Computations of Hybrid Systems, 2018-08-13. (https://hal.science/hal-01839897)
  • Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis, 2017-09. (https://hal.science/hal-01676889)
  • Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon. Diagnosability Planning for Controllable Discrete Event Systems, 2017-02. (https://hal.science/hal-01483416)
  • Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon. Diagnosability Planning for Controllable Discrete Event Systems, 2016-10. (https://hal.science/hal-01483420)
  • Farid Nouioua, Philippe Dague, Lina Ye. Predictability in probabilistic discrete event systems, 2016-09. (https://hal.science/hal-01483427)
  • Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. Fault Manifestability Verification for Discrete Event Systems, 2016-08. (https://hal.science/hal-01483424)
  • Lakhdar Akroun, Gwen Salaün, Lina Ye. Automated Analysis of Asynchronously Communicating Systems, 2016-04-07. (https://hal.inria.fr/hal-01280164)
  • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye. Towards a formal semantics of the TESL specification language, 2015-09-28. (https://hal-centralesupelec.archives-ouvertes.fr/hal-01239669)
  • Gwen Salaün, Lina Ye. Debugging Process Algebra Specifications, 2015-01-12. (https://hal.inria.fr/hal-01087505v2)
  • Farid Nouioua, Philippe Dague, Lina Ye. A Probabilistic Analysis of Predictability in Discrete Event Systems, 2015. (https://hal-amu.archives-ouvertes.fr/hal-01488233)
  • Farid Nouioua, Philippe Dague, Lina Ye. Probabilistic Analysis of Predictability in Discrete Event Systems, 2014-09-08. (https://hal-centralesupelec.archives-ouvertes.fr/hal-01107874)
  • Radu Mateescu, Gwen Salaün, Lina Ye. Quantifying the Parallelism in BPMN Processes using Model Checking, 2014-06-30. (https://hal.inria.fr/hal-01016412)
  • Lina Ye, Philippe Dague, Farid Nouioua. Predictability Analysis of Distributed Discrete Event Systems, 2013-12-10. (https://hal.science/hal-00919434)
  • Lina Ye, Philippe Dague. Diagnosability analysis for self-observed distributed discrete event systems, 2012-11. (https://hal.inria.fr/hal-00790135)
  • Lina Ye, Philippe Dague. A general algorithm for pattern diagnosability of distributed discrete event systems, 2012-11. (https://hal.inria.fr/hal-00790126)
  • Lina Ye, Philippe Dague. A general algorithm for pattern diagnosability of distributed discrete event systems, 2012-07. (https://hal.inria.fr/hal-00790143)
  • Lina Ye, Philippe Dague. New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems, 2012-07. (https://hal.inria.fr/hal-00790146)
  • Yuhong Yan, Lina Ye, Philippe Dague. Diagnosability for Patterns in Distributed Discrete Event Systems, 2010-10. (https://hal.inria.fr/inria-00540844)
  • Lina Ye, Philippe Dague. Diagnosability Analysis of Discrete Event Systems with Autonomous Components, 2010-08. (https://hal.inria.fr/inria-00540649)
  • Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti. A Decentralized Model-Based Diagnosis for BPEL Services, 2009-11-02. (https://hal.science/hal-00667815)
  • Lina Ye, Philippe Dague. An Optimized Algorithm for Diagnosability of Component-based Systems, 2008-08. (https://hal.inria.fr/inria-00540764)
• POSTER - 1 document
• • Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye. Natural Language Processing for Cognitive Analysis of Emotions, 2022-09-05. (https://hal.inria.fr/hal-03805768)
• Article dans une revue - 8 documents
• • Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoit Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye. Analysis of Recurrent Neural Networks via Property-Directed Verification of Surrogate Models, 2022. (https://hal.science/hal-03794442)
  • Philippe Dague, Lulu He, Lina Ye. How to be sure a faulty system does not always appear healthy?, 2019. (https://hal.science/hal-02425142)
  • Lina Ye, Philippe Dague. An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures, 2017-05. (https://hal.science/hal-01483375)
  • Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye. VerChor: A Framework for the Design and Verification of Choreographies, 2016-07. (https://hal.science/hal-01198918)
  • L Guerit, L Barrier, C Narteau, F Métivier, Y Liu, E Lajeunesse, E Gayer, P Meunier, L Malverti, Baisheng Ye. The Grain-size Patchiness of Braided Gravel-Bed Streams – example of the Urumqi River (northeast Tian Shan, China), 2014. (https://hal.science/hal-01500267)
  • Lina Ye. Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems, 2013-12. (https://hal.science/hal-01276948)
  • Youcun Liu, F D Métivier, J Gaillardet, Baisheng Ye, P Meunier, C Narteau, E Lajeunesse, Tianding Han, L Malverti. Erosion rates deduced from seasonal mass balance along the upper Urumqi River in Tianshan, 2011. (https://hal-univ-paris.archives-ouvertes.fr/hal-01499438)
  • Youcun Liu, François Métivier, Éric Lajeunesse, Pierre Lancien, Clément Narteau, Baisheng Ye, Patrick Meunier. Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies, 2008. (https://hal-univ-paris.archives-ouvertes.fr/hal-01499563)
• Chapitre d'ouvrage - 2 documents
• • Safouan Taha, Burkhart Wolff, Lina Ye. Philosophers may Dine - Definitively!, 2020-11-17. (https://hal.science/hal-03134972)
  • Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. Abstractions refinement for hybrid systems diagnosability analysis, 2018. (https://hal.science/hal-01676931)
• Pré-publication, Document de travail - 1 document
• • Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye. Property-Directed Verification of Recurrent Neural Networks, 2020-09-22. (https://hal.science/hal-03134999)
• Rapport - 1 document
• • Gwen Salaün, Lina Ye. Stability of Asynchronously Communicating Systems, 2014-07-01. (https://hal.inria.fr/hal-01020777v2)
• Thèse - 1 document
• • Lina Ye. Optimized diagnosability of distributed discrete event systems through abstraction, 2011-07-07. (https://theses.hal.science/tel-00635695)