Author|Conference|Journal|Year
Look for results that meet for the following criteria:
View Top Co-Authors In Visual Explorer
Serge Haddad

Top Co-Authors:

ObjectID : Author/504703
Serge Haddad
(Publications: 131)
(Citation Count: 409)
(G-Index: 16)
(H-Index: 9)
HomePage
Universit'e Paris-Dauphine , France
University of Paris Dauphine, Paris, France
Permanent Link: http://academic.research.microsoft.com/Author/504703.aspx
Order by: Year|Citation|Rank
The rank of a paper is calculated by considering the authors, the published conference or journal, and its citation graph. The highest ranking result will appear first.                   Learn more
Year 2009
Susanna Donatelli, Serge Haddad, Jeremy Sproston :
Model Checking Timed and Stochastic Properties with CSL^{TA}
, TSE
, 2009
(Citations: 2)
Patricia Bouyer, Serge Haddad, Pierre-alain Reynier :
Undecidability Results for Timed Automata with Silent Transitions
, FUIN
, 2009
Béatrice Bérard, Serge Haddad :
Interrupt Timed Automata
, FoSSaCS
, 2009
Mahdi Zargayouna, Flavien Balbo, Serge Haddad :
Agents Secure Interaction in Data driven Languages
, 2009
Year 2008
Patricia Bouyer, Serge Haddad, Pierre-alain Reynier :
Timed Petri nets and timed automata: On the discriminating power of zeno sequences
, IANDC
, 2008
(Citations: 3)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux :
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
, TCS
, 2008
Year 2007
Marco Beccuti, Giuliana Franceschinis, Serge Haddad :
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
, APN
, 2007
(Citations: 3)
Serge Haddad, Patrice Moreaux :
Sub-stochastic matrix analysis for bounds computation - Theoretical results
, EOR
, 2007
(Citations: 3)
Laura Recalde, Serge Haddad, Manuel Silva :
Continuous Petri Nets: Expressive Power and Decidability Issues
, ATVA
, 2007
(Citations: 1)
Susanna Donatelli, Serge Haddad, Jeremy Sproston :
CSLTA: an Expressive Logic for Continuous-Time Markov Chains
, QEST
, 2007
(Citations: 2)
Serge Haddad, Denis Poitrenaud :
Recursive Petri nets
, ACTA
, 2007
(Citations: 1)
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad :
A framework to design and solve Markov Decision Well-formed Net models
, QEST
, 2007
(Citations: 1)
Serge Haddad, Pascal Poizat :
Transactional Reduction of Component Compositions
, FORTE
, 2007
(Citations: 1)
Mehdi Ben Hmida, Céline Boutrous-saab, Serge Haddad, Valérie Monfort, Ricardo Ferraz Tomaz :
Towards the Dynamic Adaptability of SOA
, ICEIS
, 2007
Year 2006
Patricia Bouyer, Serge Haddad, Pierre-alain Reynier :
Timed Unfoldings for Networks of Timed Automata
, ATVA
, 2006
(Citations: 4)
Patricia Bouyer, Serge Haddad, Pierre-alain Reynier :
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences
, ICALP
, 2006
(Citations: 4)
Serge Haddad, Patrice Moreaux, Sylvain Rampacek :
Client Synthesis for Web Services by Way of a Timed Semantics
, ICEIS
, 2006
(Citations: 2)
Serge Haddad, Laura Recalde, Manuel Silva :
On the Computational Power of Timed Differentiable Petri Nets
, FORMATS
, 2006
(Citations: 1)
Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-mieg :
Tutorial on Formal Methods for Distributed and Cooperative Systems
, ICTAC
, 2006
Patricia Bouyer, Pierre-alain Reynier, Serge Haddad :
Extended Timed Automata and Time Petri Nets
, ACSD
, 2006
Serge Haddad, Patrice Moreaux, Sylvain Rampacek :
A Formal Semantics and a Client Synthesis for a BPEL Service
, ICEIS
, 2006
Serge Haddad, Lynda Mokdad, Patrice Moreaux :
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
, APN
, 2006
Serge Haddad, Jean-françois Pradat-peyre :
New Efficient Petri Nets Reductions for Parallel Programs Verification
, PPL
, 2006
Year 2005
Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-michel Ilié :
On the use of exact lumpability in partially symmetricalWell-formed Nets
, QEST
, 2005
(Citations: 1)
Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva :
Product-form and stochastic Petri nets: a structural approach
, PE
, 2005
(Citations: 1)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux :
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
, FORMATS
, 2005
(Citations: 1)
Sami Evangelista, Serge Haddad, Jean-françois Pradat-peyre :
Syntactical Colored Petri Nets Reductions
, ATVA
, 2005
(Citations: 1)
Tarek Melliti, Serge Haddad, Alexandru Suna, Amal El Fallah-seghrouchni :
Web-MASI: Multi-Agent Systems Interoperability Using a Web Services Based Approach
, IAT
, 2005
(Citations: 1)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux :
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
, FSTTCS
, 2005
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux :
Comparison of Different Semantics for Time Petri Nets
, ATVA
, 2005
Kais Klai, Serge Haddad, Jean-michel Ilié :
Modular Verification of Petri Nets Properties: A Structure-Based Approach
, FORTE
, 2005
Year 2004
Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek :
Modelling Web Services Interoperability
, ICEIS
, 2004
(Citations: 9)
Serge Haddad, Jean-francois Pradat-peyre :
E cient Reductions for LTL Formulae Veri cation
, 2004
(Citations: 4)
S. Evangelista, S. Haddad, J. F. Pradat-peyre :
New coloured reductions for software validation
, 2004
(Citations: 2)
S. Evangelista, S. Haddad, J. F. Pradat-peyre :
Colored Petri nets reductions for concurrent software validation
, 2004
(Citations: 2)
S. Baarir, S. Haddad, J. M. Iliè :
Exploiting Partial Symmetries in Well-formed nets for the Reachability and the linear Time Model Che
, 2004
(Citations: 1)
Serge Haddad, Jean-michel Ilié, Kais Klai :
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
, ATVA
, 2004
J. El Haddad, Serge Haddad :
A Fault-contained Spanning Tree Protocol for Arbitrary Networks
, ISCAPDCS
, 2004
Serge Haddad, Patrice Moreaux :
Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays
, MASCOTS
, 2004
Year 2003
J. E. Haddad, S. Haddad :
Self-stabilizing scheduling algorithm for cooperating robots
, 2003
(Citations: 3)
S Haddad, J. F Pradat-peyre :
New powerfull Petri nets reductions
, 2003
(Citations: 1)
Year 2002
Hamza Mazouzi, Amal El Fallah-seghrouchni, Serge Haddad :
Open protocol design for complex interactions in multi-agent systems
, AAMAS(ATAL)
, 2002
(Citations: 33)
Year 2001
Serge Haddad, Denis Poitrenaud :
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets
, TIME
, 2001
(Citations: 2)
Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva :
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets
, APN
, 2001
(Citations: 1)
Amal El Fallah-seghrouchni, Serge Haddad, Hamza Mazouzi :
A Formal Study of Interactions in Multi-agent Systems
, ISCA Journal
, 2001
Year 2000
Serge Haddad, Jean-michel Ilié, Khalil Ajami :
A Model Checking Method for Partially Symmetric Systems
, FORTE
, 2000
(Citations: 8)
Serge Haddad, Denis Poitrenaud :
Modelling And Analyzing Systems With Recursive Petri Nets
, 2000
(Citations: 2)
R. Fastow, K. Ahmed, S. Haddad, M. Randolph, C. Huster, P. Hom :
Bake induced charge gain in NOR flash cells
, 2000
Year 1999
Serge Haddad, Denis Poitrenaud :
Theoretical Aspects of Recursive Petri Nets
, APN
, 1999
(Citations: 9)
Amal El Fallah-seghrouchni, Serge Haddad, Hamza Mazouzi :
Protocol Engineering for Multi-agent Interaction
, MAAMAW
, 1999
(Citations: 11)
Amal El Fallah-seghrouchni, Serge Haddad, Hamza Mazouzi :
A formal study of interactions in multi-agent systems
, CATA
, 1999
(Citations: 3)
Serge Haddad, F. Nguilla Kooh :
Combining different failure detectors for solving a large-scale consensus problem
, CATA
, 1999
(Citations: 2)
C. Grigg, P. Wong, P. Albrecht, R. Allan, M. Bhavaraju, R. Billinton, Q. Chen, C. Fong, S. Haddad :
The IEEE Reliability Test System-1996. A report prepared by the Reliability Test System Task Force of the Application of Probability Methods Subcommittee
, 1999
(Citations: 3)
Susanna Donatelli, Serge Haddad, Patrice Moreaux, Mbaye Sene :
Bounds for Rewards of Systems With Clients/servers Interaction
, 1999
(Citations: 2)
A. El Fallah, S. Haddad, H. Mazouzi :
Une demarche m茅thodologique pour l'ing茅nierie des protocols d'interaction
, 1999
(Citations: 1)
F. Nguilla Kooh, S. Haddad :
Reaching Agreement in Hierarchical Groups
, 1999
Year 1998
Khalil Ajami, Serge Haddad, Jean-michel Ilié :
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond
, TACAS
, 1998
(Citations: 9)
Serge Haddad :
A Consensus Protocol for Wide Area Networks
, 1998
(Citations: 3)
Susanna Donatelli, Serge Haddad, Patrice Moreaux :
Structured Characterization of the Markov Chain of Phase-Type SPN
, Computer Performance Evaluation
, 1998
(Citations: 1)
A. El Fallah, S. Haddad, H. Mazouzi :
Observation r茅partie et analyse des interaction dans un syst猫me multi-agents
, 1998
(Citations: 1)
Year 1997
Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad :
A Symbolic Reachability Graph for Coloured Petri Nets
, TCS
, 1997
(Citations: 18)
Serge Haddad, Patrice Moreaux, Giovanni Chiola :
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets
, APN
, 1997
(Citations: 3)
Year 1996
Amal El Fallah Seghrouchni, Serge Haddad :
A Recursive Model for Distributed Planning
, 1996
(Citations: 31)
Serge Haddad, Patrice Moreaux :
Asynchronous Composition of High Level Petri Nets: A Quantitative Approach
, APN
, 1996
(Citations: 7)
Amal El Fallah-seghrouchni, Serge Haddad :
A Coordination Algorithm for Multi-Agent Planning
, MAAMAW
, 1996
(Citations: 2)
S. Haddad, P. Moreaux :
Aggregation and Decomposition for Performance Evaluation of Aynchronous Product of High Level Petri Nets
, 1996
(Citations: 1)
Yuan Tang, Jian Chen, Chi Chang, D. Liu, S. Haddad, Yu Sun, A. Wang, M. Ramskey, Ming Kwong :
Different dependence of band-to-band and Fowler-Nordheim tunneling on source doping concentration of an n-MOSFET
, 1996
Year 1995
Serge Haddad, Jean-michel Ilié, Mohamed Taghelit, Belhassen Zouari :
Symbolic Reachability Graph and Partial Symmetries
, APN
, 1995
(Citations: 6)
Year 1993
Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad :
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
, TC
, 1993
(Citations: 48)
G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad :
Stochastic well-formed coloured nets for symmetric modelling applications
, 1993
(Citations: 42)
C. Dutheillet, S. Haddad :
Conflict Sets in Colored Petri Nets
, 1993
(Citations: 4)
Serge Haddad, Mohamed Taghelit, Belhassen Zouari :
Assessment of ESTELLE and EDT Through Real Case Studies
, PSTV
, 1993
(Citations: 2)
Kamel Barkaoui, Claude Dutheillet, Serge Haddad :
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets
, APN
, 1993
(Citations: 2)
J. Ezpeleta, S. Haddad :
Synthesis of Impartial Deadlock-free Programs for Concurrent Systems
, 1993
(Citations: 2)
Belhassen Zouari, Serge Haddad, Mohamed Taghelit :
A Protocol Specification Language with a High-Level Petri Net Semantics
, IFIP WG10.3 Publications
, 1993
S. Haddad, I. Vernier :
Parametrized Evaluation Of Temporal Logic Formulae
, 1993
Joaquin Ezpeleta, Serge Haddad :
A Distributed Algorithm for Resource Management
, IFIP WG10.3 Publications
, 1993
Year 1992
C. Dutheillet, S. Haddad :
Structural analysis of coloured nets
, 1992
(Citations: 1)
S. Haddad, M. Taghelit, B. Zouari :
Evaluation of Algorithms Using ESTELLE
, 1992
Year 1991
G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad :
On well-formed coloured nets and their symbolic reachability graph
, 1991
(Citations: 18)
S. Haddad :
A reduction theory for colored nets
, 1991
(Citations: 7)
G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad :
Stochastic well-formed coloured nets and symmetric modelfing applications
, 1991
(Citations: 4)
Jean-michel Couvreur, Serge Haddad, J. F. Peyre :
Generative Families of Positive Invariants in Coloured Nets Sub-Classes
, APN
, 1991
(Citations: 2)
M. Taghelit, S. Haddad, P. Sens :
An Algorithm Providing Fault-Tolerance for Layered Distributed Systems
, 1991
(Citations: 2)
Year 1990
G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad :
On Well-Formed Coloured Nets and their Symbolic Reachability Graph
, 1990
(Citations: 16)
S. Haddad, C. Chang, A. Wang, J. Bustillo, J. Lien, T. Montalvo, M. Van Buskirk :
An investigation of erase-mode dependent hole trapping in flash EEPROM memory cell
, 1990
(Citations: 3)
S. Haddad :
A reduction theory for colored nets
, 1990
(Citations: 3)
J. M. Couvreur, S. Haddad, J. F. Peyre :
Resolution Parametree D'Une Famille De Systemes D'Equations Lineaires
, 1990
(Citations: 1)
S. Haddad :
Methodes D'analyse Dans Les Reseaux Colores
, 1990
Year 1989
Claude Dutheillet, Serge Haddad :
Regular stochastic Petri nets
, APN
, 1989
(Citations: 7)
S. Haddad, C. Chang, B. Swaminathan, J. Lien :
Degradations due to hole trapping in flash memory cells
, 1989
(Citations: 8)
Claude Dutheillet, Serge Haddad :
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture
, Petri Nets and Performance Models
, 1989
(Citations: 2)
Year 1988
S. Haddad, J. M. Couvreur :
Towards A General And Powerful Computation Of Flows For Parametrized Coloured Nets
, 1988
(Citations: 5)
Serge Haddad :
A reduction theory for coloured nets
, APN
, 1988
(Citations: 4)
C. Chang, S. Haddad, B. Swaminathan, J. Lien :
Drain-avalanche and hole-trapping induced gate leakage in thin-oxide MOS devices
, 1988
S. Haddad, J. M. Couvreur :
Validation Of Parallel Systems With Coloured Petri
, 1988
Year 1987
Serge Haddad, Claude Girault :
Algebraic Strucutre of Flows of a Regular Coloured Net
, 1987
(Citations: 4)
Serge Haddad :
Un Calcul d'une Base de Flots pour les Reseaux Colores
, 1987
(Citations: 1)
S. Haddad :
Une categorie reguliere de reseau de Petri de haut niveau : de nition
, 1987
(Citations: 1)
Year 1986
Claude Girault, C. Chatelain, Serge Haddad :
Specification and properties of a cache coherence protocol model
, APN
, 1986
(Citations: 1)
Serge Haddad, Claude Girault :
Algebraic structure of flows of a regular coloured net
, APN
, 1986
S. Haddad :
BERNARD : Les réseaux réguliers
, 1986
Year Unknown
Tarak Melliti, Serge Haddad :
Synthesis of Agents for Web Services Interaction
(Citations: 3)
Serge Haddad, Patrice Moreaux :
Sub-stochastic matrix analysis and performance bounds
(Citations: 2)
Automates Temporisés, Réseaux De Petri Temporels, Franck Cassez, Cnrsirccyn, Ens-cachan, P. Bouyer, F. Laroussinie, N. Markey, K. Altisen, S. Tripakis, B. Berthomieu, F. Vernadat, Paris Dauphine, B. Bérard, S. Haddad, D. Lime, O.h. Roux, O. Roux :
Développement de systèmes embarqués
Model Checking Timed, Stochastic Properties With Csl, Susanna Donatelli, Serge Haddad, Jeremy Sproston, Lsv-ens Cachan :
Susanna Donatelli Serge Haddad Jeremy Sproston
Interrupt Timed Automata, Beatrice Berard, Serge Haddad, Mathieu Sassolas :
B´eatrice B´erard Serge Haddad Mathieu Sassolas
Extended Timed Automata, Time Petri Nets, Patricia Bouyer, Serge Haddad, Pierre-alain Reynier :
Patricia Bouyer Serge Haddad and Pierre-Alain Reynier
M. Taghelit, S.haddad, P. Sens, C.n.r.s. Masi, Place Jussieu :
An Algorithm Providing Fault-Tolerance for Layered
K. Barkaoui C. Dutheillet, S. Haddad, Laboratoire Cedric, Ibp-laboratoire Masi :
An Efficient Algorithm for Finding
Net Semantics, Belhassen Zouari, Serge Haddad, Mohamed Taghelit :
A Protocol Specification Language with a High-level Petri
Jean-marc Bernard, Jean-luc Mounier, Nicolas Beldiceanu, Serge Haddad :
AMI an extensible Petri nets
Mehdi Ben Hmida, Celine Boutrous-saab, Serge Haddad, Ricardo Tomaz Ferraz :
Dynamically Adapting Clients to Web Services Changing
J. Ezpeleta, S. Haddad, Laboratoire Masic.n.r.s, Place Jussieu :
Synthesis of Impartial Deadlock-free Programs for
With Coloured Petri Nets, S. Haddad, J.m. Couvreur :
VALIDATION OF PARALLEL SYSTEMS
Parametrized Coloured Nets, S. Haddad, J.m. Couvreur :
TOWARDS A GENERAL AND POWERFUL COMPUTATION OF FLOWS FOR
Sylvain Rampacek, Crestic-l Amsade, Serge Haddad :
Aform als emantics for Web Servicesi nteraction
Béatrice Bérard, Serge Haddad, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-mieg :
Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory
S.haddad, I.vernier, Laboratoire Masi :
PARAMETRIZED EVALUATION OF TEMPORAL LOGIC
Mehdi Ben Hmida, Serge Haddad, Laboratoire Lamsade :
Vers une adaptabilité dynamique des architectures orientées services
Serge Haddad, Jean-michel Ilie, Kais Klai :
An Incremental Verification Technique Using Decomposition of Petri Nets
Benedikt Bollig Thomas Chatain, Paul Gastin Stefan Haar, Serge Haddad :
Modelling and Exploitation of Interaction and Concurrency
Serge Haddad, Patrice Moreaux, Mbaye Sene :
Performance evaluation with SWN
Serge Haddad, Lynda Mokdad, Samir Youcef :
Response time analysis for composite Web services
Marco Beccuti, Daniele Codetta-raiteri, Serge Haddad :
Non deterministic Repairable Fault Trees for computing optimal repair strategy
Serge Haddad, Lynda Mokdad, 1 Patrice Moreaux :
PERFORMANCE EVALUATION OF NON MARKOVIAN STOCHASTIC DISCRETE EVENT SYSTEMS - A NEW APPROACH
C. Dutheillet, S. Haddad :
An Efficient Computation of Structural Relations in Unary
Joyce El Haddad, Serge Haddad :
A fault-tolerant communication mechanism for cooperative robots
Joyce El Haddad, Serge Haddad :
A Self-stabilizing Protocol for an Ad hoc Networks of Mobile Robots
Serge Haddad, Denis Poitrenaud :
Recursive Petri Nets Theory and Application to Discrete Event Systems
Serge Haddad, Nihal Pekergin :
Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains
Microsoft Research Asia | Help | Feedback | Specific Terms
©2009 Microsoft Corporation. All rights reserved. Contact Us | Terms of Use | Trademarks | Privacy Statement