Monsieur Marco POCCI / PhD

Contact details

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

Professional contact details

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

+34 935 044 666

Professional experience

Contract type : Entreprises

Function : database development engineer

Organization or company : Hewlett Packard

Website : http://www.hp.com/

Company size : 2000

City : Sant Cugat del Vallés, Barcelona

Country : ESPAGNE

Contract type : ATER

Organization or company : Aix-Marseille Université

Website : http://www.univ-amu.fr/

City : Marseille

Country : FRANCE

Jobs

Availability : 11 2014

Mobility : Tous les pays

Research : OUI

PhD

Title : Mathématiques

First registration date : 1 October 2009 / 5A

Doctoral school : Mathématiques et Informatique de Marseille

Thesis defense date : 23 September 2013

Subject : Test et diagnostic des systèmes à événements discrets par les réseaux de Petri

Thesis supervisor : DEMONGODIN Isabel

Thesis co-supervisor : GIAMBIASI NORBERT

Research unit : LIS Laboratoire d'Informatique et Systèmes

Master's degree

Title : Laurea Specialistica

July 2009 - Universite de Cagliari

Mention : tres bien

Publications

  • 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

Languages

Anglais : C2 - Courant

Français : C2 - Courant

Italien : C2 - Maternel