Skip to main content
Lab directory

Modeling of Critical Systems Lab

Université Paris-Saclay · Laboratoire Méthodes Formelles (LMF)

Official page

Information sourceChecked Oct 31, 2026

Graduate application deadlines

Laboratoire Méthodes Formelles (LMF)

Considering this lab for grad school?

Save it to compare side by side with other labs, and keep your contact prep in one place.

What to prepare before emailing a PI

About

Prof. Frédéric Boulanger at Université Paris-Saclay Laboratoire Méthodes Formelles (LMF) lists Model, System, Control, Verification, Validation, Diagnostic, Cyberphysical/Hybrid/Critical systems, Model-driven engineering, Domain Specific Languages, Semantics of Modeling Languages as their registered research area.

Research keywords

ModelSystemControlVerificationValidationDiagnosticCyberphysical/Hybrid/Critical systemsModel-driven engineeringDomain Specific LanguagesSemantics of Modeling Languages

Other labs in this department

See all labs in this department