Decentralized Diagnosis for BPEL Web Services. - Lina Ye; Philippe Dague (WEBIST (1), 2008)

A Decentralized Model-Based Diagnosis for BPEL Services. - Yingmin Li; Lina Ye; Philippe Dague; Tarek Melliti (ICTAI, 2009)

An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. - Lina Ye; Philippe Dague; Yuhong Yan (ICTAI, 2009)

Diagnosability Analysis of Discrete Event Systems with Autonomous Components. - Lina Ye; Philippe Dague (ECAI, 2010)

An optimized algorithm for diagnosability of component-based systems. - Lina Ye; Philippe Dague (WODES, 2010)

Numerical Method Based on the Lattice Boltzmann Model for the Kuramoto-Sivashinsky Equation. - Lina Ye; Guangwu Yan; Tingting Li (J. Sci. Comput., 2011)

Optimized diagnosability of distributed discrete event systems through abstraction. (Diagnosticabilité Optimisée des Systèmes Distribués à Evénements Discrets par Abstraction). - Lina Ye (2011)

A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. - Lina Ye; Philippe Dague (ICTAI, 2012)

Predictability analysis of distributed discrete event systems. - Lina Ye; Philippe Dague; Farid Nouioua (CDC, 2013)

Quantifying the parallelism in BPMN processes using model checking. - Radu Mateescu 001; Gwen Salaün; Lina Ye (CBSE, 2014)

A Predictability Algorithm for Distributed Discrete Event Systems. - Lina Ye; Philippe Dague; Farid Nouioua (ICFEM, 2015)

Towards a Formal Semantics of the TESL Specification Language. - Hai Nguyen Van; Thibaut Balabonski; Frédéric Boulanger; Safouan Taha; Benoît Valiron; Burkhart Wolff; Lina Ye (GEMOC+MPM@MoDELS, 2015)

Debugging Process Algebra Specifications. - Gwen Salaün; Lina Ye (VMCAI, 2015)

Fault Manifestability Verification for Discrete Event Systems. - Lina Ye; Philippe Dague; Delphine Longuet; Laura Brandán Briones; Agnes Madalinski (ECAI, 2016)

Predictability in Probabilistic Discrete Event Systems. - Farid Nouioua; Philippe Dague; Lina Ye (SMPS, 2016)

Automated Analysis of Asynchronously Communicating Systems. - Lakhdar Akroun; Gwen Salaün; Lina Ye (SPIN, 2016)

VerChor: A Framework for the Design and Verification of Choreographies. - Matthias Güdemann; Pascal Poizat; Gwen Salaün; Lina Ye (IEEE Trans. Serv. Comput., 2016)

Diagnosability Planning for Controllable Discrete Event Systems. - Hassan Ibrahim; Philippe Dague; Alban Grastien; Lina Ye; Laurent Simon (AAAI, 2017)

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. - Hadi Zaatiti; Lina Ye; Philippe Dague; Jean-Pierre Gallois (DX, 2017)

An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures. - Lina Ye; Philippe Dague (IEEE Trans. Autom. Control., 2017)

Automating Abstraction Computation of Hybrid Systems. - Hadi Zaatiti; Jean-Pierre Gallois; Lina Ye; Philippe Dague (CICM Workshops, 2018)

How to Be Sure a Faulty System Does Not Always Appear Healthy? - Lina Ye; Philippe Dague; Delphine Longuet; Laura Brandán Briones; Agnes Madalinski (VECoS, 2018)

HOL-CSP Version 2.0. - Safouan Taha; Lina Ye; Burkhart Wolff (Arch. Formal Proofs, 2019)

A Coloured Petri Nets Based Attack Tolerance Framework. - Wenbo Zhou; Philippe Dague; Lei Liu 040; Lina Ye; Fatiha Zaïdi (APSEC, 2020)

Active Prediction for Discrete Event Systems. - Stefan Haar; Serge Haddad; Stefan Schwoon; Lina Ye (FSTTCS, 2020)

Philosophers May Dine - Definitively! - Safouan Taha; Burkhart Wolff; Lina Ye (IFM, 2020)

The HOL-CSP Refinement Toolkit. - Safouan Taha; Burkhart Wolff; Lina Ye (Arch. Formal Proofs, 2020)

Property-Directed Verification of Recurrent Neural Networks. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (CoRR, 2020)

How to be sure a faulty system does not always appear healthy? - Philippe Dague; Lulu He; Lina Ye (Innov. Syst. Softw. Eng., 2020)

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Xuan Xie 001; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (ATVA, 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 002; Lina Ye (ICGI, 2021)

Natural Language Processing for Cognitive Analysis of Emotions. - Gustave Cortal; Alain Finkel; Patrick Paroubek; Lina Ye (CoRR, 2022)

About Decisiveness of Dynamic Probabilistic Models. - Alain Finkel; Serge Haddad; Lina Ye (CONCUR, 2023)

Détection de l'émotion à partir de ses composantes à l'aide d'un corpus de récits émotionnels. - Gustave Cortal; Alain Finkel; Patrick Paroubek; Lina Ye (EGC, 2023)

Introducing Divergence for Infinite Probabilistic Models. - Alain Finkel; Serge Haddad; Lina Ye (RP, 2023)

Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation. - Gustave Cortal; Alain Finkel; Patrick Paroubek; Lina Ye (CoRR, 2023)

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. - Lina Ye; Igor Khmelnitsky; Serge Haddad; Benoît Barbot; Benedikt Bollig; Martin Leucker; Daniel Neider; Rajarshi Roy 002 (CoRR, 2023)

Analysis of recurrent neural networks via property-directed verification of surrogate models. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Xuan Xie 001; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (Int. J. Softw. Tools Technol. Transf., 2023)

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. - Lina Ye; Igor Khmelnitsky; Serge Haddad; Benoît Barbot; Benedikt Bollig; Martin Leucker; Daniel Neider; Rajarshi Roy 002 (Log. Methods Comput. Sci., 2024)

Tightening the Frontier of Decidability for Decisiveness. - Gaspard Fougea; Serge Haddad; Lina Ye; Shreyas Jain; Alain Finkel (QEST+FORMATS, 2025)

An approximation-based incremental SMT approach for diagnosability analysis of real-time systems. - Lulu He; Philippe Dague; Lina Ye (Discret. Event Dyn. Syst., 2025)