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