dblp.uni-trier.dewww.uni-trier.de

Serge Haddad

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
60EEBéatrice Bérard, Serge Haddad: Interrupt Timed Automata. FOSSACS 2009: 197-211
59EESusanna Donatelli, Serge Haddad, Jeremy Sproston: Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35(2): 224-240 (2009)
2008
58EEPatricia 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)
57EEBé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
56EELaura Recalde, Serge Haddad, Manuel Silva: Continuous Petri Nets: Expressive Power and Decidability Issues. ATVA 2007: 362-377
55EESerge Haddad, Pascal Poizat: Transactional Reduction of Component Compositions. FORTE 2007: 341-357
54EEMarco 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
52EEMarco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad: A framework to design and solve Markov Decision Well-formed Net models. QEST 2007: 165-166
51EESusanna Donatelli, Serge Haddad, Jeremy Sproston: CSLTA: an Expressive Logic for Continuous-Time Markov Chains. QEST 2007: 31-40
50EESerge Haddad, Denis Poitrenaud: Recursive Petri nets. Acta Inf. 44(7-8): 463-508 (2007)
49EESerge Haddad, Patrice Moreaux: Sub-stochastic matrix analysis for bounds computation - Theoretical results. European Journal of Operational Research 176(2): 999-1015 (2007)
2006
48EEPatricia Bouyer, Pierre-Alain Reynier, Serge Haddad: Extended Timed Automata and Time Petri Nets. ACSD 2006: 91-100
47EEPatricia Bouyer, Serge Haddad, Pierre-Alain Reynier: Timed Unfoldings for Networks of Timed Automata. ATVA 2006: 292-306
46EESerge Haddad, Laura Recalde, Manuel Silva: On the Computational Power of Timed Differentiable Petri Nets. FORMATS 2006: 230-244
45EEPatricia Bouyer, Serge Haddad, Pierre-Alain Reynier: Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. ICALP (2) 2006: 420-431
44EESerge 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
42EESerge Haddad, Patrice Moreaux, Sylvain Rampacek: A Formal Semantics and a Client Synthesis for a BPEL Service. ICEIS (Selected Papers) 2006: 388-401
41EEChristine 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
40EESerge Haddad, Jean-François Pradat-Peyre: New Efficient Petri Nets Reductions for Parallel Programs Verification. Parallel Processing Letters 16(1): 101-116 (2006)
2005
39EESami Evangelista, Serge Haddad, Jean-François Pradat-Peyre: Syntactical Colored Petri Nets Reductions. ATVA 2005: 202-216
38EEBéatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: Comparison of Different Semantics for Time Petri Nets. ATVA 2005: 293-307
37EEBé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
36EEKais Klai, Serge Haddad, Jean-Michel Ilié: Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE 2005: 189-203
35EEBé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
34EETarek 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
33EESouheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié: On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST 2005: 23-32
32EESerge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva: Product-form and stochastic Petri nets: a structural approach. Perform. Eval. 59: 313-336 (2005)
2004
31EESerge 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
28EESerge Haddad, Patrice Moreaux: Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays. MASCOTS 2004: 23-30
2002
27EEHamza Mazouzi, Amal El Fallah-Seghrouchni, Serge Haddad: Open protocol design for complex interactions in multi-agent systems. AAMAS 2002: 517-526
2001
26EESerge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva: Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. ICATPN 2001: 164-183
25EESerge 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
20EESerge 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
18EESusanna Donatelli, Serge Haddad, Patrice Moreaux: Structured Characterization of the Markov Chain of Phase-Type SPN. Computer Performance Evaluation (Tools) 1998: 243-254
17EEKhalil 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
15EEGiovanni 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

Coauthor Index

1Khalil Ajami [17] [23]
2Souheib Baarir [33]
3Kamel Barkaoui [11]
4Marco Beccuti [52] [54]
5Béatrice Bérard [35] [37] [38] [57] [60]
6Céline Boutrous-Saab [53]
7Patricia Bouyer [45] [47] [48] [58]
8Franck Cassez [35] [37] [38] [57]
9C. Chatelain [2]
10Giovanni Chiola [7] [15] [16]
11Christine Choppy [41]
12Jean-Michel Couvreur [6]
13Susanna Donatelli [18] [51] [59]
14Claude Dutheillet [4] [5] [7] [11] [15] [33]
15Sami Evangelista [39]
16Joaquin Ezpeleta [9]
17Amal El Fallah-Seghrouchni [13] [19] [21] [24] [27] [34]
18Giuliana Franceschinis [7] [15] [52] [54]
19Claude Girault [1] [2]
20J. El Haddad [29]
21Mehdi Ben Hmida [53]
22Jean-Michel Ilié (Jean Michel Ilié) [12] [17] [23] [31] [33] [36]
23Kais Klai [31] [36]
24Hanna Klaudel [41]
25F. Nguilla Kooh [22]
26Fabrice Kordon [41]
27Didier Lime [35] [37] [38] [57]
28Hamza Mazouzi [19] [21] [24] [27]
29Tarek Melliti [30] [34]
30Lynda Mokdad [44]
31Valérie Monfort [53]
32Patrice Moreaux [14] [16] [18] [26] [28] [30] [32] [42] [43] [44] [49]
33Laure Petrucci (Laure Petrucci-Dauchy) [41]
34J. F. Peyre [6]
35Denis Poitrenaud [20] [25] [50]
36Pascal Poizat [55]
37Jean-François Pradat-Peyre [39] [40]
38Daniele Codetta Raiteri [52]
39Sylvain Rampacek [30] [42] [43]
40Laura Recalde [46] [56]
41Pierre-Alain Reynier [45] [47] [48] [58]
42Olivier H. Roux (Olivier Roux) [35] [37] [38] [57]
43Matteo Sereno [26] [32]
44Manuel Silva [26] [32] [46] [56]
45Jeremy Sproston [51] [59]
46Alexandru Suna [34]
47Mohamed Taghelit [8] [10] [12]
48Yann Thierry-Mieg [41]
49Ricardo Ferraz Tomaz [53]
50Belhassen Zouari [8] [10] [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)