| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Serge Haddad 24 Hamza Mazouzi , Amal El Fallah-Seghrouchni , Serge Haddad: Open protocol design for complex interactions in multi-agent systems. AAMAS 2002 : 517-526 23 Serge Haddad, Patrice Moreaux , Matteo Sereno , Manuel Silva : Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. ICATPN 2001 : 164-183 22 Serge Haddad, Denis Poitrenaud : Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. TIME 2001 : 198-205 21 Serge Haddad, Jean Michel Ilié , Khalil Ajami : A Model Checking Method for Partially Symmetric Systems. FORTE 2000 : 121-136 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 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 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. TCS 176 (1-2): 39-65 (1997) 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 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 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 J. 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 Transactions on Computers 42 (11): 1343-1360 (1993) 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 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 3 Serge Haddad: A reduction theory for coloured nets. European Workshop on Applications and Theory in Petri Nets 1988 : 209-235 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  DiSC'02 © 2003 Association for Computing Machinery |
