S. Haddad
发表
S. Donatelli,
S. Haddad,
J. Sproston,
2007,
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2009
.
Menno van Zaanen,
A. Finkel,
S. Haddad,
2021,
ICGI.
Giovanni Chiola,
Giuliana Franceschinis,
Serge Haddad,
1993,
IEEE Trans. Computers.
Souheib Baarir,
Serge Haddad,
Jean-Michel Ilié,
2004
.
Serge Haddad,
S. Haddad,
Patrice Moreaux CReSTIC,
2004
.
S. Haddad,
J. E. Haddad,
2002
.
A. Finkel,
S. Haddad,
I. Khmelnitsky,
2021,
Fundam. Informaticae.
Benedikt Bollig,
Serge Haddad,
Benoît Barbot,
2013
.
S. Haddad,
Mathieu Sassolas,
B. Bérard,
2010
.
Rolf Hennicker,
Dorsaf Elhog-Benzina,
Serge Haddad,
2012,
Trans. Petri Nets Other Model. Concurr..
Belhassen Zouari,
Serge Haddad,
Jean-Michel Ilié,
1995,
Application and Theory of Petri Nets.
Serge Haddad,
Didier Lime,
Béatrice Bérard,
2010
.
S. Haddad,
D. Poitrenaud,
2007
.
S. Haddad,
2004
.
S. Haddad,
I. Vernier,
1993
.
S. Haddad,
B. Bollig,
M. Leucker,
2022,
GandALF.
D. Lime,
F. Cassez,
S. Haddad,
2005
.
Maciej Koutny,
Jörg Desel,
Serge Haddad,
2015,
Lecture Notes in Computer Science.
S. Haddad,
Mathieu Sassolas,
B. Bérard,
2012,
Formal Methods in System Design.
A. Finkel,
S. Haddad,
B. Bollig,
2022,
International Journal on Software Tools for Technology Transfer.
S. Haddad,
S. Haar,
Stefan Schwoon,
2013
.
Serge Haddad,
François Vernadat,
F. Vernadat,
2010
.
Serge Haddad,
François Vernadat,
F. Vernadat,
2010
.
Souheib Baarir,
Marco Beccuti,
Giuliana Franceschinis,
2011,
Perform. Evaluation.
Serge Haddad,
Patrice Moreaux,
S. Haddad,
2007,
Eur. J. Oper. Res..
Jean Mairesse,
Serge Haddad,
Hoang-Thach Nguyen,
2011,
Fundam. Informaticae.
Manuel Silva Suárez,
Matteo Sereno,
Serge Haddad,
2005,
Perform. Evaluation.
Manuel Silva Suárez,
Matteo Sereno,
Serge Haddad,
2001,
ICATPN.
Rolf Hennicker,
Dorsaf Elhog-Benzina,
Serge Haddad,
2010,
ACSD/Petri Nets Workshops.
Paolo Ballarini,
Hilal Djafri,
Marie Duflot,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Amal El Fallah Seghrouchni,
Serge Haddad,
S. Haddad,
1996,
MAAMAW.
Amal El Fallah Seghrouchni,
Serge Haddad,
S. Haddad,
1996
.
Serge Haddad,
Jean-Michel Ilié,
Khalil Ajami,
1998,
TACAS.
Salem Chakhar,
Serge Haddad,
Vincent Mousseau,
2015
.
Serge Haddad,
Denis Poitrenaud,
S. Haddad,
2001,
Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Serge Haddad,
Lynda Mokdad,
Samir Youcef,
2010,
The IEEE symposium on Computers and Communications.
Mehdi Ben Hmida,
Serge Haddad,
S. Haddad,
2008,
Monterey Workshop.
L. Mokdad,
S. Haddad,
S. Youcef,
2008,
2008 6th International Symposium on Communication Systems, Networks and Digital Signal Processing.
Amal El Fallah Seghrouchni,
Serge Haddad,
Hamza Mazouzi,
2002,
AAMAS '02.
Maciej Koutny,
Serge Haddad,
Alex Yakovlev,
2014,
Lecture Notes in Computer Science.
Serge Haddad,
Lucia Pomello,
S. Haddad,
2012,
Lecture Notes in Computer Science.
Kamel Barkaoui,
Serge Haddad,
Matthieu Lemerre,
2015,
VECoS.
Serge Haddad,
Estíbaliz Fraca,
S. Haddad,
2013,
Fundam. Informaticae.
Manuel Silva Suárez,
Serge Haddad,
Laura Recalde,
2007,
Int. J. Found. Comput. Sci..
Serge Haddad,
Pascal Poizat,
S. Haddad,
2007,
FORTE.
Serge Haddad,
Denis Poitrenaud,
S. Haddad,
2007,
Acta Informatica.
Jean-François Pradat-Peyre,
Serge Haddad,
S. Haddad,
2006,
Parallel Process. Lett..
Serge Haddad,
S. Haddad,
1988,
European Workshop on Applications and Theory in Petri Nets.
Jean-François Pradat-Peyre,
Serge Haddad,
S. Haddad,
2022
.
Marco Beccuti,
Giuliana Franceschinis,
Serge Haddad,
2009,
2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
Marco Beccuti,
Giuliana Franceschinis,
Serge Haddad,
2008,
VALUETOOLS.
Salem Chakhar,
Serge Haddad,
Vincent Mousseau,
2011
.
Sami Evangelista,
Jean-François Pradat-Peyre,
Serge Haddad,
2005,
ATVA.
Serge Haddad,
Claude Dutheillet,
S. Haddad,
1993,
Proceedings of 5th International Workshop on Petri Nets and Performance Models.
Giovanni Chiola,
Giuliana Franceschinis,
Serge Haddad,
1997,
Theor. Comput. Sci..
Marco Beccuti,
Giuliana Franceschinis,
Serge Haddad,
2007,
ICATPN.
Serge Haddad,
Mathieu Sassolas,
Béatrice Bérard,
2012,
Formal Methods Syst. Des..
Serge Haddad,
Stanislav Böhm,
Stefan Haar,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Nathalie Bertrand,
Loïc Hélouët,
Serge Haddad,
2014,
FoSSaCS.
Marco Beccuti,
Giuliana Franceschinis,
Serge Haddad,
2007,
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Serge Haddad,
Stefan Haar,
Stefan Schwoon,
2013,
J. Comput. Syst. Sci..
Lina Ye,
Stefan Haar,
Stefan Schwoon,
2020,
FSTTCS.
Pierre Sens,
Serge Haddad,
Mohamed Taghelit,
1991
.
Marco Beccuti,
Giuliana Franceschinis,
Serge Haddad,
2014,
Comput. J..
L. Petrucci,
F. Kordon,
S. Haddad,
2011
.
Benjamin Monmege,
Serge Haddad,
S. Haddad,
2014,
RP.
S. Haddad,
J.-M. Ilie,
K. Klai,
2002,
IEEE International Conference on Systems, Man and Cybernetics.
Patrice Moreaux,
Serge Haddad,
Tarek Melliti,
2009,
Int. J. Web Serv. Res..
Serge Haddad,
Patrice Moreaux,
Sylvain Rampacek,
2006,
ICEIS.
Serge Haddad,
Didier Lime,
Olivier H. Roux,
2005,
ATVA.
Kamel Barkaoui,
Serge Haddad,
Matthieu Lemerre,
2015,
ICSEA 2015.
Kamel Barkaoui,
Serge Haddad,
Matthieu Lemerre,
2014,
FTSCS.
Paolo Ballarini,
Marie Duflot,
Serge Haddad,
2015,
Perform. Evaluation.
Serge Haddad,
Benoît Barbot,
Béatrice Bérard,
2017
.
Patricia Bouyer,
Pierre-Alain Reynier,
Serge Haddad,
2006,
Inf. Comput..
Alain Finkel,
Serge Haddad,
Christoph Haase,
2017,
ACM Trans. Comput. Log..
Benjamin Monmege,
Serge Haddad,
S. Haddad,
2017,
Theor. Comput. Sci..
Marco Beccuti,
Giuliana Franceschinis,
Serge Haddad,
2011
.
Serge Haddad,
Didier Lime,
Olivier H. Roux,
2005,
FSTTCS.
Serge Haddad,
Joyce El Haddad *,
S. Haddad,
2004
.
Serge Haddad,
J. El Haddad,
S. Haddad,
2003
.
S. Haddad,
P. Moreaux,
T. Melliti,
2004,
Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004..
Serge Haddad,
Patrice Moreaux,
Sylvain Rampacek,
2006,
ICEIS.
Serge Haddad,
Patrice Moreaux,
Sylvain Rampacek,
2004,
ICEIS.
Serge Haddad,
S. Haddad,
Tarak Melliti,
2003
.
Serge Haddad,
Didier Lime,
Béatrice Bérard,
2014,
Fundam. Informaticae.
Serge Haddad,
Didier Lime,
Béatrice Bérard,
2013,
RP.
Serge Haddad,
Didier Lime,
Olivier H. Roux,
2013,
Theor. Comput. Sci..
Serge Haddad,
Mathieu Sassolas,
Béatrice Bérard,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Patricia Bouyer,
Pierre-Alain Reynier,
Serge Haddad,
2009,
Fundam. Informaticae.
Patricia Bouyer,
Pierre-Alain Reynier,
Serge Haddad,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Serge Haddad,
Mathieu Sassolas,
Béatrice Bérard,
2009
.
S. Haddad,
S. Schmitz,
P. Schnoebelen,
2019
.
Serge Haddad,
Benoît Barbot,
Béatrice Bérard,
2018,
Petri Nets.
Serge Haddad,
Nathalie Sznajder,
Mathieu Sassolas,
2012,
CONCUR.
Amal El Fallah Seghrouchni,
Serge Haddad,
Hamza Mazouzi,
1999,
MAAMAW.
Fernando Rosa-Velardo,
Alain Finkel,
Serge Haddad,
2010
.