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 | 510 | 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 | 277 | 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 | 181 | 2002 |
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 | 136 | 2005 |
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 | 135 | 1997 |
A reduction theory for coloured nets S Haddad High-Level Petri Nets: Theory and Application, 399-425, 1991 | 131 | 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 | 120 | 2008 |
Comparison of different semantics for time Petri nets B Bérard, F Cassez, S Haddad, D Lime, OH Roux Automated Technology for Verification and Analysis: Third International …, 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 | 104 | 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 | 94 | 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 | 73 | 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 | 72 | 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 | 70 | 1991 |
Theoretical aspects of recursive Petri nets S Haddad, D Poitrenaud Application and Theory of Petri Nets 1999: 20th International Conference …, 1999 | 65 | 1999 |
Reachability in MDPs: Refining convergence of value iteration S Haddad, B Monmege Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014 | 64 | 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 | 60 | 1991 |
Complexity analysis of continuous Petri nets E Fraca, S Haddad Fundamenta informaticae 137 (1), 1-28, 2015 | 56 | 2015 |
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 | 52 | 2012 |