Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Serge Haddad
2010 – today
- 2013
[j19]Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen: Synthesis and Analysis of Product-form Petri Nets. Fundam. Inform. 122(1-2): 147-172 (2013)- [j18]Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo: Ordinal theory for expressiveness of well-structured transition systems. Inf. Comput. 224: 1-22 (2013)
- [j17]Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: The expressive power of time Petri nets. Theor. Comput. Sci. 474: 1-20 (2013)
- 2012
- [j16]Béatrice Bérard, Serge Haddad, Mathieu Sassolas: Interrupt Timed Automata: verification and expressiveness. Formal Methods in System Design 40(1): 41-87 (2012)
- [j15]Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker: Refinement and Asynchronous Composition of Modal Petri Nets. T. Petri Nets and Other Models of Concurrency 5: 96-120 (2012)
- [c67]Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder: Concurrent Games on VASS with Inhibition. CONCUR 2012: 39-52
- [c66]Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen: The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets. LICS 2012: 355-364
- [c65]Benoît Barbot, Serge Haddad, Claudine Picaronny: Coupling and Importance Sampling for Statistical Model Checking. TACAS 2012: 331-346
- [e1]Serge Haddad, Lucia Pomello (Eds.): Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Lecture Notes in Computer Science 7347, Springer 2012, ISBN 978-3-642-31130-7
- [i2]Béatrice Bérard, Serge Haddad, Mathieu Sassolas: Interrupt Timed Automata: verification and expressiveness. CoRR abs/1203.6453 (2012)
- 2011
- [j14]Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad: Lumping partially symmetrical stochastic models. Perform. Eval. 68(1): 21-44 (2011)
- [c64]Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen: Synthesis and Analysis of Product-Form Petri Nets. Petri Nets 2011: 288-307
- [c63]Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin: Petri nets compositional modeling and verification of Flexible Manufacturing Systems. CASE 2011: 588-593
- [c62]Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo: Ordinal Theory for Expressiveness of Well Structured Transition Systems. FOSSACS 2011: 153-167
- [c61]Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin: COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST 2011: 143-144
- [i1]Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen: Synthesis and Analysis of Product-form Petri Nets. CoRR abs/1104.0291 (2011)
- 2010
- [j13]Laura Recalde, Serge Haddad, Manuel Silva: Continuous Petri Nets: Expressive Power and Decidability Issues. Int. J. Found. Comput. Sci. 21(2): 235-256 (2010)
- [c60]Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker: Process Refinement and Asynchronous Composition with Modalities. ACSD/Petri Nets Workshops 2010: 385-401
- [c59]Serge Haddad, Lynda Mokdad, Samir Youcef: Selection of the Best composite Web Service Based on Quality of Service. ISSS/BPSC 2010: 255-266
- [c58]
- [c57]Béatrice Bérard, Serge Haddad, Mathieu Sassolas: Real Time Properties for Interrupt Timed Automata. TIME 2010: 69-76
2000 – 2009
- 2009
- [j12]Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier: Undecidability Results for Timed Automata with Silent Transitions. Fundam. Inform. 92(1-2): 1-25 (2009)
- [j11]Céline Boutrous-Saab, D. Coulibaly, Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek: An Integrated Framework for Web Services Orchestration. Int. J. Web Service Res. 6(4): 1-29 (2009)
- [j10]Susanna Donatelli, Serge Haddad, Jeremy Sproston: Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35(2): 224-240 (2009)
- [c56]Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad: Parametric NdRFT for the derivation of optimal repair strategies. DSN 2009: 399-408
- [c55]
- [c54]Mahdi Zargayouna, Flavien Balbo, Serge Haddad: Data Driven Language for Agents Secure Interaction. LADS 2009: 72-91
- [c53]Mahdi Zargayouna, Flavien Balbo, Serge Haddad: Agents Secure Interaction in Data driven Languages. MALLOW 2009
- [c52]Serge Haddad, Nihal Pekergin: Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains. QEST 2009: 177-186
- 2008
- [j9]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)
- [j8]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)
- [c51]Mehdi Ben Hmida, Serge Haddad: Client Synthesis for Aspect Oriented Web Services. Monterey Workshop 2008: 24-42
- 2007
- [j7]
- [j6]Serge Haddad, Patrice Moreaux: Sub-stochastic matrix analysis for bounds computation - Theoretical results. European Journal of Operational Research 176(2): 999-1015 (2007)
- [c50]Marco Beccuti, Giuliana Franceschinis, Serge Haddad: Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN 2007: 43-62
- [c49]Laura Recalde, Serge Haddad, Manuel Silva: Continuous Petri Nets: Expressive Power and Decidability Issues. ATVA 2007: 362-377
- [c48]
- [c47]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
- [c46]Susanna Donatelli, Serge Haddad, Jeremy Sproston: CSLTA: an Expressive Logic for Continuous-Time Markov Chains. QEST 2007: 31-40
- [c45]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
- 2006
- [j5]Serge Haddad, Jean-François Pradat-Peyre: New Efficient Petri Nets Reductions for Parallel Programs Verification. Parallel Processing Letters 16(1): 101-116 (2006)
- [c44]Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad: Extended Timed Automata and Time Petri Nets. ACSD 2006: 91-100
- [c43]Serge Haddad, Lynda Mokdad, Patrice Moreaux: A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets. ICATPN 2006: 221-240
- [c42]Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier: Timed Unfoldings for Networks of Timed Automata. ATVA 2006: 292-306
- [c41]Serge Haddad, Laura Recalde, Manuel Silva: On the Computational Power of Timed Differentiable Petri Nets. FORMATS 2006: 230-244
- [c40]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
- [c39]Serge Haddad, Patrice Moreaux, Sylvain Rampacek: Client Synthesis for Web Services by Way of a Timed Semantics. ICEIS (4) 2006: 19-26
- [c38]Serge Haddad, Patrice Moreaux, Sylvain Rampacek: A Formal Semantics and a Client Synthesis for a BPEL Service. ICEIS (Selected Papers) 2006: 388-401
- [c37]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
- 2005
- [j4]Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva: Product-form and stochastic Petri nets: a structural approach. Perform. Eval. 59: 313-336 (2005)
- [c36]Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre: Syntactical Colored Petri Nets Reductions. ATVA 2005: 202-216
- [c35]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
- [c34]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
- [c33]Kais Klai, Serge Haddad, Jean-Michel Ilié: Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE 2005: 189-203
- [c32]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
- [c31]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
- [c30]Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié: On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST 2005: 23-32
- 2004
- [c29]J. El Haddad, Serge Haddad: A Fault-contained Spanning Tree Protocol for Arbitrary Networks. ISCA PDCS 2004: 410-415
- [c28]Serge Haddad, Jean-Michel Ilié, Kais Klai: Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA 2004: 196-210
- [c27]Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek: Modelling Web Services Interoperability. ICEIS (4) 2004: 287-295
- [c26]Amal El Fallah-Seghrouchni, Serge Haddad, Tarek Melitti, Alexandru Suna: Interopérabilité des systèmes multi-agents à l'aide des services web. JFSMA 2004: 91-104
- [c25]Serge Haddad, Patrice Moreaux: Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays. MASCOTS 2004: 23-30
- 2002
- [c24]Hamza Mazouzi, Amal El Fallah-Seghrouchni, Serge Haddad: Open protocol design for complex interactions in multi-agent systems. AAMAS 2002: 517-526
- 2001
- [j3]Amal El Fallah-Seghrouchni, Serge Haddad, Hamza Mazouzi: A Formal Study of Interactions in Multi-agent Systems. I. J. Comput. Appl. 8(1) (2001)
- [c23]Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva: Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. ICATPN 2001: 164-183
- [c22]Serge Haddad, Denis Poitrenaud: Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. TIME 2001: 198-205
- 2000
- [c21]Serge Haddad, Jean-Michel Ilié, Khalil Ajami: A Model Checking Method for Partially Symmetric Systems. FORTE 2000: 121-136
1990 – 1999
- 1999
- [c20]
- [c19]Serge Haddad, F. Nguilla Kooh: Combining different failure detectors for solving a large-scale consensus problem. Computers and Their Applications 1999: 204-209
- [c18]Amal El Fallah-Seghrouchni, Serge Haddad, Hamza Mazouzi: A formal study of interactions in multi-agent systems. Computers and Their Applications 1999: 240-245
- [c17]Amal El Fallah-Seghrouchni, Serge Haddad, Hamza Mazouzi: Protocol Engineering for Multi-agent Interaction. MAAMAW 1999: 89-101
- 1998
- [c16]Susanna Donatelli, Serge Haddad, Patrice Moreaux: Structured Characterization of the Markov Chain of Phase-Type SPN. Computer Performance Evaluation (Tools) 1998: 243-254
- [c15]Khalil Ajami, Serge Haddad, Jean-Michel Ilié: Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. TACAS 1998: 52-67
- 1997
- [j2]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)
- [c14]Serge Haddad, Patrice Moreaux, Giovanni Chiola: Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets. ICATPN 1997: 175-194
- 1996
- [c13]Serge Haddad, Patrice Moreaux: Asynchronous Composition of High Level Petri Nets: A Quantitative Approach. Application and Theory of Petri Nets 1996: 192-211
- [c12]Amal El Fallah-Seghrouchni, Serge Haddad: A Coordination Algorithm for Multi-Agent Planning. MAAMAW 1996: 86-99
- 1995
- [c11]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
- [j1]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)
- [c10]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
- [c9]Joaquin Ezpeleta, Serge Haddad: A Distributed Algorithm for Resource Management. Decentralized and Distributed Systems 1993: 61-72
- [c8]Belhassen Zouari, Serge Haddad, Mohamed Taghelit: A Protocol Specification Language with a High-Level Petri Net Semantics. Decentralized and Distributed Systems 1993: 225-241
- [c7]Serge Haddad, Mohamed Taghelit, Belhassen Zouari: Assessment of ESTELLE and EDT Through Real Case Studies. PSTV 1993: 223-238
- 1991
- [c6]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
1980 – 1989
- 1989
- [c5]Claude Dutheillet, Serge Haddad: Regular stochastic Petri nets. Applications and Theory of Petri Nets 1989: 186-209
- [c4]Claude Dutheillet, Serge Haddad: Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. PNPM 1989: 40-49
- 1988
- [c3]Serge Haddad: A reduction theory for coloured nets. European Workshop on Applications and Theory in Petri Nets 1988: 209-235
- 1986
- [c2]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
- [c1]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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-09 22:07 CEST by the dblp team