Serge Haddad
Serge Haddad
Professor of Computer Science, ENS Paris-Saclay
Geverifieerd e-mailadres voor lsv.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
4591993
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
2601991
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
1582002
A reduction theory for coloured nets
S Haddad
High-level petri nets, 399-425, 1991
1251991
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
1161997
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
1122005
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
1052008
A recursive model for distributed planning
AEF Seghrouchni, S Haddad
Proceedings of the 2nd International Conference on Multi-Agent Systems …, 1996
961996
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
792005
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
762004
Stochastic well-formed coloured nets and multiprocessor modelling applications
G Chiola, C Dutheillet, G Franceschinis, S Haddad
High-level Petri Nets, 504-530, 1991
661991
Theoretical aspects of recursive Petri nets
S Haddad, D Poitrenaud
International Conference on Application and Theory of Petri Nets, 228-247, 1999
641999
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
572011
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
521995
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
511999
Regular stochastic Petri nets
C Dutheillet, S Haddad
International Conference on Application and Theory of Petri Nets, 186-209, 1989
491989
Recursive petri nets
S Haddad, D Poitrenaud
Acta Informatica 44 (7-8), 463-508, 2007
442007
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
432012
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
422012
Une catégorie régulière de réseaux de Petri de haut niveau: définition, propriétés et réduction
S Haddad
Université Paris VI, 1987
411987
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20