Monsieur Marco POCCI / Docteur

Coordonnées

http://www.lsis.org/poccim/

Adresse professionnelle

Camí de Can Graells 1-21, 08174 Sant Cugat del Vallés, Barcelona , ESPAGNE

+34 935 044 666

Expérience professionnelle

Type de contrat : Entreprises

Fonction exercée : database development engineer

Organisme de rattachement ou entreprise : Hewlett Packard

Site internet de l'entreprise : http://www.hp.com/

Taille de l'entreprise : 2000

Ville : Sant Cugat del Vallés, Barcelona

Pays : ESPAGNE

Type de contrat : ATER

Organisme de rattachement ou entreprise : Aix-Marseille Université

Site internet de l'entreprise : http://www.univ-amu.fr/

Ville : Marseille

Pays : FRANCE

Emplois

Disponibilité : 11 2014

Mobilité géographique : Tous les pays

Recherche : OUI

Doctorat

Titre : Mathématiques

1ère inscription en thèse : 1 octobre 2009 / 5A

Ecole doctorale : Mathématiques et Informatique de Marseille

Date de soutenance de 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 : DEMONGODIN Isabel

Co-directeur : GIAMBIASI NORBERT

Unité de recherche : LIS Laboratoire d'Informatique et Systèmes

Master

Titre : Laurea Specialistica

juillet 2009 - Universite de Cagliari

Mention : tres bien

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

Langues

Anglais : C2 - Courant

Français : C2 - Courant

Italien : C2 - Maternel