Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Highlights of the Year

Highlights of the Year


Best Papers Awards:
L. Ye, P. Dague, L. He.
Manifestability Verification of Discrete Event Systems, in: DX'19 - 30th International Workshop on Principles of Diagnosis, Klagenfurt, Austria, November 2019, vol. 19, pp. 1-9, Best Paper Award (

H. Mandon, C. Su, S. Haar, J. Pang, L. Paulevé.
Sequential Reprogramming of Boolean Networks Made Practical, in: CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Trieste, France, Lecture Notes in Computer Science, Springer, 2019, vol. 11773, pp. 3–19, Best paper award. [ DOI : 10.1007/978-3-030-31304-3_1 ]