Lina YE
 
Book Chapters
  1. Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois, and Louise Travé-Massuyès, Abstractions Refinement for Hybrid Systems Diagnosability Analysis, "Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems", Springer, ISBN 978-3-319-74962-4, pp 279-318, 2018

    2. International Journals

  2. Philippe Dague, Lulu He, Lina Ye: How to be sure a faulty system does not always appear healthy? Innov. Syst. Softw. Eng. 16(2): 121-142, 2020
  3. Safouan Taha, Lina Ye, Burkhart Wolff: HOL-CSP Version 2.0. Arch. Formal Proofs, 2019
  4. Lina Ye and Philippe Dague, An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures, IEEE Trans. Automat. Contr. 62(4): 1768-1780, 2017
  5. Matthias Güdemann, Pascal Poizat, Gwen Salaün, and Lina Ye, VerChor: A Framework for the Design and Verification of Choreographies, IEEE Transactions on Services Computing. IEEE, page 647-660, volume 9, number 4, 2016
  6. Lina Ye and Philippe Dague, Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems, International Journal On Advances in Systems and Measurements, page 287-299, volume 6, number 3&4, 2013

    7. International Conferences and Workshops

  7. Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye and Fatiha Zaidi, A Coloured Petri Nets Based Attack Tolerance Framework, accepted by the 27th Asia-Pacific Software Engineering Conference (APSEC) 2020
  8. Stefan Haar, Serge Haddad, Stefan Schwoon and Lina Ye, Active Prediction for Discrete Event Systems, accepted by 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2020
  9. Safouan Taha, Lina Ye and Burkhart Wolff, Philosophers may Dine - Definitively! accepted by 16th International Conference on integrated Formal Methods (iFM) 2020
  10. Lina Ye, Philippe Dague, and Lulu He, Manifestability Verification of Discrete Event Systems, 30th International Workshop on Principles of Diagnosis DX'19, Klagenfurt, Autriche, novembre 2019 Best Paper Award
  11. Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandan Briones and Agnes Madalinski, How to be Sure a Faulty System Does not Always Appear Healthy? 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS'18), Grenoble, France, September 26-28, 2018, pp 114--129
  12. Lulu He, Lina Ye, and Philippe Dague, SMT-Based Diagnosability Analysis of Real-Time Systems, 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'18), Warsaw, Poland, August 29-31, 2018, pp 1059-1066
  13. Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye and Philippe Dague, Automating Abstraction Computation of Hybrid Systems, Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg, Austria, August 13-17, 2018
  14. Hadi Zaatiti, Lina Ye, Philippe Dague and Jean-Pierre Gallois, Counter-Example Guided Abstraction Refinement for Hybrid Systems Diagnosability Analysis, 28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, 26 - 29 September 2017
  15. Hassan Ibrahim, Philippe Dague, Alban Grastien, Laurent Simon and Lina Ye, Diagnosability Planning for Controllable Discrete Event Systems, 31st AAAI Conference on Artificial Intelligence (AAAI 2017), San Francisco, California, USA, 4 - 9 February 2017
  16. Hassan Ibrahim, Philippe Dague, Alban Grastien, Laurent Simon and Lina Ye, Diagnosability Planning for Controllable Discrete Event Systems, 27th International Workshop on Principles of Diagnosis (DX 2016), Denver, Colorado, 4 - 7 October, 2016
  17. Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandan Briones and Agnes Madalinski, Fault Manifestability Verification for Discrete Event Systems (short paper), 22nd European Conference on Artificial Intelligence (ECAI 2016), Hague, Netherlands, 29 August-2 September, 2016
  18. Farid Nouioua, Philippe Dague and Lina Ye, Predictability in probabilistic discrete event systems, 8th International Conference on Soft Methods in Probability and Statistics (SMPS 2016), Rome, Italy, 12-14 September, 2016
  19. Lakhdar Akroun, Gwen Salaün and Lina Ye, Automated Analysis of Asynchronously Communicating Systems, 23rd International SPIN Symposium on Model Checking of Software (SPIN 2016), Eindhoven, The Netherlands, April, 2016
  20. Lina Ye, Philippe Dague, and Farid Nouioua, A Predictability Algorithm for Distributed Discrete Event Systems, The 17th International Conference on Formal Engineering Methods (ICFEM 2015), Paris, France, 3-6 November, 2015
  21. Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, and Lina Ye, Towards a Formal Semantics of the TESL Specification Language, GEMOC+MPM@MoDELS 2015, Ottawa, Canada, 2015
  22. Gwen Salaün and Lina Ye, Debugging Process Algebra Specifications, 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), Mumbai, India, 12-14 January, 2015
  23. Farid Nouioua, Philippe Dague, and Lina Ye, Probabilistic Analysis of Predictability in Discrete Event Systems, The 25th Edition of the International Workshop on Principles of Diagnosis (DX 2014), Graz, Austria, 2014
  24. Radu Mateescu, Gwen Salaün and Lina Ye, Quantifying the Parallelism in BPMN Processes Using Model Checking, The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Lille, France, 30 June- 3 July 2014
  25. Lina Ye, Philippe Dague and Farid Nouioua, Predictability Analysis of Distributed Discrete Event Systems, 52nd IEEE Conference on Decision and Control (CDC-13), Florence, Italy, 10-13 December 2013
  26. Lina Ye and Philippe Dague, Diagnosability analysis for self-observed distributed discrete event systems, 4th International Conference on Advances in System Testing and Validation Lifecycle (VALID-12), acceptance rate: 26%, best paper award, Lisbon, spain, 18-23 November 2012
  27. Lina Ye and Philippe Dague, A general algorithm for pattern diagnosability of distributed discrete event systems, 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-12), Athens, Greece, 7-9 November 2012
  28. Lina Ye and Philippe Dague,New results for joint diagnosability of self-observed distributed discrete event systems, 23rd International Workshop on Principles of Diagnosis (DX-12), Great Malvern, England, July 2012.
  29. Lina Ye and Philippe Dague, A general algorithm for pattern diagnosability of distributed discrete event systems, 23rd International Workshop on Principles of Diagnosis (DX-12), Great Malvern, England, July 2012.
  30. Yuhong Yan, Lina Ye and Philippe Dague, Diagnosability for patterns in distributed discrete event systems, 21st International Workshop on the Principles of Diagnosis (DX-10), Portland, US, October 2010.
  31. Lina Ye and Philippe Dague, Diagnosability analysis of discrete events systems with autonomous components, 19th European Conference on Artificial Intelligence (ECAI-10), acceptance rate: 20%, Lisbon, Portugal, August 2010.
  32. Lina Ye and Philippe Dague, An optimized algorithm for diagnosability of component-based systems, 10th International Workshop on Discrete Event Systems (WODES-10), Berlin Germany, August 2010.
  33. Lina Ye, Philippe Dague and Yuhong Yan, An incremental approach for pattern diagnosability in distributed discrete event systems, 21st International Conference on Tools with Artificial Intelligence (ICTAI-09), acceptance rate: 26%, Newark, NJ, USA, November 2009.
  34. Yingmin Li, Tarek Melliti, Lina Ye and Philippe Dague, A decentralized model-based diagnosis for BPEL services, 21st International Conference on Tools with Artificial Intelligence ( ICTAI-09), acceptance rate: 26%, Newark, NJ, USA, November 2009.
  35. Lina Ye and Philippe Dague, Diagnosability of patterns in distributed discrete event systems, 7th Symposium on Fault Detection, Supervision and Safety for Technical Processes, (SAFEPROCESS-09), Barcelona, Spain, June-July 2009.
  36. Lina Ye, Philippe Dague and Yuhong Yan, A distributed approach for pattern diagnosability, 20th International Workshop on Principles of Diagnosis (DX-09), Stockholm, Sweden, June 2009
  37. Lina Ye and Philippe Dague, Decentralized diagnosis for BPEL web services,4th International Conference on Web Information Systems and Technologies (WEBIST-08), Funchal, Portugal, May 2008.

    38. Thesis and technique report

  38. Lina Ye, Optimized diagnosability of distributed discrete event systems through abstraction, thèse, Université Paris-Sud, 2011
  39. Lina YE, Cooperative diagnosis for BPEL web services, master dissertation, Inria report, 2007.

Top