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