The SCEAS System
| |||||||

## Search the dblp DataBase
Serge Haddad:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - Claude Dutheillet, Serge Haddad
**Regular stochastic Petri nets.**[Citation Graph (0, 0)][DBLP] Applications and Theory of Petri Nets, 1989, pp:186-209 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Serge Haddad, Denis Poitrenaud
**Theoretical Aspects of Recursive Petri Nets.**[Citation Graph (0, 0)][DBLP] ICATPN, 1999, pp:228-247 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Serge Haddad, Tarak Melliti, Patrice Moreaux, Sylvain Rampacek
**Modelling Web Services Interoperability.**[Citation Graph (0, 0)][DBLP] ICEIS (4), 2004, pp:287-295 [Conf] - 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] - 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] - Joaquin Ezpeleta, Serge Haddad
**A Distributed Algorithm for Resource Management.**[Citation Graph (0, 0)][DBLP] Decentralized and Distributed Systems, 1993, pp:61-72 [Conf] - 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] - Amal El Fallah-Seghrouchni, Serge Haddad
**A Coordination Algorithm for Multi-Agent Planning.**[Citation Graph (0, 0)][DBLP] MAAMAW, 1996, pp:86-99 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - Serge Haddad, Denis Poitrenaud
**Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.**[Citation Graph (0, 0)][DBLP] TIME, 2001, pp:198-205 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Serge Haddad, Pascal Poizat
**Transactional Reduction of Component Compositions.**[Citation Graph (0, 0)][DBLP] FORTE, 2007, pp:341-357 [Conf] **Parametric NdRFT for the derivation of optimal repair strategies.**[Citation Graph (, )][DBLP]**Interrupt Timed Automata.**[Citation Graph (, )][DBLP]**Towards the Dynamic Adaptability of SOA.**[Citation Graph (, )][DBLP]**A Formal Semantics and a Client Synthesis for a BPEL Service.**[Citation Graph (, )][DBLP]**CSL**[Citation Graph (, )][DBLP]^{TA}: an Expressive Logic for Continuous-Time Markov Chains.**A framework to design and solve Markov Decision Well-formed Net models.**[Citation Graph (, )][DBLP]**Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains.**[Citation Graph (, )][DBLP]**Data Driven Language for Agents Secure Interaction.**[Citation Graph (, )][DBLP]**Client Synthesis for Aspect Oriented Web Services.**[Citation Graph (, )][DBLP]**Agents Secure Interaction in Data driven Languages.**[Citation Graph (, )][DBLP]**Recursive Petri nets.**[Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.007secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |