Accueil Présentation Organigramme Annuaire Trombinoscope Sites / accès Nous contacter Équipes COSI I&M IMS INCA INCOD Pôles transversaux Projets struct. SEDIP SIC Vie du laboratoire Bulletins d'info Chercheurs invités Conférences Séminaires Soutenances JDL6'08 Majecstic'08 Rechercher :

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 : hernandacharrylsisorg   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 [ présentation : catégorie > année / année > catégorie / compacte / BibTeX ]  [1] H. P. Dacharry, N. Giambiasi, “A multi-formalism approach for discrete event system design : a case study”, in: MOSIM2006 6ème Conférence Francophone de Modélisation et Simulation, 2006.[bib] [2] H. P. Dacharry, N. Giambiasi, “From Timed Automata to DEVS models: Formal Verification”, in: SMC 2005 Spring Simulation Multiconference, 2005.[bib] [3] H. P. Dacharry, N. Giambiasi, “Formal Verification with Timed Automata and DEVS Models: a case study”, in: ASSE 2005 Simposio Argentino de Ingeniería de Software - 34 JAAIO Jornadas Argentinas de Informatica e Investigacion Operativa, pp. 251-265, Rosario, Argentine, 29 août- 2 septembre 2005.[bib]  webmaster

Recherche Publications :  - articles  - brevets  - conf. avec actes  - conf. sans actes  - ouvrages  - chapitres d'ouvr.  - directions d'ouvr.  - rech. manuelle Thèses en cours Thèses et HDR Rapports de rech. Actions STIC Enseignement Master SIS Liens CNRS  >  STIC  U1 U2 U3 CMI École doctorale ENSAM ESIL Polytech' Marseille A2DL GDR I3 : VerSim GDR I3 : Mimosa GDR MACS Intranet Webmail