Organisation des exposés du cours de modélisation
16/11/2015 : Paradigmes de modélisation
| Horaire | Élèves | Sujet |
|---|
| 8:50 | Thomas DEMKO & Pierre LAGIER | Réseaux de Petri |
| 9:10 | Héloïse PAREIN & Nicolas MIRET | SystemC |
| 9:30 | Quentin MAILLARD & Mickaël BENAIS | Modelica |
| 9:50 | Michel GIBOREAU & Valentin HOUSSIN | StateCharts |
18/01/2016 : Vérification et génération de code
| Horaire | Élèves | Sujet |
|---|
| 10:35 | Pierre BERGÉ, Fabien DUFOULON, Lou SALAÜN | Méthode B |
| 10:55 | Jérémie FRAUDEAU, Shihan TAN, Yin ZHAN | Preuves automatiques (Alt-Ergo, CVC, Z3) |
| 11:15 | Alexandre CAREIL, Guillaume RYCKEBUSCH, Antoine CROO | Logiques temporelles et model-checking : SPIN, Promela |
| 11:35 | Ghada BEN HASSINE, Charbel EL KAHWAGI, Matteo Andreas LORENZONI | LOTOS |
03/02/2016 : Langages, modèles et applications hétérogènes
| Horaire | Élèves | Sujet |
|---|
| 8:50 | Shiyi GU, Yoan THIÉBAULT, Zeliang YIN | Assistants de preuve (Coq, Isabelle) |
| 9:10 | Thomas GARNIER, Marion HOFFMAN, Quentin PARIS | VHDL-AMS |
| 9:30 | Hélène BOUDON, Clément BUISSON, Jean-Sébastien RENAUD | SystemC-AMS |
| 9:50 | Thomas FROMONT, Valentin NICOLET, Jean-Baptiste ROCHER | OpenFoam |