| 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 | 522 | 1993 |
| On well-formed coloured nets and their symbolic reachability graph G Chiola, C Dutheillet, G Franceschinis, S Haddad High-level Petri Nets: Theory and Application, 373-396, 1991 | 282 | 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 | 178 | 2002 |
| 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 | 140 | 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 | 135 | 2005 |
| A reduction theory for coloured nets S Haddad High-Level Petri Nets: Theory and Application, 399-425, 1991 | 135 | 1991 |
| 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 | 124 | 2008 |
| 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 | 117 | 2005 |
| Design and evaluation of a symbolic and abstraction-based model checker S Haddad, JM Ilié, K Klai Automated Technology for Verification and Analysis: Second International …, 2004 | 108 | 2004 |
| A recursive model for distributed planning AEF Seghrouchni, S Haddad Proceedings of the 2nd International Conference on Multi-Agent Systems …, 1996 | 104 | 1996 |
| Interval iteration algorithm for MDPs and IMDPs S Haddad, B Monmege Theoretical Computer Science 735, 111-131, 2018 | 98 | 2018 |
| HASL: A new approach for performance evaluation and model checking from concepts to experimentation P Ballarini, B Barbot, M Duflot, S Haddad, N Pekergin Performance Evaluation 90, 53-77, 2015 | 77 | 2015 |
| 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 | 74 | 2011 |
| Stochastic well-formed coloured nets and multiprocessor modelling applications G Chiola, C Dutheillet, G Franceschinis, S Haddad High-Level Petri Nets: Theory and Application, 504-530, 1991 | 73 | 1991 |
| Theoretical aspects of recursive Petri nets S Haddad, D Poitrenaud International Conference on Application and Theory of Petri Nets, 228-247, 1999 | 67 | 1999 |
| Reachability in MDPs: Refining convergence of value iteration S Haddad, B Monmege Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014 | 66 | 2014 |
| Coupling and importance sampling for statistical model checking B Barbot, S Haddad, C Picaronny Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 62 | 2012 |
| Regular stochastic Petri nets C Dutheillet, S Haddad Advances in Petri Nets 1990 10, 186-209, 1991 | 61 | 1991 |
| Complexity analysis of continuous Petri nets JM Colom, J Desel, J Kleijn, E Fraca, S Haddad Fundamenta informaticae 137 (1), 1-28, 2015 | 56 | 2015 |
| New efficient Petri nets reductions for parallel programs verification S Haddad, JF Pradat-Peyre Parallel Processing Letters 16 (01), 101-116, 2006 | 53 | 2006 |
