The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Serge Haddad: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  51. Parametric NdRFT for the derivation of optimal repair strategies. [Citation Graph (, )][DBLP]


  52. Interrupt Timed Automata. [Citation Graph (, )][DBLP]


  53. Towards the Dynamic Adaptability of SOA. [Citation Graph (, )][DBLP]


  54. A Formal Semantics and a Client Synthesis for a BPEL Service. [Citation Graph (, )][DBLP]


  55. CSLTA: an Expressive Logic for Continuous-Time Markov Chains. [Citation Graph (, )][DBLP]


  56. A framework to design and solve Markov Decision Well-formed Net models. [Citation Graph (, )][DBLP]


  57. Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains. [Citation Graph (, )][DBLP]


  58. Data Driven Language for Agents Secure Interaction. [Citation Graph (, )][DBLP]


  59. Client Synthesis for Aspect Oriented Web Services. [Citation Graph (, )][DBLP]


  60. Agents Secure Interaction in Data driven Languages. [Citation Graph (, )][DBLP]


  61. Recursive Petri nets. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002