| 2023 | CONCUR | About Decisiveness of Dynamic Probabilistic Models. | Alain Finkel, Serge Haddad, Lina Ye |
| 2021 | ATVA | Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benot Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
| 2020 | APSEC | A Coloured Petri Nets Based Attack Tolerance Framework. | Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zadi |
| 2020 | IFM | Philosophers May Dine - Definitively! | Safouan Taha, Burkhart Wolff, Lina Ye |
| 2018 | VECoS | How to Be Sure a Faulty System Does Not Always Appear Healthy? | Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandn Briones, Agnes Madalinski |
| 2017 | AAAI | Diagnosability Planning for Controllable Discrete Event Systems. | Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon |
| 2017 | DX | Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. | Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois |
| 2016 | ECAI | Fault Manifestability Verification for Discrete Event Systems. | Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandn Briones, Agnes Madalinski |
| 2015 | ICFEM | A Predictability Algorithm for Distributed Discrete Event Systems. | Lina Ye, Philippe Dague, Farid Nouioua |
| 2015 | MODELS | Towards a Formal Semantics of the TESL Specification Language. | Hai Nguyen Van, Thibaut Balabonski, Frdric Boulanger, Safouan Taha, Benot Valiron, Burkhart Wolff, Lina Ye |
| 2015 | VMCAI | Debugging Process Algebra Specifications. | Gwen Salan, Lina Ye |
| 2012 | ICTAI | A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. | Lina Ye, Philippe Dague |
| 2010 | ECAI | Diagnosability Analysis of Discrete Event Systems with Autonomous Components. | Lina Ye, Philippe Dague |
| 2009 | ICTAI | A Decentralized Model-Based Diagnosis for BPEL Services. | Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti |
| 2009 | ICTAI | An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. | Lina Ye, Philippe Dague, Yuhong Yan |
| 2008 | WEBIST | Decentralized Diagnosis for BPEL Web Services. | Lina Ye, Philippe Dague |