Français
Mamoun FILALI AMINE
Researcher CNRS at l’IRIT.
Member of the ACADIE (Assistance for the Certification of Embedded and Distributed Applications) team.
Research topics
-
Development methods
-
Real-time systems.
- Distributed systems.
- Validation methods.
-
Assisted proofs.
- Model checking.
- Automatic proofs.
- Validation
-
Model transformations.
- Real-time system models.
- Distributed system models.
Projects
-
Critical applications Development: TOPCASED
- Embedded systems Development: SPICES
- Platform architecture management: PAM (project of the joint laboratory AIRSYS).
- Adaptive robot systems: ROSACE (project of RTRA STAE).
Previous projects:
Program committees
previous:
Address
Mamoun Filali
IRIT CNRS Université Paul Sabatier
118 Route de Narbonne
F-31062 Toulouse
tel: 00 33 5 61 55 69 26 fax: 00 33 5 61 55 64 48
mail: filali”at”irit”pt”fr
Ce document a été traduit de LATEX par HEVEA