| Accueil |
 |
|
|
 |
| Équipes |
|
|
|
 |
| Projets struct. |
|
|
|
|
| Vie du laboratoire |
|
|
|
|
|
 |
Wassim TROJET
|
 |
|
|
|
Membre de l'équipe COSI |
| |
| Fonction : |
Doctorant |
| UFR : |
Université Aix-Marseille (U3) |
| |
| Tél. : |
|
| E-mail : |
wassim trojet lsisorg |
| |
| Adresse : |
|
|
THÈSE
Sujet de thèse :
Méthodes de vérification et de validation basées sur la spécification Z et le formalisme DEVS |
Directeur(s) de thèse :
Claudia FRYDMAN |
Date de début de thèse :
octobre 2006 |
|
PUBLICATIONS
|
|
Conférences avec actes | Internationales | 2008 | | |
[1] W. Trojet, M. E.-A. Hamri, C. Frydman, “Integrating Z in DEVS : a case study Lift Control System”, in: World Congress in Computer Science Computer Engineering and Applied Computing (WORLDCOMP'08) - International Conference on Software Engineering Research and Practice (SERP'08), Las Vegas, Nevada, USA, Juillet 14-17 2008.[bib] |
|
|
|
[2] W. Trojet, M. E.-A. Hamri, C. Frydman, “Logical Analysis of DEVS Models Using Z”, in: Proceedings of International Simulation Multi-conference (ISMc'08), The society for modeling and simulation international, SCS, Edinburgh - Scotland, Juin 16-19 2008.[bib] |
|
|
2006 | | |
[3] G. Zacharewicz, M. E.-A. Hamri, W. Trojet, C. Frydman, N. Giambiasi, “G-DEVS / HLA Environment for Distributed Simulations of Workflows”, in: International Conference on Modeling and Simulation - Methodology, Tools, Software Applications (M&S-MTSA'06), SCS, pp. 206 - 211, Calgary, Alberta, Canada, July 31 - August 02 2006. ISBN 1-56555-309-8 Invited talk.[bib] |
|
|
Nationales | 2008 | | |
[4] W. Trojet, “Formal Verification of DEVS Models Using Z”, in: Actes des Cinquièmes Journées des Doctorants du LSIS (JDL6'08), LSIS, A2DL, Giens, France, Juin 18-19 2008.[bib] |
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
