| Laboratoire |
LIAFA
- UMR 7089 |
| Nom
de l'équipe ou du projet |
Modélisation
et Vérification |
| Responsable |
Paul
Gastin, Ahmed Bouajjani |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
6
enseignants chercheurs (2 PR, 4 MCF),5 thésards,2 post-doc. |
| Axes
de recherche (liste de mots-clefs) |
- Modélisation
et vérification
- Méthodes
formelles
- Vérification
de propriétés quantitatives
- Vérification
de systèmes infinis
- Systèmes
temps-réel
- Systèmes
dynamiques
- Automates
et logiques
|
| Relations
industrielles ( liste de partenaires industriels) |
Nortel,
France-Telecom |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
ACI
jeunes chercheurs : Techniques avancées pour l'analyse qualitative
etquantitive de systèmes dynamiques temps réel. |
| Participation
à des programmes européens (ex. IST) (liste de projets) |
- Project
FET Open ADVANCE (Advanced Validation Techniques for Telecommunication
Protocols)No IST-1999-29082 (coordinateur)
- Project
RNT GAMES (Games and Automata for Synthesis and Validation)
- Observateurs
dans : AMETIST (Advanced Methods for Timed Systems) NoIST-2001-35304.
|
| Plates-formes |
|
| Suggestions |
|