Serge Haddad

Best Publications

• Stochastic well-formed colored nets and symmetric modeling applications

  G. Chiola;C. Dutheillet;G. Franceschinis;S. Haddad

  508
  Citations

• On Well-Formed Coloured Nets and Their Symbolic Reachability Graph

  G. Chiola;C. Dutheillet;G. Franceschinis;S. Haddad

  274
  Citations

• Open protocol design for complex interactions in multi-agent systems

  Hamza Mazouzi;Amal El Fallah Seghrouchni;Serge Haddad

  171
  Citations

• A symbolic reachability graph for coloured Petri nets

  G. Chiola;C. Dutheillet;G. Franceschinis;S. Haddad

  138
  Citations

• Comparison of the expressiveness of timed automata and time petri nets

  Beatrice Bérard;Franck Cassez;Serge Haddad;Didier Lime

  134
  Citations

• Model Checking Timed and Stochastic Properties with CSL^{TA}

  S. Donatelli;S. Haddad;J. Sproston

  122
  Citations

• Comparison of different semantics for time petri nets

  B. Bérard;F. Cassez;S. Haddad;Didier Lime

  111
  Citations

• Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

  Serge Haddad;Jean-Michel Ilié;Kais Klai

  104
  Citations

• A Recursive Model for Distributed Planning

  Amal El Fallah Seghrouchni;Serge Haddad

  104
  Citations

• Interval iteration algorithm for MDPs and IMDPs

  Serge Haddad;Benjamin Monmege

  97
  Citations

• A reduction theory for coloured nets

  S. Haddad

  72
  Citations

• Theoretical Aspects of Recursive Petri Nets

  Serge Haddad;Denis Poitrenaud

  70
  Citations

• COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic

  Paolo Ballarini;Hilal Djafri;Marie Duflot;Serge Haddad

  70
  Citations

• Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications

  Giovanni Chiola;Claude Dutheillet;Giuliana Franceschinis;Serge Haddad

  68
  Citations

• Timed Petri nets and timed automata: On the discriminating power of zeno sequences

  Patricia Bouyer;Serge Haddad;Pierre-Alain Reynier

  65
  Citations

• Recursive Petri nets: Theory and application to discrete event systems

  Serge Haddad;Denis Poitrenaud

  65
  Citations

• Symbolic Reachability Graph and Partial Symmetries

  Serge Haddad;Jean Michel Ilié;Mohamed Taghelit;Belhassen Zouari

  59
  Citations

• Protocol Engineering for Multi-agent Interaction

  Amal El Fallah-Seghrouchni;Serge Haddad;Hamza Mazouzi

  53
  Citations

• A reduction theory for coloured nets

  Serge Haddad

  51
  Citations

• Les réseaux de Petri stochastiques

  Patrice Moreaux;Serge Haddad

  32
  Citations