Nombre de documents

26

CV de Lina Ye


Communication dans un congrès18 documents

  • Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon. Diagnosability Planning for Controllable Discrete Event Systems. 31st National Conference on Artificial Intelligence AAAI-17, Feb 2017, San Francisco, United States. Proceedings of the 31st National Conference on Artificial Intelligence AAAI-17, 2017. <hal-01483416>
  • 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>
  • Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon. Diagnosability Planning for Controllable Discrete Event Systems. 27th International Workshop on Principles of Diagnosis DX’16, Oct 2016, Denver, United States. Proceedings of the 27th International Workshop on Principles of Diagnosis DX’16. <hal-01483420>
  • Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. Fault Manifestability Verification for Discrete Event Systems. 22nd European Conference on Artificial Intelligence ECAI-16, Aug 2016, La Haye, Netherlands. Proceedings of the 22nd European Conference on Artificial Intelligence ECAI-16, 2016. <hal-01483424>
  • Farid Nouioua, Philippe Dague, Lina Ye. Predictability in probabilistic discrete event systems. 8th International Conference on Soft Methods in Probability and Statistics SMPS 2016, Sep 2016, Rome, Italy. Proceedings of the 8th International Conference on Soft Methods in Probability and Statistics SMPS 2016. <hal-01483427>
  • 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>
  • 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>
  • 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>
  • 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. 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. 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>
  • 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>
  • 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>
  • 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 revue6 documents

  • Lina Ye, Philippe Dague. An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 15 (1086). <hal-01483375>
  • 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>
  • L Guerit, L Barrier, C Narteau, F Métivier, Y Liu, et al.. The Grain-size Patchiness of Braided Gravel-Bed Streams – example of the Urumqi River (northeast Tian Shan, China). Advances in Geosciences, European Geosciences Union, 2014, 37, pp.27 - 39. <10.5194/adgeo-37-27-2014>. <hal-01500267>
  • 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>
  • Youcun Liu, F Métivier, J Gaillardet, Baisheng Ye, P Meunier, et al.. Erosion rates deduced from seasonal mass balance along the upper Urumqi River in Tianshan. Solid Earth, European Geosciences Union, 2011, 2, pp.283 - 301. <10.5194/se-2-283-2011>. <hal-01499438>
  • Youcun Liu, François Métivier, Éric Lajeunesse, Pierre Lancien, Clément Narteau, et al.. Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies. Geodinamica Acta, Taylor & Francis, 2008, 21 (1-2), pp.81-92. <10.3166/ga.21.81-92>. <hal-01499563>

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>