 | 2009 |
|---|
| 61 |       | Béatrice Bérard,
Serge Haddad:
Interrupt Timed Automata.
FOSSACS 2009: 197-211 |
| 60 | | Patricia Bouyer,
Serge Haddad,
Pierre-Alain Reynier:
Undecidability Results for Timed Automata with Silent Transitions.
Fundam. Inform. 92(1-2): 1-25 (2009) |
| 59 | | Susanna Donatelli,
Serge Haddad,
Jeremy Sproston:
Model Checking Timed and Stochastic Properties with CSL^{TA}.
IEEE Trans. Software Eng. 35(2): 224-240 (2009) |
| 2008 |
|---|
| 58 | | Patricia Bouyer,
Serge Haddad,
Pierre-Alain Reynier:
Timed Petri nets and timed automata: On the discriminating power of zeno sequences.
Inf. Comput. 206(1): 73-107 (2008) |
| 57 | | Béatrice Bérard,
Franck Cassez,
Serge Haddad,
Didier Lime,
Olivier H. Roux:
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
Theor. Comput. Sci. 403(2-3): 202-220 (2008) |
| 2007 |
|---|
| 56 | | Laura Recalde,
Serge Haddad,
Manuel Silva:
Continuous Petri Nets: Expressive Power and Decidability Issues.
ATVA 2007: 362-377 |
| 55 | | Serge Haddad,
Pascal Poizat:
Transactional Reduction of Component Compositions.
FORTE 2007: 341-357 |
| 54 | | Marco Beccuti,
Giuliana Franceschinis,
Serge Haddad:
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.
ICATPN 2007: 43-62 |
| 53 |  | Mehdi Ben Hmida,
Céline Boutrous-Saab,
Serge Haddad,
Valérie Monfort,
Ricardo Ferraz Tomaz:
Towards the Dynamic Adaptability of SOA.
ICEIS (3) 2007: 474-479 |
| 52 | | Marco Beccuti,
Daniele Codetta Raiteri,
Giuliana Franceschinis,
Serge Haddad:
A framework to design and solve Markov Decision Well-formed Net models.
QEST 2007: 165-166 |
| 51 | | Susanna Donatelli,
Serge Haddad,
Jeremy Sproston:
CSLTA: an Expressive Logic for Continuous-Time Markov Chains.
QEST 2007: 31-40 |
| 50 | | Serge Haddad,
Denis Poitrenaud:
Recursive Petri nets.
Acta Inf. 44(7-8): 463-508 (2007) |
| 49 | | Serge Haddad,
Patrice Moreaux:
Sub-stochastic matrix analysis for bounds computation - Theoretical results.
European Journal of Operational Research 176(2): 999-1015 (2007) |
| 2006 |
|---|
| 48 | | Patricia Bouyer,
Pierre-Alain Reynier,
Serge Haddad:
Extended Timed Automata and Time Petri Nets.
ACSD 2006: 91-100 |
| 47 | | Patricia Bouyer,
Serge Haddad,
Pierre-Alain Reynier:
Timed Unfoldings for Networks of Timed Automata.
ATVA 2006: 292-306 |
| 46 | | Serge Haddad,
Laura Recalde,
Manuel Silva:
On the Computational Power of Timed Differentiable Petri Nets.
FORMATS 2006: 230-244 |
| 45 | | Patricia Bouyer,
Serge Haddad,
Pierre-Alain Reynier:
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.
ICALP (2) 2006: 420-431 |
| 44 | | Serge Haddad,
Lynda Mokdad,
Patrice Moreaux:
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.
ICATPN 2006: 221-240 |
| 43 | | Serge Haddad,
Patrice Moreaux,
Sylvain Rampacek:
Client Synthesis for Web Services by Way of a Timed Semantics.
ICEIS (4) 2006: 19-26 |
| 42 | | Serge Haddad,
Patrice Moreaux,
Sylvain Rampacek:
A Formal Semantics and a Client Synthesis for a BPEL Service.
ICEIS (Selected Papers) 2006: 388-401 |
| 41 | | Christine Choppy,
Serge Haddad,
Hanna Klaudel,
Fabrice Kordon,
Laure Petrucci,
Yann Thierry-Mieg:
Tutorial on Formal Methods for Distributed and Cooperative Systems.
ICTAC 2006: 362-365 |
| 40 | | Serge Haddad,
Jean-François Pradat-Peyre:
New Efficient Petri Nets Reductions for Parallel Programs Verification.
Parallel Processing Letters 16(1): 101-116 (2006) |
| 2005 |
|---|
| 39 | | Sami Evangelista,
Serge Haddad,
Jean-François Pradat-Peyre:
Syntactical Colored Petri Nets Reductions.
ATVA 2005: 202-216 |
| 38 | | Béatrice Bérard,
Franck Cassez,
Serge Haddad,
Didier Lime,
Olivier H. Roux:
Comparison of Different Semantics for Time Petri Nets.
ATVA 2005: 293-307 |
| 37 | | 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: 211-225 |
| 36 | | Kais Klai,
Serge Haddad,
Jean-Michel Ilié:
Modular Verification of Petri Nets Properties: A Structure-Based Approach.
FORTE 2005: 189-203 |
| 35 | | 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: 273-284 |
| 34 | | Tarek Melliti,
Serge Haddad,
Alexandru Suna,
Amal El Fallah-Seghrouchni:
Web-MASI: Multi-Agent Systems Interoperability Using a Web Services Based Approach.
IAT 2005: 739-742 |
| 33 | | Souheib Baarir,
Claude Dutheillet,
Serge Haddad,
Jean-Michel Ilié:
On the use of exact lumpability in partially symmetricalWell-formed Nets.
QEST 2005: 23-32 |
| 32 | | Serge Haddad,
Patrice Moreaux,
Matteo Sereno,
Manuel Silva:
Product-form and stochastic Petri nets: a structural approach.
Perform. Eval. 59: 313-336 (2005) |
| 2004 |
|---|
| 31 | | Serge Haddad,
Jean-Michel Ilié,
Kais Klai:
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.
ATVA 2004: 196-210 |
| 30 | | Serge Haddad,
Tarek Melliti,
Patrice Moreaux,
Sylvain Rampacek:
Modelling Web Services Interoperability.
ICEIS (4) 2004: 287-295 |
| 29 | | J. El Haddad,
Serge Haddad:
A Fault-contained Spanning Tree Protocol for Arbitrary Networks.
ISCA PDCS 2004: 410-415 |
| 28 | | Serge Haddad,
Patrice Moreaux:
Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays.
MASCOTS 2004: 23-30 |
| 2002 |
|---|
| 27 | | Hamza Mazouzi,
Amal El Fallah-Seghrouchni,
Serge Haddad:
Open protocol design for complex interactions in multi-agent systems.
AAMAS 2002: 517-526 |
| 2001 |
|---|
| 26 | | Serge Haddad,
Patrice Moreaux,
Matteo Sereno,
Manuel Silva:
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.
ICATPN 2001: 164-183 |
| 25 | | Serge Haddad,
Denis Poitrenaud:
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.
TIME 2001: 198-205 |
| 24 | | Amal El Fallah-Seghrouchni,
Serge Haddad,
Hamza Mazouzi:
A Formal Study of Interactions in Multi-agent Systems.
I. J. Comput. Appl. 8(1): (2001) |
| 2000 |
|---|
| 23 | | Serge Haddad,
Jean-Michel Ilié,
Khalil Ajami:
A Model Checking Method for Partially Symmetric Systems.
FORTE 2000: 121-136 |
| 1999 |
|---|
| 22 | | Serge Haddad,
F. Nguilla Kooh:
Combining different failure detectors for solving a large-scale consensus problem.
Computers and Their Applications 1999: 204-209 |
| 21 | | Amal El Fallah-Seghrouchni,
Serge Haddad,
Hamza Mazouzi:
A formal study of interactions in multi-agent systems.
Computers and Their Applications 1999: 240-245 |
| 20 | | Serge Haddad,
Denis Poitrenaud:
Theoretical Aspects of Recursive Petri Nets.
ICATPN 1999: 228-247 |
| 19 | | Amal El Fallah-Seghrouchni,
Serge Haddad,
Hamza Mazouzi:
Protocol Engineering for Multi-agent Interaction.
MAAMAW 1999: 89-101 |
| 1998 |
|---|
| 18 | | Susanna Donatelli,
Serge Haddad,
Patrice Moreaux:
Structured Characterization of the Markov Chain of Phase-Type SPN.
Computer Performance Evaluation (Tools) 1998: 243-254 |
| 17 | | Khalil Ajami,
Serge Haddad,
Jean-Michel Ilié:
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.
TACAS 1998: 52-67 |
| 1997 |
|---|
| 16 | | Serge Haddad,
Patrice Moreaux,
Giovanni Chiola:
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets.
ICATPN 1997: 175-194 |
| 15 | | Giovanni Chiola,
Claude Dutheillet,
Giuliana Franceschinis,
Serge Haddad:
A Symbolic Reachability Graph for Coloured Petri Nets.
Theor. Comput. Sci. 176(1-2): 39-65 (1997) |
| 1996 |
|---|
| 14 | | Serge Haddad,
Patrice Moreaux:
Asynchronous Composition of High Level Petri Nets: A Quantitative Approach.
Application and Theory of Petri Nets 1996: 192-211 |
| 13 | | Amal El Fallah-Seghrouchni,
Serge Haddad:
A Coordination Algorithm for Multi-Agent Planning.
MAAMAW 1996: 86-99 |
| 1995 |
|---|
| 12 | | Serge Haddad,
Jean-Michel Ilié,
Mohamed Taghelit,
Belhassen Zouari:
Symbolic Reachability Graph and Partial Symmetries.
Application and Theory of Petri Nets 1995: 238-257 |
| 1993 |
|---|
| 11 | | Kamel Barkaoui,
Claude Dutheillet,
Serge Haddad:
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.
Application and Theory of Petri Nets 1993: 69-88 |
| 10 | | Belhassen Zouari,
Serge Haddad,
Mohamed Taghelit:
A Protocol Specification Language with a High-Level Petri Net Semantics.
Decentralized and Distributed Systems 1993: 225-241 |
| 9 | | Joaquin Ezpeleta,
Serge Haddad:
A Distributed Algorithm for Resource Management.
Decentralized and Distributed Systems 1993: 61-72 |
| 8 | | Serge Haddad,
Mohamed Taghelit,
Belhassen Zouari:
Assessment of ESTELLE and EDT Through Real Case Studies.
PSTV 1993: 223-238 |
| 7 | | Giovanni Chiola,
Claude Dutheillet,
Giuliana Franceschinis,
Serge Haddad:
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.
IEEE Trans. Computers 42(11): 1343-1360 (1993) |
| 1991 |
|---|
| 6 | | Jean-Michel Couvreur,
Serge Haddad,
J. F. Peyre:
Generative Families of Positive Invariants in Coloured Nets Sub-Classes.
Applications and Theory of Petri Nets 1991: 51-70 |
| 1989 |
|---|
| 5 | | Claude Dutheillet,
Serge Haddad:
Regular stochastic Petri nets.
Applications and Theory of Petri Nets 1989: 186-209 |
| 4 | | Claude Dutheillet,
Serge Haddad:
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture.
PNPM 1989: 40-49 |
| 1988 |
|---|
| 3 | | Serge Haddad:
A reduction theory for coloured nets.
European Workshop on Applications and Theory in Petri Nets 1988: 209-235 |
| 1986 |
|---|
| 2 | | Claude Girault,
C. Chatelain,
Serge Haddad:
Specification and properties of a cache coherence protocol model.
European Workshop on Applications and Theory of Petri Nets 1986: 1-20 |
| 1 | | Serge Haddad,
Claude Girault:
Algebraic structure of flows of a regular coloured net.
European Workshop on Applications and Theory of Petri Nets 1986: 73-88 |
