Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > BOULANGER Frédéric
About LRI
Mr BOULANGER Frédéric
BOULANGER Professeur des universités
Centrale Supélec
Verification of Algorithms, Languages and Systems

Tel : 0169851484
Fax :
Office : 14/PCRI-S

Personal web page : http://wdi.centralesupelec.fr/boulanger
Email : frederic.boulanger@lri.fr


Publications





Principle investigator
   - Cifre Thèse Vssil Todorov


Software & Patents
   - TESL: Tagged Events Specification Language
   - ModHelX: ModHel'X - A framework for heterogeneous modeling
   - Synchro CORAC: Synchronization mechanism for critical systems


Ph.D. dissertations & Faculty habilitations
Faculty habilitation   - Models, Systems, Heterogeneity