Nombre de documents

18

CV de Lina Ye


Communication dans un congrès14 documents

  • Lakhdar Akroun, Gwen Salaün, Lina Ye. Automated Analysis of Asynchronously Communicating Systems. 23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. Springer Verlag, 2016, SPIN'2016. <http://www.spin2016.info/>. <10.1007/978-3-319-32582-8_1>. <hal-01280164>
  • Gwen Salaün, Lina Ye. Debugging Process Algebra Specifications. VMCAI 2015, Jan 2015, Mumbai, India. Springer, 8931, pp.18, <10.1007/978-3-662-46081-8_14>. <hal-01087505v2>
  • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, et al.. Towards a formal semantics of the TESL specification language. 3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Sep 2015, Ottawa, Canada. Joint Proceedings of the GEMOC and MPM International Workshops at MODELS 2015, pp.14-19, 2015, CEUR Workshop Proceedings. <http://ceur-ws.org/Vol-1511/>. <hal-01239669>
  • Radu Mateescu, Gwen Salaün, Lina Ye. Quantifying the Parallelism in BPMN Processes using Model Checking. The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. 2014. <hal-01016412>
  • Farid Nouioua, Philippe Dague, Lina Ye. Probabilistic Analysis of Predictability in Discrete Event Systems. DX 2014, Sep 2014, Graz, Austria. Proceedings of the 25th Edition of the International Workshop on Principles of Diagnosis, 2014. <hal-01107874>
  • Lina Ye, Philippe Dague, Farid Nouioua. Predictability Analysis of Distributed Discrete Event Systems. 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.5009-5015, 2013. <hal-00919434>
  • Lina Ye, Philippe Dague. A general algorithm for pattern diagnosability of distributed discrete event systems. ICTAI - 24th International Conference on Tools with Artificial Intelligence, Nov 2012, Athènes, Greece. 2012. <hal-00790126>
  • Lina Ye, Philippe Dague. New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems. DX - 23rd International Workshop on Principles of Diagnosis, Jul 2012, Great Malvern, United Kingdom. 2012. <hal-00790146>
  • Lina Ye, Philippe Dague. Diagnosability analysis for self-observed distributed discrete event systems. VALID - 4th International Conference on Advances in System Testing and Validation Lifecycle, Nov 2012, Lisbonne, Portugal. 2012. <hal-00790135>
  • Lina Ye, Philippe Dague. A general algorithm for pattern diagnosability of distributed discrete event systems. DX - 23rd International Workshop on Principles of Diagnosis, Jul 2012, Great Malvern, United Kingdom. 2012. <hal-00790143>
  • Lina Ye, Philippe Dague. Diagnosability Analysis of Discrete Event Systems with Autonomous Components. European Conference on Artificial Intelligence ECAI, Aug 2010, Lisbonne, Portugal. 2010. <inria-00540649>
  • Yuhong Yan, Lina Ye, Philippe Dague. Diagnosability for Patterns in Distributed Discrete Event Systems. 21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States. 2010. <inria-00540844>
  • Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti. A Decentralized Model-Based Diagnosis for BPEL Services. 21st International Conference on Tools with Artificial Intelligence (ICTAI 2009), Nov 2009, Newark, NJ, United States. pp.609--616, 2009, <10.1109/ICTAI.2009.77>. <hal-00667815>
  • Lina Ye, Philippe Dague. An Optimized Algorithm for Diagnosability of Component-based Systems. 10th International Conference on Discrete Event Systems WODES'10, Aug 2008, Berlin, Germany. 2010. <inria-00540764>

Rapport1 document

  • Gwen Salaün, Lina Ye. Stability of Asynchronously Communicating Systems. [Research Report] RR-8561, INRIA. 2014. <hal-01020777v2>

Article dans une revue2 documents

  • Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye. VerChor: A Framework for the Design and Verification of Choreographies. IEEE Transactions on Services Computing, IEEE, 2016, 9 (4), pp.647-660. <10.1109/TSC.2015.2413401>. <hal-01198918>
  • Lina Ye. Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems. International Journal On Advances in Systems and Measurements, IARIA, 2013, 6 (3-4), pp.287-299. <hal-01276948>

Thèse1 document

  • Lina Ye. Optimized diagnosability of distributed discrete event systems through abstraction. Computer Science [cs]. Université Paris Sud - Paris XI, 2011. English. <NNT : 2011PA112114>. <tel-00635695>