Coordonnées
Expérience professionelle
Type de contrat : CDD
Fonction exercée : database development engineer
Organisme de rattachement ou entreprise :
Hewlett Packard
Ville : Sant Cugat del Vallés, Barcelona
Pays : ESPAGNE
Adresse professionnelle
Camí de Can Graells 1-21 08174 Sant Cugat del Vallés, Barcelona
+34 935 044 666
Doctorat
Intitulé : Mathématiques
1ère inscription en thèse :
Octobre 2009
École doctorale :
Mathématiques et Informatique de Marseille
Date de soutenance de la thèse :
23 Septembre 2013
Sujet :
Test et diagnostic des systèmes à événements discrets par les réseaux de Petri
Directeur de thèse :
Isabel DEMONGODIN
Co-directeur :
NORBERT GIAMBIASI
Unité de recherche :
LIS Laboratoire d'Informatique et Systèmes
Intitulé de l'équipe :
Master
Intitulé : Laurea Specialistica
Juillet 2009 - Universite de Cagliari
Mention : tres bien
Langues vivantes
Anglais : C2 - Courant
Français : C2 - Courant
Italien : C2 - Maternel
Production scientifique
-
Testing Discrete Event Systems: Synchronizing Sequences using Petri Nets
EMSS10: 2010 European Modeling & Simulation Symposium
2010
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
-
Synchronizing Sequences On Not Strongly Connected Petri Nets
DEVS/TMS'11: Symposium On Theory of Modeling and Simulation
2011
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
-
Séquences de synchronisation sur les réseaux de Petri
4èmes Journées Doctorales MACS
2011
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
-
Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems
Control Engineering Practice
2011
M.P. Cabasino, A. Giua, M. Pocci, C. Seatzu
10.1016/j.conengprac.2010.12.010
-
A new algorithm to compute synchronizing sequences for synchronized Petri nets
IEEE Tencon Conference for Region 10 (TENCON) (Xi'an, Shaanxi, China), October 22-25, 2013.
2013
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
-
Testing experiments on synchronized Petri nets
IEEE Transactions on Automation Science and Engineering
2013
M. Pocci, I. Demongodin, N. Giambiasi, A. Giua