| Accueil |
 |
|
|
 |
| Équipes |
|
|
|
 |
| Projets struct. |
|
|
|
|
| Vie du laboratoire |
|
|
|
|
|
 |
Hernán Pablo DACHARRY
|
 |
|
|
|
Membre de l'équipe COSI |
| |
| Fonction : |
Doctorant |
| UFR : |
Université Aix-Marseille (U3) |
| |
| Tél. : |
04 91 05 60 41 |
| E-mail : |
hernan dacharry lsisorg |
| |
| Adresse : |
LSIS - UMR CNRS 6168
Domaine Universitaire de Saint-Jérôme
Avenue Escadrille Normandie-Niemen
13397 MARSEILLE CEDEX 20 |
|
THÈSE
Sujet de thèse :
Génération de séquences de test sur des modèles DEVS |
Directeur(s) de thèse :
Norbert Giambiasi |
Date de début de thèse :
octobre 2004 |
|
PUBLICATIONS
|
|
@inproceedings {DacharryGiambiasi06,
audience = {internationale},
author = {H. P. Dacharry and N. Giambiasi},
title = {A multi-formalism approach for discrete event system design : a case study},
booktitle = {MOSIM2006 6\`{e}me Conf\'{e}rence Francophone de Mod\'{e}lisation et Simulation},
year = {2006},
equipe = {COSI}
}
|
|
|
@inproceedings {DacharryGiambiasi05,
audience = {internationale},
author = {H. P. Dacharry and N. Giambiasi},
title = {From Timed Automata to DEVS models: Formal Verification},
booktitle = {SMC 2005 Spring Simulation Multiconference},
year = {2005},
equipe = {COSI}
}
|
|
|
@inproceedings {DacharryGiambiasi05a,
audience = {internationale},
author = {H. P. Dacharry and N. Giambiasi},
title = {Formal Verification with Timed Automata and DEVS Models: a case study},
booktitle = {ASSE 2005 Simposio Argentino de Ingenier\'{i}a de Software - 34 JAAIO Jornadas Argentinas de Informatica e Investigacion Operativa},
pages = {251--265},
address = {Rosario, Argentine},
month = {29 ao\^{u}t- 2 septembre},
year = {2005},
equipe = {COSI}
}
|
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
