World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
31
Citations
4191
World Ranking
13644
National Ranking
362

Best Publications

  • Stochastic well-formed colored nets and symmetric modeling applications

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

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

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

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

    Hamza Mazouzi;Amal El Fallah Seghrouchni;Serge Haddad

  • A symbolic reachability graph for coloured Petri nets

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

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

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

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

    S. Donatelli;S. Haddad;J. Sproston

  • Comparison of different semantics for time petri nets

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

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

    Serge Haddad;Jean-Michel Ilié;Kais Klai

  • A Recursive Model for Distributed Planning

    Amal El Fallah Seghrouchni;Serge Haddad

  • Interval iteration algorithm for MDPs and IMDPs

    Serge Haddad;Benjamin Monmege

  • A reduction theory for coloured nets

    S. Haddad

  • Theoretical Aspects of Recursive Petri Nets

    Serge Haddad;Denis Poitrenaud

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

    Paolo Ballarini;Hilal Djafri;Marie Duflot;Serge Haddad

  • Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications

    Giovanni Chiola;Claude Dutheillet;Giuliana Franceschinis;Serge Haddad

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

    Patricia Bouyer;Serge Haddad;Pierre-Alain Reynier

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

    Serge Haddad;Denis Poitrenaud

  • Symbolic Reachability Graph and Partial Symmetries

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

  • Protocol Engineering for Multi-agent Interaction

    Amal El Fallah-Seghrouchni;Serge Haddad;Hamza Mazouzi

  • A reduction theory for coloured nets

    Serge Haddad

  • Les réseaux de Petri stochastiques

    Patrice Moreaux;Serge Haddad

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: