Serge Haddad

Stochastic well-formed colored nets and symmetric modeling applications

G. Chiola, C. Dutheillet, G. Franceschinis et al. · IEEE Transactions on Computers · 1993 · 334 citations

Computing, Computer Science, Computer Systems +17

Open protocol design for complex interactions in multi-agent systems

Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad · 2002 · 107 citations · Full text

Computing, Computer Science, Systems Engineering +16

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

Susanna Donatelli, Serge Haddad, Jeremy Sproston · IEEE Transactions on Software Engineering · 2008 · 97 citations

Computing, Computer Science, Computer Systems +17

A symbolic reachability graph for coloured petri nets

G. Chiola, C. Dutheillet, G. Franceschinis et al. · Theoretical Computer Science · 1997 · 93 citations

Computing, Computer Engineering, Computer Science +7

Interval iteration algorithm for MDPs and IMDPs

Serge Haddad, Benjamin Monmege · Theoretical Computer Science · 2017 · 89 citations · Full text

Business, Computer Science, Mathematics +7