Serge Haddad

Serge Haddad publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Serge Haddad sits on this spectrum.

Serge Haddad D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Serge Haddad sits on this spectrum.

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