Lina Ye

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 32

Top Venues

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. 20 (1) (2024)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye
Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation. CoRR (2023)
Alain Finkel, Serge Haddad, Lina Ye
Introducing Divergence for Infinite Probabilistic Models. RP (2023)
Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye
Détection de l'émotion à partir de ses composantes à l'aide d'un corpus de récits émotionnels. EGC (2023)
Alain Finkel, Serge Haddad, Lina Ye
Introducing Divergence for Infinite Probabilistic Models. CoRR (2023)
Alain Finkel, Serge Haddad, Lina Ye
About Decisiveness of Dynamic Probabilistic Models. CoRR (2023)
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Algorithm in Presence of Noise. CoRR (2023)
Alain Finkel, Serge Haddad, Lina Ye
About Decisiveness of Dynamic Probabilistic Models. CONCUR (2023)
Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye
Natural Language Processing for Cognitive Analysis of Emotions. CoRR (2022)
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. GandALF (2022)
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. ICGI (2021)
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. ATVA (2021)
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. CoRR (2020)
Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye
Active Prediction for Discrete Event Systems. FSTTCS (2020)
Philippe Dague, Lulu He, Lina Ye
How to be sure a faulty system does not always appear healthy? Innov. Syst. Softw. Eng. 16 (2) (2020)
Safouan Taha, Burkhart Wolff, Lina Ye
The HOL-CSP Refinement Toolkit. Arch. Formal Proofs 2020 (2020)
Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi
A Coloured Petri Nets Based Attack Tolerance Framework. APSEC (2020)
Safouan Taha, Burkhart Wolff, Lina Ye
Philosophers May Dine - Definitively! IFM (2020)
Safouan Taha, Lina Ye, Burkhart Wolff
HOL-CSP Version 2.0. Arch. Formal Proofs 2019 (2019)
Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague
Automating Abstraction Computation of Hybrid Systems. CICM Workshops (2018)
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
How to Be Sure a Faulty System Does Not Always Appear Healthy? VECoS (2018)
Lina Ye, Philippe Dague
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures. IEEE Trans. Autom. Control. 62 (4) (2017)
Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. DX (2017)
Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon
Diagnosability Planning for Controllable Discrete Event Systems. AAAI (2017)
Lakhdar Akroun, Gwen Salaün, Lina Ye
Automated Analysis of Asynchronously Communicating Systems. SPIN (2016)
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
Fault Manifestability Verification for Discrete Event Systems. ECAI (2016)
Farid Nouioua, Philippe Dague, Lina Ye
Predictability in Probabilistic Discrete Event Systems. SMPS (2016)
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. 9 (4) (2016)
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. GEMOC+MPM@MoDELS (2015)
Lina Ye, Philippe Dague, Farid Nouioua
A Predictability Algorithm for Distributed Discrete Event Systems. ICFEM (2015)
Gwen Salaün, Lina Ye
Debugging Process Algebra Specifications. VMCAI (2015)
Radu Mateescu, Gwen Salaün, Lina Ye
Quantifying the parallelism in BPMN processes using model checking. CBSE (2014)
Lina Ye, Philippe Dague, Farid Nouioua
Predictability analysis of distributed discrete event systems. CDC (2013)
Lina Ye, Philippe Dague
A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. ICTAI (2012)
Lina Ye, Guangwu Yan, Tingting Li
Numerical Method Based on the Lattice Boltzmann Model for the Kuramoto-Sivashinsky Equation. J. Sci. Comput. 49 (2) (2011)
Lina Ye, Philippe Dague
Diagnosability Analysis of Discrete Event Systems with Autonomous Components. ECAI (2010)
Lina Ye, Philippe Dague
An optimized algorithm for diagnosability of component-based systems. WODES (2010)
Lina Ye, Philippe Dague, Yuhong Yan
An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. ICTAI (2009)
Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti
A Decentralized Model-Based Diagnosis for BPEL Services. ICTAI (2009)
Lina Ye, Philippe Dague
Decentralized Diagnosis for BPEL Web Services. WEBIST (1) (2008)

Lina Ye.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lina Ye