Patricia Bouyer-Decitre

Senior Researcher, CNRS
Director of LMF

Mail: bouyerREMOVE@lmf.cnrs.fr
Phone: +33 (0)1 81 87 00 00 54 34
Office: 1S60, 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

Some pointers on my research

Professional activities

Students supervision

Awards

Projects

Ongoing projects

BisoUS
Better Synthesis for Quantitative Underspecified Systems

Maveriq
Methods of Analysis for Verification of Quantitative properties

Past projects

Ticktac
Efficient Techniques and Tools for the Verification and Synthesis of Real-Time Systems

Enhancing the Quality of Interacting Systems

ImpRo
Implantabilité et Robustesse des Systèmes Temporisés


Quantitative System Properties in Model-Driven-Design of Embedded Systems

Distributed and Open Systems

Control and Observation of Real-Time Open Systems

Misc

Personal links

Photography