| Stochastic well-formed colored nets and symmetric modeling applications G Chiola, C Dutheillet, G Franceschinis, S Haddad IEEE Transactions on Computers 42 (11), 1343-1360, 1993 | 469 | 1993 |
| On well-formed coloured nets and their symbolic reachability graph G Chiola, C Dutheillet, G Franceschinis, S Haddad High-level Petri nets, 373-396, 1991 | 262 | 1991 |
| Open protocol design for complex interactions in multi-agent systems H Mazouzi, AEF Seghrouchni, S Haddad Proceedings of the first international joint conference on Autonomous agents …, 2002 | 158 | 2002 |
| A reduction theory for coloured nets S Haddad High-level petri nets, 399-425, 1991 | 125 | 1991 |
| A symbolic reachability graph for coloured Petri nets G Chiola, C Dutheillet, G Franceschinis, S Haddad Theoretical Computer Science 176 (1-2), 39-65, 1997 | 124 | 1997 |
| Comparison of the expressiveness of timed automata and time Petri nets B Bérard, F Cassez, S Haddad, D Lime, OH Roux International conference on formal modeling and analysis of timed systems …, 2005 | 117 | 2005 |
| Model checking timed and stochastic properties with CSL^{TA} S Donatelli, S Haddad, J Sproston IEEE Transactions on Software Engineering 35 (2), 224-240, 2008 | 110 | 2008 |
| A recursive model for distributed planning AEF Seghrouchni, S Haddad Proceedings of the 2nd International Conference on Multi-Agent Systems …, 1996 | 96 | 1996 |
| Design and evaluation of a symbolic and abstraction-based model checker S Haddad, JM Ilié, K Klai International Symposium on Automated Technology for Verification and …, 2004 | 86 | 2004 |
| Comparison of different semantics for time Petri nets B Bérard, F Cassez, S Haddad, D Lime, OH Roux International Symposium on Automated Technology for Verification and …, 2005 | 82 | 2005 |
| Stochastic well-formed coloured nets and multiprocessor modelling applications G Chiola, C Dutheillet, G Franceschinis, S Haddad High-level Petri Nets, 504-530, 1991 | 64 | 1991 |
| Theoretical aspects of recursive Petri nets S Haddad, D Poitrenaud International Conference on Application and Theory of Petri Nets, 228-247, 1999 | 63 | 1999 |
| COSMOS: a statistical model checker for the hybrid automata stochastic logic P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011 | 59 | 2011 |
| Symbolic reachability graph and partial symmetries S Haddad, JM Ilie, M Taghelit, B Zouari International Conference on Application and Theory of Petri Nets, 238-257, 1995 | 55 | 1995 |
| Protocol engineering for multi-agent interaction A El Fallah-Seghrouchni, S Haddad, H Mazouzi European Workshop on Modelling Autonomous Agents in a Multi-Agent World, 89-101, 1999 | 51 | 1999 |
| Regular stochastic Petri nets C Dutheillet, S Haddad International Conference on Application and Theory of Petri Nets, 186-209, 1989 | 49 | 1989 |
| Recursive petri nets S Haddad, D Poitrenaud Acta Informatica 44 (7), 463-508, 2007 | 45 | 2007 |
| The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets S Haddad, S Schmitz, P Schnoebelen 2012 27th Annual IEEE Symposium on Logic in Computer Science, 355-364, 2012 | 44 | 2012 |
| Coupling and importance sampling for statistical model checking B Barbot, S Haddad, C Picaronny International Conference on Tools and Algorithms for the Construction and …, 2012 | 43 | 2012 |
| Timed Petri nets and timed automata: On the discriminating power of zeno sequences P Bouyer, S Haddad, PA Reynier Information and Computation 206 (1), 73-107, 2008 | 43 | 2008 |
