Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (52)

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 , Lina Ye

Communication dans un congrès 01/04/2016

Automated Analysis of Asynchronously Communicating Systems

Lakhdar Akroun , Gwen Salaün , Lina Ye , Lina Ye

Communication dans un congrès 13/11/2015

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Safouan Taha , Benoît Valiron , Burkhart Wolff , Lina Ye , 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 , Lina Ye

Communication dans un congrès 12/01/2015

Debugging Process Algebra Specifications

Gwen Salaün , Lina Ye , Lina Ye

Communication dans un congrès 01/09/2014

Probabilistic Analysis of Predictability in Discrete Event Systems

Farid Nouioua , Philippe Dague , Lina Ye , Lina Ye

Rapport 01/07/2014

Stability of Asynchronously Communicating Systems

Gwen Salaün , Lina Ye , 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 , 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

Lina Ye , Philippe Dague , Farid Nouioua , Lina Ye