Seguir
Serge Haddad
Serge Haddad
Professor of Computer Science, ENS Paris-Saclay
Dirección de correo verificada de lsv.fr - Página principal
Título
Citado por
Citado por
Año
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
5041993
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
2741991
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
1802002
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
1332005
A reduction theory for coloured nets
S Haddad
High-Level Petri Nets: Theory and Application, 399-425, 1991
1321991
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
1291997
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
1192008
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
1132005
A recursive model for distributed planning
AEF Seghrouchni, S Haddad
Proceedings of the 2nd International Conference on Multi-Agent Systems …, 1996
1041996
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
1022004
Interval iteration algorithm for MDPs and IMDPs
S Haddad, B Monmege
Theoretical Computer Science 735, 111-131, 2018
842018
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
702011
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
691991
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
672015
Theoretical aspects of recursive Petri nets
S Haddad, D Poitrenaud
Application and Theory of Petri Nets 1999: 20th International Conference …, 1999
641999
Reachability in MDPs: Refining convergence of value iteration
S Haddad, B Monmege
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014
592014
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
582012
Regular stochastic Petri nets
C Dutheillet, S Haddad
Advances in Petri Nets 1990 10, 186-209, 1991
581991
Complexity analysis of continuous Petri nets
E Fraca, S Haddad
Fundamenta informaticae 137 (1), 1-28, 2015
552015
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
532012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20