Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (56)

Communication dans un congrès 01/10/2016

Diagnosability Planning for Controllable Discrete Event Systems

Hassan Ibrahim , Philippe Dague , Alban Grastien , Laurent Simon , Lina Ye

Communication dans un congrès 01/09/2016

Predictability in probabilistic discrete event systems

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 01/08/2016

Fault Manifestability Verification for Discrete Event Systems

Philippe Dague , Delphine Longuet , Laura Brandán Briones , Agnes Madalinski , Lina Ye

Article dans une revue 01/07/2016

VerChor: A Framework for the Design and Verification of Choreographies

Matthias Güdemann , Pascal Poizat , Gwen Salaün , Lina Ye

Communication dans un congrès 01/04/2016

Automated Analysis of Asynchronously Communicating Systems

Lakhdar Akroun , Gwen Salaün , Lina Ye

Communication dans un congrès 13/11/2015

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Burkhart Wolff , Frederic Boulanger , Safouan Taha , Benoit Valiron , Lina Ye

Communication dans un congrès 01/11/2015

A Probabilistic Analysis of Predictability in Discrete Event Systems

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 12/01/2015

Debugging Process Algebra Specifications

Gwen Salaün , Lina Ye

Communication dans un congrès 01/01/2015

A Predictability Algorithm for Distributed Discrete Event Systems

Philippe Dague , Farid Nouioua , Lina Ye

Communication dans un congrès 01/09/2014

Probabilistic Analysis of Predictability in Discrete Event Systems

Farid Nouioua , Philippe Dague , Lina Ye

Rapport 01/07/2014

Stability of Asynchronously Communicating Systems

Gwen Salaün , Lina Ye

Communication dans un congrès 30/06/2014

Quantifying the Parallelism in BPMN Processes using Model Checking

Radu Mateescu , Gwen Salaün , Lina Ye

Article dans une revue 01/01/2014

The Grain-size Patchiness of Braided Gravel-Bed Streams – example of the Urumqi River (northeast Tian Shan, China)

L Guerit , L Barrier , C Narteau , F Métivier , Y Liu , E Lajeunesse , E Gayer , P Meunier , L Malverti , Baisheng Ye , Lina Ye

Communication dans un congrès 13/12/2013

Predictability Analysis of Distributed Discrete Event Systems

Philippe Dague , Farid Nouioua , Lina Ye

Article dans une revue 01/12/2013

Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems

Lina Ye

Communication dans un congrès 01/11/2012

Diagnosability analysis for self-observed distributed discrete event systems

Philippe Dague , Lina Ye

Communication dans un congrès 01/11/2012

A general algorithm for pattern diagnosability of distributed discrete event systems

Philippe Dague , Lina Ye

Communication dans un congrès 01/07/2012

New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems

Philippe Dague , Lina Ye

Communication dans un congrès 01/07/2012

A general algorithm for pattern diagnosability of distributed discrete event systems

Philippe Dague , Lina Ye

Thèse 07/07/2011

Optimized diagnosability of distributed discrete event systems through abstraction

Lina Ye

Article dans une revue 01/01/2011

Erosion rates deduced from seasonal mass balance along the upper Urumqi River in Tianshan

Youcun Liu , F D Métivier , J Gaillardet , Baisheng Ye , P Meunier , C Narteau , E Lajeunesse , Tianding Han , L Malverti , Lina Ye

Communication dans un congrès 01/10/2010

Diagnosability for Patterns in Distributed Discrete Event Systems

Yuhong Yan , Philippe Dague , Lina Ye

Communication dans un congrès 01/08/2010

An Optimized Algorithm for Diagnosability of Component-based Systems

Philippe Dague , Lina Ye

Communication dans un congrès 01/08/2010

Diagnosability Analysis of Discrete Event Systems with Autonomous Components

Philippe Dague , Lina Ye

Communication dans un congrès 28/12/2009

A Decentralized Model-Based Diagnosis for BPEL Services

Yingmin Li , Philippe Dague , Tarek Melliti , Lina Ye

Article dans une revue 01/01/2008

Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies

Youcun Liu , François Métivier , Éric Lajeunesse , Pierre Lancien , Clément Narteau , Baisheng Ye , Patrick Meunier , Lina Ye