Selected publications by Serge Haddad

2012

• B. Barbot, S. Haddad and C. Picaronny.  Coupling and Importance Sampling for Statistical Model Checking.  In TACAS'12, LNCS. Springer, 2012. To appear. ( PDF (long version) | BibTeX )
• B. Bérard, S. Haddad and M. Sassolas.  Interrupt Timed Automata: verification and expressiveness.  Formal Methods in System Design 40(1), pages 41-87, 2012. ( PDF | BibTeX + Abstract )

2011

• P. Ballarini, H. Djafri, M. Duflot, S. Haddad and N. Pekergin.  HASL: An Expressive Language for Statistical Verification of Stochastic Models.  In VALUETOOLS'11. 2011. To appear. ( BibTeX + Abstract )
• S. Haddad.  Introduction to Verification.  In Models and Analysis in Distributed Systems, chapter 6, pages 137-154. John Wiley & Sons, Ltd., 2011. ( BibTeX )
• S. Haddad, F. Kordon, L. Pautet and L. Petrucci (eds.).  Distributed Systems Design and Algorithms. John Wiley & Sons, Ltd., 2011. ( Web page | BibTeX )
• S. Haddad, F. Kordon, L. Pautet and L. Petrucci (eds.).  Models and Analysis in Distributed Systems. John Wiley & Sons, Ltd., 2011. ( Web page | BibTeX )
• B. Barbot, S. Haddad and C. Picaronny.  Échantillonnage préférentiel pour le model checking statistique.  In MSR'11, Journal Européen des Systèmes Automatisés 45(1-3), pages 237-252. Hermès, 2011. ( PDF | PDF (long version) | BibTeX + Abstract )
• P. Ballarini, H. Djafri, M. Duflot, S. Haddad and N. Pekergin.  COSMOS: a Statistical Model Checker for the Hybrid Automata Stochastic Logic.  In QEST'11, pages 143-144. IEEE Computer Society Press, 2011. ( PDF | BibTeX + Abstract )
• M. Beccuti, G. Franceschinis and S. Haddad.  MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets.  International Journal of Performability Engineering 7(5), pages 417-428, 2011. ( PDF | BibTeX + Abstract )
• P. Ballarini, H. Djafri, M. Duflot, S. Haddad and N. Pekergin.  Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems.  In CASE'11, pages 588-593. IEEE Robotics & Automation Society, 2011. ( PDF | BibTeX + Abstract )
• S. Haddad, J. Mairesse and H.-T. Nguyen.  Synthesis and Analysis of Product-form Petri Nets.  In ICATPN'11, LNCS 6709, pages 288-307. Springer, 2011. ( PDF | BibTeX + Abstract )
• R. Bonnet, A. Finkel, S. Haddad and F. Rosa-Velardo.  Ordinal Theory for Expressiveness of Well Structured Transition Systems.  In FoSSaCS'11, LNCS 6604, pages 153-167. Springer, 2011. ( PDF | BibTeX )
• S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis and S. Haddad.  Lumping partially symmetrical stochastic models.  Performance Evaluation 76, pages 21-44, 2011. ( PDF | BibTeX + Abstract )

2010

• R. Bonnet, A. Finkel, S. Haddad and F. Rosa-Velardo.  Comparing Petri Data Nets and Timed Petri Nets.  Research Report LSV-10-23, Laboratoire Spécification et Vérification, ENS Cachan, France, December 2010. 16 pages. ( PDF | BibTeX + Abstract )
• B. Bérard, S. Haddad, M. Sassolas and M. Zeitoun.  Distributed Synthesis with Incomparable Information.  Research Report LSV-10-17, Laboratoire Spécification et Vérification, ENS Cachan, France, October 2010. 20 pages. ( PDF | BibTeX + Abstract )
• B. Bérard, S. Haddad and M. Sassolas.  Real Time Properties for Interrupt Timed Automata.  In TIME'10, pages 69-76. IEEE Computer Society Press, 2010. ( PDF | BibTeX + Abstract )
• S. Haddad, L. Mokdad and S. Youcef.  Selection of the Best composite Web Service Based on Quality of Service.  In ISSS/BPSC'10, Lecture Notes in Informatics 177, pages 255-266. Gesellschaft für Informatik, 2010. ( PDF | BibTeX + Abstract )
• D. El Hog-Benzina, S. Haddad and R. Hennicker.  Process Refinement and Asynchronous Composition with Modalities.  In APNOC'10. 2010. ( PDF | BibTeX + Abstract )
• S. Haddad, L. Mokdad and S. Youcef.  Response time of BPEL4WS constructors.  In ISCC'10, pages 695-700. IEEE Computer Society Press, 2010. ( PDF | BibTeX + Abstract )
• M. Ben Hmida and S. Haddad.  Client Synthesis for Aspect Oriented Web Services.  In MONTEREY'08, LNCS 6028, pages 24-42. Springer, 2010. ( PDF | BibTeX + Abstract )
• L. Recalde, S. Haddad and M. Silva.  Continuous Petri Nets: Expressive Power and Decidability Issues.  International Journal of Foundations of Computer Science 21(2), pages 235-256, 2010. ( BibTeX + Abstract )

2009

• P. Bouyer, S. Haddad and P.-A. Reynier.  Undecidability Results for Timed Automata with Silent Transitions.  Fundamenta Informaticae 92(1-2), pages 1-25, 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract )
• S. Haddad.  Decidability and Complexity of Petri Net Problems.  In Petri Nets: Fundamental Models, Verification and Applications, pages 87-122. Wiley-ISTE, 2009. ( Web page | BibTeX )
• S. Haddad and J.-M. Ilié.  Symmetry and Temporal Logic.  In Petri Nets: Fundamental Models, Verification and Applications, pages 435-460. Wiley-ISTE, 2009. ( Web page | BibTeX )
• S. Haddad and P. Moreaux.  Tensor Methods and Stochastic Petri Nets.  In Petri Nets: Fundamental Models, Verification and Applications, pages 321-346. Wiley-ISTE, 2009. ( Web page | BibTeX )
• S. Haddad and P. Moreaux.  Stochastic Well-formed Petri Nets.  In Petri Nets: Fundamental Models, Verification and Applications, pages 303-320. Wiley-ISTE, 2009. ( Web page | BibTeX )
• S. Haddad and P. Moreaux.  Stochastic Petri Nets.  In Petri Nets: Fundamental Models, Verification and Applications, pages 269-302. Wiley-ISTE, 2009. ( Web page | BibTeX )
• S. Haddad and F. Vernadat.  Verification of Specific Properties.  In Petri Nets: Fundamental Models, Verification and Applications, pages 349-414. Wiley-ISTE, 2009. ( Web page | BibTeX )
• S. Haddad and F. Vernadat.  Analysis Methods for Petri Nets.  In Petri Nets: Fundamental Models, Verification and Applications, pages 41-86. Wiley-ISTE, 2009. ( Web page | BibTeX )
• S. Haddad, L. Mokdad and S. Youcef.  Bornes du temps de réponse des services Web composites.  In MSR'09, Journal Européen des Systèmes Automatisés 43(7-9), pages 969-983. Hermès, 2009. ( PDF | BibTeX + Abstract )
• S. Donatelli and S. Haddad.  Quantitative Verification of Markov Chains.  In Communicating Embedded Systems - Software and Design, chapter 5, pages 139-163. Wiley-ISTE, 2009. ( Web page | BibTeX )
• C. Boutrous-Saab, D. Coulibaly, S. Haddad, T. Melliti, P. Moreaux and S. Rampacek.  An Integrated Framework for Web Services Orchestration.  International Journal of Web Services Research 6(4), pages 1-29, 2009. ( PDF | BibTeX + Abstract )
• S. Haddad and N. Pekergin.  Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains.  In QEST'09, pages 177-186. IEEE Computer Society Press, 2009. ( PDF | BibTeX + Abstract )
• H. M. Zargayouna, F. Balbo and S. Haddad.  Agents Secure Interaction in Data Driven Languages.  In LADS'09. 2009. ( PDF | BibTeX + Abstract )
• B. Bérard, S. Haddad and M. Sassolas.  Verification on Interrupt Timed Automata.  Research Report LSV-09-16, Laboratoire Spécification et Vérification, ENS Cachan, France, July 2009. 16 pages. ( PDF | BibTeX + Abstract )
• M. Beccuti, G. Franceschinis, D. Codetta-Raiteri and S. Haddad.  Parametric NdRFT for the derivation of optimal repair strategies.  In DSN'09, pages 399-408. IEEE Computer Society Press, 2009. ( PDF | BibTeX + Abstract )
• S. Haddad, F. Kordon, L. Petrucci, J.-F. Pradat-Peyre and N. Trèves.  Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains.  In ACC'09, pages 5018-5025. 2009. ( PDF | BibTeX + Abstract )
• A. El Fallah Seghrouchni and S. Haddad.  Interopérabilité des systèmes multi-agents à l'aide des services web.  In Technologies des systèmes multi-agents et applications industrielles, chapter 3, pages 77-99. Hermès, 2009. ( Web page | BibTeX )
• B. Bérard and S. Haddad.  Interrupt Timed Automata.  In FoSSaCS'09, LNCS 5504, pages 197-211. Springer, 2009. ( PDF | PDF (long version) | BibTeX + Abstract )
• S. Donatelli, S. Haddad and J. Sproston.  Model Checking Timed and Stochastic Properties with CSL^TA.  IEEE Transactions on Software Engineering 35(2), pages 224-240, 2009. ( PDF | PDF (long version) | BibTeX + Abstract )

2008

• M. Beccuti, D. Codetta-Raiteri, G. Franceschinis and S. Haddad.  Non Deterministic Repairable Fault Trees for Computing Optimal Repair Strategy.  In VALUETOOLS'08. Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2008. ( PDF | BibTeX + Abstract )
• S. Donatelli and S. Haddad.  Vérification quantitative de chaînes de Markov.  In Approches formelles des systèmes embarqués communicants, chapter 6, pages 177-198. Hermès, 2008. ( Web page | BibTeX )
• B. Bérard, F. Cassez, S. Haddad, D. Lime and O. H. Roux.  When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?  Theoretical Computer Science 403(2-3), pages 202-220, 2008. ( PDF | BibTeX + Abstract )
• S. Haddad, L. Mokdad and S. Youcef.  Response Time Analysis of Composite Web Services.  In CSNDSP'08, pages 506-510. IEEE Computer Society Press, 2008. ( PDF | BibTeX + Abstract )
• B. Bérard, S. Haddad, L. M. Hillah, F. Kordon and Y. Thierry-Mieg.  Collision Avoidance in Intelligent Transport Systems: Towards an Application of Control Theory.  In WODES'08, pages 346-351. 2008. ( PDF | BibTeX + Abstract )
• P. Bouyer, S. Haddad and P.-A. Reynier.  Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.  Information and Computation 206(1), pages 73-107, 2008. ( PDF | BibTeX + Abstract )
• S. Haddad and P. Moreaux.  Verification of Probabilistic Systems Methods and Tools.  In Modeling and Verification of Real-Time Systems, pages 289-318. ISTE Ltd. - John Wiley & Sons, Ltd., 2008. ( Web page | BibTeX )

2007

• S. Haddad and D. Poitrenaud.  Recursive Petri Nets - Theory and Application to Discrete Event Systems.  Acta Informatica 44(7-8), pages 463-508, 2007. ( PDF | BibTeX + Abstract )
• L. Recalde, S. Haddad and M. Silva.  Continuous Petri Nets: Expressive Power and Decidability Issues.  In ATVA'07, LNCS 4762, pages 362-377. Springer, 2007. ( PDF | BibTeX + Abstract )
• M. Beccuti, D. Codetta-Raiteri, G. Franceschinis and S. Haddad.  A Framework to Design and Solve Markov Decision Well-formed Net Models.  In QEST'07, pages 165-166. IEEE Computer Society Press, 2007. ( PDF | BibTeX )
• S. Donatelli, S. Haddad and J. Sproston.  CSL^TA: an Expressive Logic for Continuous-Time Markov Chains.  In QEST'07, pages 31-40. IEEE Computer Society Press, 2007. ( PDF | BibTeX + Abstract )
• M. Beccuti, G. Franceschinis and S. Haddad.  Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.  In ICATPN'07, LNCS 4546, pages 43-62. Springer, 2007. ( PDF | BibTeX + Abstract )
• M. Ben Hmida, C. Boutrous-Saab, S. Haddad, V. Monfort and R. F. Tomaz.  Towards the Dynamic Adaptability of SOA.  In ICEIS'07, pages 474-479. 2007. ( BibTeX )
• S. Haddad and P. Poizat.  Transactional Reduction of Component Compositions.  In FORTE'07, LNCS 4574, pages 341-357. Springer, 2007. ( PDF | BibTeX + Abstract )
• M. Ben Hmida and S. Haddad.  Vers l'adaptabilité dynamique des architectures orientées services.  In JFDLPA'07, pages 73-88. 2007. ( PDF | BibTeX + Abstract )
• S. Haddad and P. Moreaux.  Sub-stochastic matrix analysis for bounds computation - Theoretical results.  European Journal of Operational Research 167(2), 2007. ( PDF | BibTeX + Abstract )

2006

• M. Ben Hmida, C. Boutrous-Saab, S. Haddad, V. Monfort and R. F. Tomaz.  Dynamically Adapting Clients to Web Services Changing.  In WEWST'06, pages 91-96. 2006. ( PDF | BibTeX + Abstract )
• C. Boutrous-Saab, S. Haddad and V. Monfort.  Interopérabilité et services web.  In Méthodes formelles pour les systèmes réartis et coopératifs, chapter 12, pages 289-315. Hermès, 2006. ( Web page | BibTeX )
• Ch. Choppy, S. Haddad, H. Klaudel, F. Kordon, L. Petrucci and Y. Thierry-Mieg.  Tutorial on Formal Methods for Distributed and Cooperative Systems.  In ICTAC'06, LNCS 4281, pages 362-365. Springer, 2006. ( BibTeX )
• S. Haddad.  Panorama de la vérification.  In Méthodes formelles pour les systèmes réartis et coopératifs, chapter 6, pages 121-138. Hermès, 2006. ( Web page | BibTeX )
• S. Haddad, F. Kordon and L. Petrucci (eds.).  Méthodes formelles pour les systèmes répartis et coopératifs. Traité IC2 - série informatique et systèmes d'information. Hermès, 2006. ( Web page | BibTeX )
• P. Bouyer, S. Haddad and P.-A. Reynier.  Timed Unfoldings for Networks of Timed Automata.  In ATVA'06, LNCS 4218, pages 292-306. Springer, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
• S. Haddad, L. Recalde and M. Silva.  On the Computational Power of Timed Differentiable Petri Nets.  In FORMATS'06, LNCS 4202, pages 230-244. Springer, 2006. ( PDF | BibTeX + Abstract )
• P. Bouyer, S. Haddad and P.-A. Reynier.  Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.  In ICALP'06, LNCS 4052, pages 420-431. Springer, 2006. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
• P. Bouyer, S. Haddad and P.-A. Reynier.  Extended Timed Automata and Time Petri Nets.  In ACSD'06, pages 91-100. IEEE Computer Society Press, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
• S. Haddad, L. Mokdad and P. Moreaux.  A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.  In ICATPN'06, LNCS 4024, pages 221-240. Springer, 2006. ( PDF | BibTeX + Abstract )
• S. Haddad and P. Moreaux.  Vérification de systèmes probabilisés : méthodes et outils.  In Systèmes temps-réel 1 : techniques de description et de vérification, pages 261-292. Hermès, 2006. ( Web page | BibTeX )
• S. Haddad, P. Moreaux and S. Rampacek.  Client Synthesis for Web Services by Way of a Timed Semantics.  In ICEIS'06, pages 19-26. 2006. ( PDF | BibTeX + Abstract )
• M. Sene, P. Moreaux and S. Haddad.  Performance Evaluation Of Distributed Database - A Banking System Case Study.  In INCOM'06, pages 351-356. 2006. ( BibTeX + Abstract )
• S. Haddad and J.-F. Pradat-Peyre.  New Efficient Petri Nets Reductions for Parallel Programs Verification.  Parallel Processing Letters 16(1), pages 101-116, 2006. ( PDF | BibTeX + Abstract )

2005

• B. Bérard, F. Cassez, S. Haddad, D. Lime and O. H. Roux.  When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?  In FSTTCS'05, LNCS 3821, pages 273-284. Springer, 2005. ( PDF | BibTeX + Abstract )
• B. Bérard, F. Cassez, S. Haddad, D. Lime and O. H. Roux.  Comparison of the Expressiveness of Timed Automata and Time Petri Nets.  In FORMATS'05, LNCS 3829, pages 211-225. Springer, 2005. ( PDF | BibTeX + Abstract )
• B. Bérard, F. Cassez, S. Haddad, D. Lime and O. H. Roux.  Comparison of Different Semantics for Time Petri Nets.  In ATVA'05, LNCS 3707, pages 293-307. Springer, 2005. ( PDF | BibTeX + Abstract )
• S. Evangelista, S. Haddad and J.-F. Pradat-Peyre.  Syntactical Colored Petri Nets Reductions.  In ATVA'05, LNCS 3707, pages 202-216. Springer, 2005. ( PDF | BibTeX )
• K. Klai, S. Haddad and J.-M. Ilié.  Modular Verification of Petri Nets Properties: A Structure-Based Approach.  In FORTE'05, LNCS 3731, pages 189-203. Springer, 2005. ( PDF | BibTeX + Abstract )
• S. Baarir, C. Dutheillet, S. Haddad and J.-M. Ilié.  On the Use of Exact Lumpability in Partially Symmetrical Well-formed Nets.  In QEST'05, pages 23-32. IEEE Computer Society Press, 2005. ( PDF | BibTeX + Abstract )
• T. Melliti, S. Haddad, A. Suna and A. El Fallah Seghrouchni.  Web-MASI: Multi-Agent Systems Interoperability Using Web Services Based Approach.  In IAT'05, pages 739-742. IEEE Computer Society Press, 2005. ( BibTeX )
• S. Haddad, P. Moreaux, M. Sereno and M. Silva.  Product-form and Stochastic Petri Nets: A Structural Approach.  Performance Evaluation 59(4), pages 313-336, 2005. ( PDF | BibTeX + Abstract )

2004

• S. Evangelista, S. Haddad and J.-F. Pradat-Peyre.  De nouvelles réductions colorées pour la validation de logiciels.  Revue Électronique des Sciences et Technologies de l'Automatique 1, 2004. ( BibTeX + Abstract )
• S. Haddad, L. Mokdad and P. Moreaux.  Évaluation de performance des systèmes stochastiques à événements discrets non Markoviens - une nouvelle approche.  Revue Électronique des Sciences et Technologies de l'Automatique 1, 2004. ( BibTeX + Abstract )
• S. Haddad and J.-F. Pradat-Peyre.  Efficient Reductions for LTL Formulae Verification.  Research Report 634, Centre De Recherche en Informatique du CNAM, Paris, France, 2004. ( PDF | BibTeX + Abstract )
• A. El Fallah Seghrouchni, S. Haddad, T. Melliti and A. Suna.  Interopérabilité des systèmes multi-agents à l'aide des services web.  In JFSMA'04, pages 91-104. Hermès, 2004. ( PDF | BibTeX + Abstract )
• S. Haddad, J.-M. Ilié and K. Klai.  Design and Evaluation of a Symbolic and Abstraction-based Model Checker.  In ATVA'04, LNCS 3299, pages 196-210. Springer, 2004. ( PDF | BibTeX + Abstract )
• S. Haddad and P. Moreaux.  Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays.  In MASCOTS'04, pages 23-30. IEEE Computer Society Press, 2004. ( PS | PS.GZ | BibTeX + Abstract )
• S. Haddad and P. Moreaux.  Sub-stochastic Matric Analysis and Performance Bounds.  Research Report RAP-CReSTIC-1, Centre de Recherche en Sciences et Technologies de l'Information et de la Communication, Reims, France, October 2004. ( PDF | BibTeX + Abstract )
• S. Baarir, S. Haddad and J.-M. Ilié.  Exploiting Partial Symmetries in Well-formed Nets for the Reachability and the Linear Time Model Checking Problems.  In WODES'04, pages 223-228. 2004. ( PDF | BibTeX + Abstract )
• J. El Haddad and S. Haddad.  A Fault-contained Spanning Tree Protocol for Arbitrary Networks.  In PDCS'04, pages 410-415. International Society for Computers and their Applications, 2004. ( PS | PS.GZ | BibTeX + Abstract )
• S. Evangelista, S. Haddad and J.-F. Pradat-Peyre.  New Coloured Reductionsfor Software Validation.  In WODES'04, pages 355-360. 2004. ( PDF | BibTeX + Abstract )
• S. Haddad, L. Mokdad and P. Moreaux.  Performance Evaluation of non-Markovian Stochastic Discrete Event Systems - A New Approach.  In WODES'04. 2004. ( PDF | BibTeX + Abstract )
• J. El Haddad and S. Haddad.  A Fault-tolerant Communication Mechanism for Cooperative Robots.  International Journal of Production Research 42(14), pages 2793-2808, 2004. ( PDF | BibTeX + Abstract )
• S. Haddad, T. Melliti, P. Moreaux and S. Rampacek.  A Dense Time Semantics for Web Services Specification Languages.  In ICCTA'04, pages 647-648. 2004. ( BibTeX )
• S. Haddad, T. Melliti, P. Moreaux and S. Rampacek.  Modeling Web Services Interoperability.  In ICEIS'06, pages 287-295. 2004. ( BibTeX )

2003

• J.-M. Colom, E. Teruel, M. Silva and S. Haddad.  Structural Methods.  In Petri Nets for Systems Engineering: A Guide to Modeling, Verification and Applications, chapter 15, pages 277-316. Springer, 2003. ( Web page | BibTeX )
• S. Haddad.  Issues in Verification.  In Petri Nets for Systems Engineering: A Guide to Modeling, Verification and Applications, chapter 13, pages 183-200. Springer, 2003. ( Web page | BibTeX )
• J. El Haddad and S. Haddad.  Algorithmes de communication auto-stabilisants dans un système de robots mobiles.  In MSR'03, pages 277-292. Hermès, 2003. ( PDF | BibTeX + Abstract )
• T. Melliti and S. Haddad.  Synthesis of Agents for Web Services Interaction.  In SWSEE'03. 2003. ( PDF | BibTeX + Abstract )
• J. El Haddad and S. Haddad.  Self-stabilizing Scheduling Algorithm for Cooperating Robots.  In AICCSA'03, page 128. IEEE Computer Society Press, 2003. ( PDF | BibTeX + Abstract )
• S. Haddad and J.-M. Ilié.  Symétries et logiques temporelles.  In Vérification et mise en œuvre des réseaux de Petri, chapter 4, pages 163-187. Hermès, 2003. ( Web page | BibTeX )
• S. Haddad and F. Vernadat.  Vérification de propriétés spécifiques.  In Vérification et mise en œuvre des réseaux de Petri, chapter 1, pages 31-97. Hermès, 2003. ( Web page | BibTeX )

2002

• K. Klai, S. Haddad and J.-M. Ilié.  An Incremental Verification Technique using Decomposition of Petri Nets.  In SMC'02, pages 381-386. IEEE Computer Society Press, 2002. ( PDF | BibTeX + Abstract )
• H. Mazouzi, A. El Fallah Seghrouchni and S. Haddad.  Open Protocol Design for Complex Interaction in Multi-Agent Systems.  In AAMAS'02, pages 15-19. ACM Press, 2002. ( PS | PS.GZ | BibTeX )

2001

• S. Haddad, P. Moreaux, M. Sereno and M. Silva.  Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.  In ICATPN'01, LNCS 2075, pages 164-183. Springer, 2001. ( PDF | BibTeX + Abstract )
• S. Haddad and D. Poitrenaud.  Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.  In TIME'01, pages 198-205. IEEE Computer Society Press, 2001. ( PDF | BibTeX + Abstract )
• S. Haddad.  Décidabilité et complexité des problèmes de réseaux de Petri.  In Les réseaux de Petri - Modèles fondamentaux, chapter 4, pages 119-158. Hermès, 2001. ( Web page | BibTeX )
• S. Haddad and P. Moreaux.  Les réseaux de Petri stochastiques.  In Les réseaux de Petri - Modèles fondamentaux, chapter 9, pages 299-334. Hermès, 2001. ( Web page | BibTeX )
• S. Haddad and P. Moreaux.  Les réseaux de Petri stochastiques bien formés.  In Les réseaux de Petri - Modèles fondamentaux, chapter 10, pages 335-353. Hermès, 2001. ( Web page | BibTeX )
• S. Haddad and P. Moreaux.  Méthodes tensorielles et réseaux de Petri stochastiques.  In Les réseaux de Petri - Modèles fondamentaux, chapter 11, pages 335-353. Hermès, 2001. ( Web page | BibTeX )
• S. Haddad and F. Vernadat.  Méthodes d'analyse des réseaux de Petri.  In Les réseaux de Petri - Modèles fondamentaux, chapter 3, pages 69-117. Hermès, 2001. ( Web page | BibTeX )
• A. El Fallah Seghrouchni, S. Haddad and H. Mazouzi.  A Formal Study of Interactions in Multi-Agent Systems.  International Journal of Computers & their Applications 8(1), pages 23-32, 2001. ( PDF | BibTeX + Abstract )

2000

• S. Haddad, J.-M. Ilié and K. Ajami.  A Model Checking Method for Partially Symmetric Systems.  In FORTE'XIII/PSTV'XX, IFIP Conference Proceedings 183, pages 121-136. Kluwer Academic Publishers, 2000. ( PS | PS.GZ | BibTeX )
• S. Haddad and D. Poitrenaud.  Modelling and Analyzing Systems with Recursive Petri Nets.  In WODES'00, pages 449-458. Kluwer Academic Publishers, 2000. ( PS | PS.GZ | BibTeX )

1999

• S. Donatelli, S. Haddad, P. Moreaux and M. Sene.  Bounds for Renewal of Systems with Client/Server Interaction.  In NSMC'99, pages 208-227. 1999. ( BibTeX )
• F. Nguilla Kooh and S. Haddad.  Reaching Agrrement in Hierarchical Groups.  In PDCS'99. International Society for Computers and their Applications, 1999. ( BibTeX )
• A. El Fallah Seghrouchni, S. Haddad and H. Mazouzi.  Protocol Engineering for Multi-agent Interaction.  In MAAMAW'99, LNAI 1647, pages 89-101. Springer, 1999. ( PS | PS.GZ | BibTeX )
• S. Haddad and D. Poitrenaud.  Theoretical Aspects of Recursive Petri Nets.  In ICATPN'99, LNCS 1639, pages 228-247. Springer, 1999. ( PS | PS.GZ | BibTeX )
• A. El Fallah Seghrouchni, S. Haddad and H. Mazouzi.  A Formal Study of Interactions in Multi-Agent Systems.  In CATA'99, pages 240-245. International Society for Computers and Their Applications, 1999. ( BibTeX )
• S. Haddad and F. Nguilla Kooh.  Combining different failure detectors for solving a large-scale consensus problem.  In CATA'99, pages 204-209. International Society for Computers and Their Applications, 1999. ( BibTeX )

1998

• S. Donatelli, S. Haddad and P. Moreaux.  Structured Characterization of the Markov Chain of Phase-Type SPN.  In TOOLS'98, LNCS 1469, pages 243-254. Springer, 1998. ( BibTeX )
• K. Ajami, S. Haddad and J.-M. Ilié.  Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.  In TACAS'98, LNCS 1384, pages 52-67. Springer, 1998. ( BibTeX )

1997

• S. Haddad, P. Moreaux and G. Chiola.  Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets.  In ICATPN'97, LNCS 1248, pages 175-194. Springer, 1997. ( BibTeX )
• G. Chiola, C. Dutheillet, G. Franceschinis and S. Haddad.  A Symbolic Reachability Graph for Coloured Petri Nets.  Theoretical Computer Science 176(1-2), pages 39-65, 1997. ( PS | BibTeX )

1996

• A. El Fallah Seghrouchni and S. Haddad.  A Recursive Model for Distributed Planning.  In ICMAS'96, pages 307-314. AAAI Press, 1996. ( BibTeX )
• S. Haddad and P. Moreaux.  Asynchronous Composition of High Level Petri Nets: A Quantitative Approach.  In APN'96, LNCS 1091, pages 192-211. Springer, 1996. ( BibTeX )
• A. El Fallah Seghrouchni and S. Haddad.  A Coordination Algorithm for Multi-Agent Planning.  In MAAMAW'96, LNAI 1038, pages 86-99. Springer, 1996. ( BibTeX )

1995

• S. Haddad and P. Moreaux.  Evaluation of High-Level Petri Nets by Means of Aggregation and Decomposition.  In PNPM'95, pages 11-20. IEEE Computer Society Press, 1995. ( BibTeX )
• S. Haddad, J.-M. Ilié, M. Taghelit and B. Zouari.  Symbolic Reachability Graph and Partial Symmetries.  In APN'95, LNCS 935, pages 238-251. Springer, 1995. ( BibTeX )

1993

• J.-M. Couvreur, S. Haddad and J.-F. Peyre.  Generative Families of Positive Invariants in Coloured Nets Sub-Classes.  In APN'91, LNCS 674, pages 51-70. Springer-Verlag, 1993. ( BibTeX )
• G. Chiola, C. Dutheillet, G. Franceschinis and S. Haddad.  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.  IEEE Transactions on Computers 42(11), pages 1343-1360, 1993. ( PS | PS.GZ | BibTeX )
• C. Dutheillet and S. Haddad.  Conflict Sets in Coloured Petri Nets.  In PNPM'93, pages 76-87. IEEE Computer Society Press, 1993. ( BibTeX )
• J. Ezpeleta and S. Haddad.  A Distributed Algorithm for Resource Management.  In DDS'93, IFIP Transactions A-39, pages 61-72. North-Holland, 1993. ( BibTeX )
• B. Zouari, S. Haddad and M. Taghelit.  A Protocol Specification Language with a High-Level Petri Net Semantics.  In DDS'93, IFIP Transactions A-39, pages 225-241. North-Holland, 1993. ( BibTeX )
• K. Barkaoui, C. Dutheillet and S. Haddad.  An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.  In APN'92, LNCS 691, pages 69-88. Springer-Verlag, 1993. ( BibTeX )
• S. Haddad, M. Taghelit and B. Zouari.  Assessment of ESTELLE and EDT Through Real Case Studies.  In PSTV'93, IFIP Transactions C-16, pages 223-238. North-Holland, 1993. ( BibTeX )

1992

• C. Dutheillet and S. Haddad.  An Efficient Computation of Structural Relations in Unary Regular Nets.  In ISCIS'92, pages 73-79, 1992. ( BibTeX )

1991

• G. Chiola, C. Dutheillet, G. Franceschinis and S. Haddad.  Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications.  In High-Level Petri Nets - Theory and Application, pages 504-530. Springer, 1991. ( BibTeX )
• G. Chiola, C. Dutheillet, G. Franceschinis and S. Haddad.  On Well-Formed Coloured Nets and their Symbolic Reachability Graph.  In High-Level Petri Nets - Theory and Application, pages 373-396. Springer, 1991. ( BibTeX )
• C. Dutheillet and S. Haddad.  Regular Stochastic Petri Nets.  In APN'89, LNCS 483, pages 186-209. Springer-Verlag, 1991. ( BibTeX )
• M. Taghelit, S. Haddad and P. Sens.  An Algorithm Providing Fault-Tolerance for Layered Distributed Systems.  In PDCES'91. North-Holland, 1991. ( BibTeX )

1990

• S. Haddad.  A Reduction Theory for Coloured Petri Nets.  In APN'88, LNCS 424, pages 209-235. Springer-Verlag, 1990. ( BibTeX )

1989

• C. Dutheillet and S. Haddad.  Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture.  In PNPM'89, pages 40-49. IEEE Computer Society Press, 1989. ( BibTeX )

1988

• J.-M. Bernard, J.-L. Mounier, N. Beldiceanu and S. Haddad.  AMI: An Extensible Petri Nets Interactive Workshop.  In APN'88. 1988. ( BibTeX )
• J.-M. Couvreur and S. Haddad.  Towards a General and Powerful Computation of Flows for Parameterized Coloured Nets.  In APN'88. 1988. ( BibTeX )
• S. Haddad and J.-M. Couvreur.  Validation of Parallel Systems with Coloured Petri Nets.  In PP'88, pages 377-390. North-Holland, 1988. ( BibTeX )

1987

• C. Girault, C. Chatelain and S. Haddad.  Specification and Properties of a Cache Coherence Protocol Model.  In APN'86, LNCS 266, pages 1-20. Springer-Verlag, 1987. ( BibTeX )
• S. Haddad and C. Girault.  Algebraic Structure of Flows of a Regular Coloured Net.  In APN'86, LNCS 266, pages 73-88. Springer-Verlag, 1987. ( BibTeX )

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique