Lina Ye

Associate Professor, CentraleSupélec

Attach:linaye.jpeg Δ

Mail: lina.yeREMOVE@lmf.cnrs.fr
Phone: +33 (0)1 81 87 00 00 54 46
Office: 3S57, Bâtiment ENS - Nord  

Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France

Teaching

For my teaching activities, see my old French web page.

Research

Research Interests

I am interested in formal methods for distributed and real-time systems; in particular

  • true concurrency models (Petri nets, networks of automata...),
  • partial order semantics, unfoldings,
  • real-time models, in particular real-time semantics for models of concurrency,
  • formal methods for bioinformatics,
  • process mining.

Publications

  • On DBLP.
  • On HAL.
  • Older publications are also available here.

DarkSider and da4py

A tool for computing anti-alignments in process models.

Projects and Working Groups

  • The French ANR project DREAMY
  • MeFoSyLoMa, the research group from the Île-de-France region on verification and applications