Selected Publications

2024,2023,2022,2021,2020,2019,2018,2017,2016,2015,2014,2013,2012,2011,2010,2009,2008,2007

2006,2005,2004,2003,2002,2001,2000,1999,1998,1997,1996,1995,1993,1992,1991,1990,1989, 1988

1987

2024

  • S. Haar, S. Haddad. On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Petri Nets 2024
  • L. Ye, I. Khmelnitsky, S. Haddad, B. Barbot, B. Bollig, M. Leucker, D. Neider, R. Roy. Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. LMCS 2024 Volume 20 Issue 1 (ARXIV)

2023

  • A. Finkel, S. Haddad, L. Ye. Introducing Divergence for Infinite Probabilistic Models. Reachability Problems 2023. (ARXIV)
  • I. Khmelnitsky, D. Neider, R. Roy, X. Xie, B. Barbot, B. Bollig, A. Finkel, S. Haddad, M. Leucker, L. Ye. Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25(3): 341-354
  • A. Finkel, S. Haddad, L. Ye. About Decisiveness of Dynamic Probabilistic Models. CONCUR 2023: 14:1-14:17. (ARXIV)

2022

  • I. Khmelnitsky, S. Haddad, L. Ye, D. Neider, R. Roy, B. Barbot, B. Bollig, M. Leucker. Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GANDALF 2022: 81-96. (ARXIV)
  • B. Bérard, S. Haddad. Revisiting reachability in Polynomial Interrupt Timed Automata. Inf. Process. Lett. 174: 106208 (2022). (Web page)

2021

  • A. Finkel, S. Haddad, I. Khmelnitsky. Commodification of accelerations for the Karp and Miller Construction. Discret. Event Dyn. Syst. 31(2): 251-270. (HAL)
  • A. Finkel, S. Haddad, I. Khmelnitsky. Coverability, Termination, and Finiteness in Recursive Petri Nets. Fundam. Informaticae 183(1-2): 33-66 (2021) (ARXIV)
  • B. Bérard, S. Haddad, C. Picaronny, M. Safey El Din, M. Sassolas. Polynomial interrupt timed automata: Verification and expressiveness. Inf. Comput. 277: 104580 (2021) (HAL)
  • S. Haddad, D. Lime, O.H. Roux. A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets 2021: 76-92 (HAL)
  • I. Khmelnitsky, D. Neider, R. Roy, X. Xie, B. Barbot, B. Bollig, A. Finkel, S. Haddad, M. Leucker, L. Ye. Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA 2021: 364-380 (ARXIV)

2020

  • S. Haar, S. Haddad, S. Schwoon, L. Ye. Active Prediction for Discrete Event Systems. In Proceedings of the 40th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'20), volume 182 of Leibniz International Proceedings in Informatics, pages 48:1-48:16 (Web page)
  • S. Donatelli, S. Haddad. Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. In Proceedings of the 18th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'20), Lecture Notes in Computer Science, pages 215-230 (Web page)
  • S. Haddad, I. Khmelnitsky. Dynamic Recursive Petri Nets. In Proceedings of the 41st International Conference on Applications and Theory of Petri Nets (PETRI NETS'20), volume 12152 of Lecture Notes in Computer Science, pages 345-366 (HAL)
  • A. Finkel, S. Haddad, I. Khmelnitsky. Minimal coverability tree construction made complete and efficient. In Proceedings of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'20), Lecture Notes in Computer Science, pages 237-256 (Web page)
  • S. Donatelli, S. Haddad. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. In Proceedings of the 14th International Conference on Language and Automata Theory and Applications (LATA'20), volume 12038 of Lecture Notes in Computer Science, pages 170-183 (Web page)
  • A. Finkel, S. Haddad, I. Khmelnitsky. Commodification of accelerations for the Karp and Miller Construction. Discrete Event Dynamic Systems: Theory and Applications, 31:251–270. (Web page)
  • N. Bertrand, S. Haddad, E.Lefaucheux. Diagnosis and Degradation Control for Probabilistic Systems. Discrete Event Dynamic Systems: Theory and Applications, 30:695–723 (Web page)

2019

  • N. Bertrand, S. Haddad, E. Lefaucheux. A Tale of Two Diagnoses in Probabilistic Systems. Information and Computation, 269. (Web page)
  • A. Finkel, S. Haddad, I. Khmelnitsky. Réification des accélérations pour la construction de Karp et Miller. In Actes du 12ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'19) (HAL)
  • A. Finkel, S. Haddad, I. Khmelnitsky. Coverability and Termination in Recursive Petri Nets. In Proceedings of the 40th International Conference on Applications and Theory of Petri Nets (PETRI NETS'19), volume 11522 of Lecture Notes in Computer Science, pages 429-448 (HAL)

2018

  • S.Haddad, B. Monmege. Interval Iteration Algorithm for MDPs and IMDPs. Theoretical Computer Science, 735:111-131 (Web page)
  • B. Barbot, B. Bérard, Y. Duplouy, S. Haddad. Integrating Simulink Models into the Model Checker Cosmos. In Proceedings of the 39th International Conference on Applications and Theory of Petri Nets (PETRI NETS'18), volume 10877 of Lecture Notes in Computer Science, pages 363-373 (HAL)
  • S. Haddad. Memoryless Determinacy of Finite Parity Games: Another Simple Proof. Information Processing Letters, 132:19-21 (HAL)
  • B. Barbot, M. Beccuti, G. Franceschinis, S. Haddad, C. Picaronny. Bounds Computation for Symmetric Nets. Research Report hal-01726011, HAL-Inria, March 2018.(HAL)

2017

  • B. Bérard, S. Haddad, E. Lefaucheux. Probabilistic Disclosure: Maximisation vs. Minimisation. In Proceedings of the 37th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'17), volume 93 of Leibniz International Proceedings in Informatics, pages 13:1-13:14 (PDF)
  • K. Chatzikokolakis, S. Haddad, A. Kassem, C. Palamidessi. Trading Optimality for Performance in Location Privacy. In Proceedings of the 11th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'17), pages 221-222, (ARXIV)
  • N. Bertrand, S. Haddad, E. Lefaucheux. Diagnostic et contrôle de la dégradation des systèmes probabilistes. In Actes du 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'17) (HAL)
  • P. Bouyer, S. Haddad, V. Jugé. Unbounded Product-form Petri Nets. In Proceedings of the 28th International Conference on Concurrency Theory (CONCUR'17), volume 85 of Leibniz International Proceedings in Informatics, pages 31:1-31:16 (PDF)
  • B. Barbot, B. Bérard, Y. Duplouy, S. Haddad. Statistical Model-Checking for Autonomous Vehicle Safety Validation. In SIA Simulation Numérique March 2017 (HAL)
  • S. Haar, S. Haddad, T. Melliti, S. Schwoon. Optimal constructions for active diagnosis. Journal of Computer and System Sciences, 83(1):101-120 (Web page)
  • M. Blondin, A. Finkel, C. Haase, S. Haddad. The Logical View on Continuous Petri Nets. ACM Transactions on Computational Logic, 18(3):24:1-24:28 (Web page)

2016

  • N. Bertrand, S. Haddad, E. Lefaucheux. Diagnosis in Infinite-State Probabilistic Systems. In Proceedings of the 27th International Conference on Concurrency Theory (CONCUR'16), volume 59 of Leibniz International Proceedings in Informatics, pages 37:1-37:15 (HAL)
  • M. Blondin, A. Finkel, C. Haase, S. Haddad. Approaching the Coverability Problem Continuously. In Proceedings of the 22th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'16), volume 9636 of Lecture Notes in Computer Science, pages 480-496 (ARXIV)
  • B. Bérard, S. Haddad, A. Jovanovic, D. Lime. Interrupt Timed Automata with Auxiliary Clocks and Parameters. Fundamenta Informaticae, 143(3-4):235-259 (Web page)
  • N. Bertrand, S. Haddad, E. Lefaucheux. Accurate Approximate Diagnosability of Stochastic Systems. In Proceedings of the 10th International Conference on Language and Automata Theory and Applications (LATA'16), volume 9618 of Lecture Notes in Computer Science, pages 549-561 (Web page)

2015

  • S. Boehm, S. Haar, S. Haddad, P. Hofman, S.Schwoon. Active Diagnosis with Observable Quiescence. In Proceedings of the 54th IEEE Conference on Decision and Control (CDC'15), pages 1663-1668 (Web page)
  • A. Methni, M. Lemerre, B. Ben Hedia, S. Haddad, K. Barkaoui. State Space Reduction Strategie for Model Checking Concurrent C Programs. In Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems(VECoS'15), volume 1431 of CEUR Workshop Proceedings, pages 65-76 (HAL)
  • B. Bérard, S. Haddad, C. Picaronny, M. Safey El Din, M. Sassolas. Polynomial Interrupt Timed Automata. In Proceedings of the 9th Workshop on Reachability Problems in Computational Models (RP'15), volume 9328 of Lecture Notes in Computer Science, pages 20-32 (Web page)
  • P. Ballarini, B. Barbot, M. Duflot, S. Haddad, N. Pekergin. HASL: A New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation. Performance Evaluation, 90:53--77 (Web page)
  • B. Barbot, S. Haddad, M. Heiner, C. Picaronny. Rare Event Handling in Signalling Cascades. International Journal on Advances in Systems and Measurements, 8(1-2):69-79 (HAL)
  • A. Methni, M. Lemerre, B. Ben Hedia, S. Haddad, K. Barkaoui. Specifying and Verifying Concurrent C Programs with TLA+. In Proceedings of the 3rd International Workshop on Formal Techniques for Safety-Critical Systems, Nov. 2014 (FTSCS'14), volume 476 of Communications in Computer and Information Science, pages 206-222 (Web page)
  • E. Fraca, S. Haddad. Complexity Analysis of Continuous Petri Nets. Fundamenta Informaticae, 137(1):1-28 (Web page)
  • N. Bertrand, S. Haddad. Contrôle, probabilités et observation partielle. In Informatique Mathématique. Une photographie en 2015, chapitre 5, pages 177-227. CNRS Éditions (Web page)

2014

  • M. Beccuti, G. Franceschinis, D. Codetta-Raiteri, S. Haddad. Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. The Computer Journal, 57(12):1870-1892. (Web page)
  • N. Bertrand, S. Haddad, E. Lefaucheux. Foundation of Diagnosis and Predictability in Probabilistic Systems. In Proceedings of the 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), volume 29 of Leibniz International Proceedings in Informatics, pages 417-429 (Web page)
  • B. Barbot, S. Haddad, M. Heiner, C. Picaronny. Rare Event Handling in Signalling Cascades. In Proceedings of the 6th International Conference on Advances in System Simulation (SIMUL'14), pages 126-131.
  • S. Haddad, B. Monmege. Reachability in MDPs: Refining Convergence of Value Iteration. In Proceedings of the 8th Workshop on Reachability Problems in Computational Models (RP'14), volume 8762 of Lecture Notes in Computer Science, pages 125-137 (Web page)
  • N. Bertrand, E. Fabre, S. Haar, S. Haddad, L. Hélouët. Active diagnosis for probabilistic systems. In Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), volume 8412 of Lecture Notes in Computer Science, pages 29-42(Web page)

2013

  • S. Haddad, R. Hennicker, M.H. Moller. Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. In Revised Selected Papers of the 8th Symposium onTrustworthy Global Computing (TGC'13), volume 8358 of Lecture Notes in Computer Science, pages 219-234 (Web page)
  • S. Haar, S. Haddad, T. Melliti, S. Schwoon. Optimal Constructions for Active Diagnosis. In Proceedings of the 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), volume 24 of Leibniz International Proceedings in Informatics, pages 527-539 (Web page)
  • B. Bérard, S. Haddad, A. Jovanovic, D. Lime. Parametric Interrupt Timed Automata. In Proceedings of the 7th Workshop on Reachability Problems in Computational Models (RP'13), volume 8169 of Lecture Notes in Computer Science, pages 59-69 (Web page)
  • S. Akshay, N. Bertrand, S. Haddad, L. Hélouët. The Steady-State Control Problem for Markov Decision Processes. In Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST'13), pages 290-304 (Web page)
  • S. Haddad, L. Mokdad, S.Youcef. Bounding models families for performance evaluation in composite Web services. Journal of Computational Science, 4(4):232-241 (Web page)
  • E. Fraca, S. Haddad. Complexity Analysis of Continuous Petri Nets. In Proceedings of the 34th International Conference on Applications and Theory of Petri Nets (PETRI NETS'13), volume 7927 of Lecture Notes in Computer Science, pages 170-189 (Web page)
  • S. Haddad, R. Hennicker, M.H. Moller. Channel Properties of Asynchronously Composed Petri Nets. In Proceedings of the 34th International Conference on Applications and Theory of Petri Nets (PETRI NETS'13), volume 7927 of Lecture Notes in Computer Science, pages 369-388 (Web page)
  • R. Bonnet, A. Finkel, S. Haddad, F. Rosa-Velardo. Ordinal Theory for Expressiveness of Well-Structured Transition Systems. Information and Computation, 224:1-22 (Web page)
  • B. Bérard, F. Cassez, S. Haddad, D. Lime, and O.H.Roux. The Expressive Power of Time Petri Nets. Theoretical Computer Science, 474:1-20 (Web page)
  • S. Haddad, J. Mairesse, H.-T. Nguyen. Synthesis and Analysis of Product-form Petri Nets. Fundamenta Informaticae, 122(1-2):147-172 (Web page)

2012

  • B. Barbot, S. Haddad, C. Picaronny. '''Importance Sampling for Model Checking of Continuous Time Markov Chains'''. In Proceedings of the 4th International Conference on Advances in System Simulation (SIMUL'12), pages 30-35.
  • B. Bérard, S. Haddad, M. Sassolas, N. Sznajder. Concurrent Games on VASS with Inhibition. In Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), volume 7454 of Lecture Notes in Computer Science, pages 39-52 (Web page)
  • S. Haddad, S. Schmitz, Ph. Schnoebelen. The Ordinal-Recursive Complexity of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS'12), pages 355-364 (HAL)
  • B. Barbot, S. Haddad, C. Picaronny. '''Coupling and Importance Sampling for Statistical Model Checking'''. In Proceedings of the 18th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'12), volume 7214 of Lecture Notes in Computer Science, pages 331-346 (Web page)
  • B. Bérard, S. Haddad, M. Sassolas. Interrupt Timed Automata: Verification and Expressiveness. Formal Methods in System Design, 40(1):41-87 (Web page)
  • D. El Hog-Benzina, S. Haddad, R. Hennicker. Refinement and Asynchronous Composition of Modal Petri Nets. In Transactions on Petri Nets and Other Models of Concurrency V, volume 6900 of Lecture Notes in Computer Science, pages 96-120 (Web page)

2011

  • B. Barbot, S. Haddad, C. Picaronny. Échantillonnage préférentiel pour le model checking statistique. In Actes du 8ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'11), volume 45 of Journal Européen des Systèmes Automatisés, pages 237-252 (Web page)
  • P. Ballarini, H. Djafri, M. Duflot, S. Haddad, N.Pekergin. COSMOS: a Statistical Model Checker for the Hybrid Automata Stochastic Logic. In Proceedings of the 8th International Conference on Quantitative Evaluation of Systems (QEST'11), pages 143-144 (https://doi.org/10.1109/QEST.2011.24 |Web page]])
  • M. Beccuti, G. Franceschinis, S. Haddad. MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets. International Journal of Performability Engineering, 7(5):417-428 (Web page)
  • P. Ballarini, H. Djafri, M. Duflot, S.Haddad, N. Pekergin. Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems. In Proceedings of the 7th IEEE Conference on AutomationScience and Engineering (CASE'11), pages 588-593 (Web page)
  • S. Haddad, J. Mairesse, H.-T. Nguyen. Synthesis and Analysis of Product-form Petri Nets. In Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets (PETRI NETS'11), volume 6709 of Lecture Notes in Computer Science, pages 288-307 (Web page)
  • P. Ballarini, H. Djafri, M. Duflot, S. Haddad, N. Pekergin. HASL: An Expressive Language for Statistical Verification of Stochastic Models. In Proceedings of the 5th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'11), pages 306-315 (HAL)
  • R. Bonnet, A. Finkel, S. Haddad, F. Rosa-Velardo. Ordinal Theory for Expressiveness of Well Structured Transition Systems. In Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'11), volume 6604 of Lecture Notes in Computer Science, pages 153-167 (Web page)
  • S. Baarir, M. Beccuti, C. Dutheillet, G.Franceschinis, S. Haddad. Lumping partially symmetrical stochastic models. Performance Evaluation, 76:21-44 (Web page)
  • S. Haddad. Introduction to Verification. In Models and Analysis in Distributed Systems, chapter 6, pages 137-154. John Wiley & Sons, Ltd. (Web page)

2010

  • S. Haddad, L. Mokdad, S. Youcef. Selection of the Best composite Web Service Based on Quality of Service. In Proceedings of the 2nd International Symposium on Services Science and 3rd International Conference on Business Process and Services Computing, volume 177 of Lecture Notes in Informatics, pages 255-266 (HAL)
  • B. Bérard, S. Haddad, M. Sassolas. Real Time Properties for Interrupt Timed Automata. In Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME'10), pages 69-76 (Web page)
  • D. El Hog-Benzina, S. Haddad, R. Hennicker. Process Refinement and Asynchronous Composition with Modalities. In Proceedings of the 2nd International Workshop onAbstractions for Petri Nets and Other Models of Concurrency (APNOC'10) (HAL)
  • S. Haddad, L. Mokdad, S. Youcef. Response time of BPEL4WS constructors. In Proceedings of the 15th IEEE Symposium on Computers and Communications (ISCC'10), pages 695-700 (Web page)
  • M. Ben Hmida, S. Haddad. Client Synthesis for Aspect Oriented Web Services. In Revised Selected Papers of the 15th Monterey Workshop on Foundations of Computer Software (MONTEREY'08), volume 6028 of Lecture Notes in Computer Science, pages 24-42 (Web page)
  • L. Recalde, S. Haddad, M. Silva. Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science, 21(2):235-256 (Web page)

2009

  • M. Zargayouna, F. Balbo, and S. Haddad. Agents Secure Interaction in Data Driven Languages. In Revised Selected Papers of the 2nd Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS'09), volume 6039 of Lecture Notes in Computer Science, pages 72-91, (Web page)
  • S. Haddad, L. Mokdad, S.Youcef. Bornes du temps de réponse des services Web composites. In Actes du 7ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'09), volume 43 du Journal Européen des Systèmes Automatisés, pages 969-983.
  • S. Donatelli, S. Haddad. Quantitative Verification of Markov Chains. In Communicating Embedded Systems - Software and Design, chapter 5, pages 139-163. Wiley-ISTE (Web page)
  • C. Boutrous-Saab, D. Coulibaly, S. Haddad, T. Melliti, P. Moreaux, S. Rampacek. An Integrated Framework for Web Services Orchestration. International Journal of Web Services Research, 6(4):1-29 (Web page)
  • S. Haddad, N. Pekergin. Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains. In Proceedings of the 6th International Conference on Quantitative Evaluation of Systems (QEST'09), pages 177-186 (Web page)
  • S. Haddad, F. Kordon, L. Petrucci, J.-F. Pradat-Peyre, N.Trèves. Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains. In Proceedings of the 28th American Control Conference (ACC'09), pages 5018-5025 (Web page)
  • M.Beccuti, G. Franceschinis, D. Codetta-Raiteri, S. Haddad. Parametric NdRFT for the Derivation of Optimal Repair Strategies. In Proceedings of the 39th Annual IEEE-IFIP International Conference on Dependable Systems and Networks (DSN'09), pages 399-408 (Web page)
  • A.El Fallah Seghrouchni, S. Haddad. Interopérabilité des systèmes multi-agents à l'aide des services web. In Technologies des systèmes multi-agents et applications industrielles, chapitre 3, pages 77-99. Hermès, ISBN: 978-2-7462-1785-0.
  • S. Donatelli, S. Haddad, J. Sproston. '''Model Checking Timed and Stochastic Properties with CSL-TA'''. IEEE Transactions on Software Engineering, 35(2):224-240 (Web page)
  • B. Bérard, S. Haddad. Interrupt Timed Automata. In Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), volume 5504 of Lecture Notes in Computer Science, pages 197-211 (Web page)
  • S. Haddad, J.-M. Ilié. Symmetry and Temporal Logic. In Petri Nets: Fundamental Models, Verification and Applications, pages 435-460. Wiley-ISTE (Web page)
  • S. Haddad, F. Vernadat. Verification of Specific Properties. In Petri Nets: Fundamental Models, Verification and Applications, pages 349-414. Wiley-ISTE (Web page)
  • S. Haddad, P. Moreaux. Tensor Methods and Stochastic Petri Nets. In Petri Nets: Fundamental Models, Verification and Applications, pages 321-346. Wiley-ISTE (Web page)
  • S. Haddad, P. Moreaux. Stochastic Well-formed Petri Nets. In Petri Nets: Fundamental Models, Verification and Applications, pages 303-320. Wiley-ISTE (Web page)
  • S. Haddad, P. Moreaux. Stochastic Petri Nets. In Petri Nets: Fundamental Models, Verification and Applications, pages 269--302. Wiley-ISTE (Web page)
  • S. Haddad. Decidability and Complexity of Petri Net Problems. In Petri Nets: Fundamental Models, Verification and Applications, pages 87-122. Wiley-ISTE (Web page)
  • S. Haddad, F. Vernadat. Analysis Methods for Petri Nets. In Petri Nets: Fundamental Models, Verification and Applications, pages 41-86. Wiley-ISTE (Web page)
  • P. Bouyer, S. Haddad, P.-A. Reynier. '''Undecidability Results for Timed Automata with Silent Transitions'''. Fundamenta Informaticae, 92(1-2): 1-25 ([[https://content.iospress.com/articles/fundamenta-informaticae/fi92-1-2-01|Web page]))

2008

  • S. Donatelli, S. Haddad. Vérification quantitative de chaînes de Markov. In Approches formelles des systèmes embarqués communicants, chapitre 6, pages 177-198. Hermès (Web page)
  • M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, S. Haddad. Non Deterministic Repairable Fault Trees for Computing Optimal Repair Strategy. In Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'08) (Web page)
  • B. Bérard, F. Cassez, S. Haddad, D. Lime, O.H.Roux. When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?. Theoretical Computer Science, 403(2-3):202-220, (Web page)
  • S. Haddad, L. Mokdad, S. Youcef. Response Time Analysis of Composite Web Services. In Proceedings of the 6th Symposium on Communication Systems, Networks and Digital Signal Processing (CSNDSP'08), pages 506-510 (Web page)
  • B. Bérard, S. Haddad, L.M. Hillah, F.Kordon,Y. Thierry-Mieg. Collision Avoidance in Intelligent Transport Systems: Towards an Application of Control Theory. In Proceedings of the 9th Workshop on Discrete Event Systems (WODES'08), pages 346-351 (Web page)
  • P. Bouyer, S. Haddad, P.-A. Reynier. Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. Information and Computation, 206(1):73-107 (Web page)
  • S. Haddad, 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 (Web page)

2007

  • S. Haddad, and D. Poitrenaud. Recursive Petri Nets. Theory and Application to Discrete Event Systems. Acta Informatica, 44(7-8):463-508. (Web page)
  • L. Recalde, S. Haddad, M. Silva. Continuous Petri Nets: Expressive Power and Decidability Issues. In Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), volume 4762 of Lecture Notes in Computer Science, pages 362-377 (Web page)
  • S. Donatelli, S. Haddad, J. Sproston. CSL-TA: an Expressive Logic for Continuous-Time Markov Chains. In Proceedings of the 4th International Conference on Quantitative Evaluation of Systems (QEST'07), pages 31-40 (Web page)
  • M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, S. Haddad. A Framework to Design and Solve Markov Decision Well-formed Net Models. In Proceedings of the 4th International Conference on Quantitative Evaluation of Systems (QEST'07), pages 165-166 (Web page)
  • S. Haddad, P. Poizat. Transactional Reduction of Component Compositions. In Proceedings of 27th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'07), volume 4574 of Lecture Notes in Computer Science, pages 341-357 (Web page)
  • M. Beccuti, G. Franceschinis, S. Haddad. Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. In Proceedings of the 28th International Conference on Applications and Theory of Petri Nets (ICATPN'07), volume 4546 of Lecture Notes in Computer Science, pages 43-62 (Web page)
  • M. Ben Hmida, C. Boutrous-Saab, S. Haddad, V. Monfort, R.F. Tomaz. Towards the Dynamic Adaptability of SOA. In Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS'07), volume EIS, pages 474-479 (PDF)
  • M. Ben Hmida, S. Haddad. Vers une adaptabilité dynamique des architectures orientées services. In Actes des 3èmes Journées Francophones sur le Développement de Logiciels Par Aspects (JFDLPA'07), pages 73-88 (PDF)
  • S. Haddad, P. Moreaux. Sub-stochastic matrix analysis for bounds computation.Theoretical results. European Journal of Operational Research, 167(2) (Web page)

2006

  • M. Ben Hmida, C. Boutrous-Saab, S. Haddad, V. Monfort, R. F. Tomaz. Dynamically Adapting Clients to Web Services Changing. In Proceedings of the Workshop on Emerging Web ServicesTechnology (WEWST'06), pages 153-165 (Web page)
  • Ch. Choppy, S. Haddad, H. Klaudel, F. Kordon, L. Petrucci, Y. Thierry-Mieg. Tutorial on Formal Methods for Distributed and Cooperative Systems. In Proceedings of the 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC'06), volume 4281 of Lecture Notes in Computer Science, pages 362-365 (Web page)
  • S. Haddad. Panorama de la vérification. In Méthodes formelles pour les systèmes répartis et coopératifs, chapter 6, pages 121-138. Hermès (HAL)
  • C. Boutrous-Saab, S. Haddad, V. Monfort. Interopérabilité et services web. In Méthodes formelles pour les systèmes répartis et coopératifs, chapter 12, pages 289--315. Hermès (HAL)
  • P. Bouyer, S. Haddad, P.-A. Reynier. Timed Unfoldings for Networks of Timed Automata. In Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), volume 4218 of Lecture Notes in Computer Science, pages 292-306 (Web page)
  • S. Haddad, L. Recalde, M. Silva. On the Computational Power of Timed Differentiable Petri Nets. In Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), volume 4202 of Lecture Notes in Computer Science, pages 230-244 (Web page)
  • P. Bouyer, S. Haddad, P.-A. Reynier. Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. In Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP'06) Part II, volume 4052 of Lecture Notes in Computer Science, pages 420-431 (Web page)
  • P. Bouyer, S. Haddad, P.-A. Reynier. Extended Timed Automata and Time Petri Nets. In Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD'06), pages 91-100 (Web page)
  • S. Haddad, L. Mokdad, P. Moreaux. A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets. In Proceedings of the 27th International Conference on Applications and Theory of Petri Nets (ICATPN'06), volume 4024 of Lecture Notes in Computer Science, pages 221-240 (Web page)
  • S. Haddad, P. Moreaux. Vérification de systèmes probabilistes : méthodes et outils. In Systèmes temps-réels Volume 1: techniques de description et de vérification, pages 261-292. Hermès.
  • S. Haddad, P. Moreaux, S. Rampacek. Client Synthesis for Web Services by Way of a Timed Semantics. In Proceedings of the 8th International Conference on Enterprise Information Systems (ICEIS'06), volume 4, pages 19-26 (Web page)
  • M. Sene, P. Moreaux, S. Haddad. '''Performance Evaluation Of Distributed Database. A Banking System Case Study'''. In Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'06), pages 351-356. (Web page)
  • S. Haddad, J.-F. Pradat-Peyre. '''New Efficient Petri Nets Reductions for Parallel Programs Verification'''. Parallel Processing Letters, 16(1):101-116 (Web page)

2005

  • B. Bérard, F. Cassez, S. Haddad, D.Lime, O.H. Roux. When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? In Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), volume 3821 of Lecture Notes in Computer Science, pages 273-284 (Web page)
  • B. Bérard, F. Cassez, S. Haddad, D.Lime, O.H. Roux. Comparison of the Expressiveness of Timed Automata and Time Petri Nets. In Proceedings of the 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05), volume 3829 of Lecture Notes in Computer Science, pages 211-225 (Web page)
  • S. Evangelista, S. Haddad, J.-F. Pradat-Peyre. Syntactical Colored Petri Nets Reductions. In Proceedings of the 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA'05), volume 3707 of Lecture Notes in Computer Science, pages 202-216 (Web page)
  • B. Bérard, F. Cassez, S. Haddad, D.Lime, O.H. Roux. Comparison of Different Semantics for Time Petri Nets. In Proceedings of the 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA'05), volume 3707 of Lecture Notes in Computer Science, pages 293-307 (Web page)
  • K. Klai, S. Haddad, and J.-M. Ilié. Modular Verification of Petri Nets Properties: A Structure-Based Approach. In Proceedings of 25th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05), volume 3731 of Lecture Notes in Computer Science, pages 189-203 (Web page)
  • T. Melliti, S. Haddad, A. Suna, A. El Fallah Seghrouchni. Web-MASI: Multi-Agent Systems Interoperability Using Web Services Based Approach. In Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05), pages 739-742 (Web page)
  • S. Baarir, C. Dutheillet, S. Haddad, J.-M. Ilié. On the Use of Exact Lumpability in Partially Symmetrical Well-formed Nets. In Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems (QEST'05), pages 23-32 (Web page)

2004

  • S. Haddad, P. Moreaux, M.Sereno, M.Silva. Product-form and Stochastic Petri Nets: A Structural Approach. Performance Evaluation, 59(4):313--336 (Web page)
  • A. El Fallah Seghrouchni, S.Haddad, T. Melliti, A. Suna. Interopérabilité des systèmes multi-agents à l'aide des services web. In Actes des 12èmes Journées Francophones des Systèmes Multi-Agents (JFSMA'04), pages 91-104 (Web page)
  • S. Haddad, J.-M. Ilié, K. Klai. Design and Evaluation of a Symbolic and Abstraction-based Model Checker. In Proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA'04), volume 3299 of Lecture Notes in Computer Science, pages 196-210 (Web page)
  • S. Haddad, P. Moreaux. Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays. In Proceedings of the 12th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04), pages 23-30 (Web page)
  • J. El Haddad, S. Haddad. A Fault-contained Spanning Tree Protocol for Arbitrary Networks. In Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems (PDCS'04), pages 410-415 (PDF)
  • S. Baarir, S. Haddad, J.-M. Ilié. Exploiting Partial Symmetries in Well-formed Nets for the Reachability and the Linear Time Model Checking Problems. In Proceedings of the 7th Workshop on Discrete Event Systems (WODES'04), pages 223-228 (Web page)
  • S. Evangelista, S. Haddad, J.-F. Pradat-Peyre. New Coloured Reductions for Software Validation In Proceedings of the 7th Workshop on Discrete Event Systems (WODES'04), pages 355-360 (Web page)
  • S. Haddad, L. Mokdad, P. Moreaux. Performance Evaluation of non-Markovian Stochastic Discrete Event Systems. A New Approach. In Proceedings of the 7th Workshop on Discrete Event Systems (WODES'04), pages 243-248 (Web page).
  • J. El Haddad, S. Haddad. A Fault-tolerant Communication Mechanism for Cooperative Robots. International Journal of Production Research, 42(14):2793-2808 (Web page)
  • S. Haddad, T. Melliti, P. Moreaux, S. Rampacek. A Dense Time Semantics for Web Services Specification Languages. In Proceedings of the IEEE 1st International Conference on Information and Communication Technologies: From Theory to Applications (ICCTA'04), pages 647-648 (Web page)
  • S. Haddad, T. Melliti, P. Moreaux, S. Rampacek. Modeling Web Services Interoperability. In Proceedings of the 8th International Conference on Enterprise Information Systems (ICEIS'04), pages 287-295 (Web page)

2003

  • J. El Haddad, S. Haddad. Algorithmes de communication auto-stabilisants dans un système de robots mobiles. In Actes du 4ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'03), pages 277--292 (Web page)
  • T. Melliti, S. Haddad. Synthesis of Agents for Web Services Interaction. In Proceedings of the Workshop on Semantic Web Services for Entreprise Application Integration and E-Commerce (SWSEE'03) (Web page)
  • J. El Haddad, S. Haddad. Self-stabilizing Scheduling Algorithm for Cooperating Robots. In Proceedings of the 2nd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'03), (Web page)
  • S. Haddad. Issues in Verification. In Petri Nets for Systems Engineering: A Guide to Modeling, Verification and Applications, chapter 13, pages 183-200. (Web page)
  • J.-M. Colom, E. Teruel, M. Silva, S. Haddad. Structural Methods. In Petri Nets for Systems Engineering: A Guide to Modeling, Verification and Applications, chapter 15, pages 277-316 (Web page)
  • S. Haddad, F. Vernadat. Vérification de propriétés spécifiques. In Vérification et mise en œuvre des réseaux de Petri, chapitre 1, pages 31-97. Hermès, ISBN 978-2746204454
  • S. Haddad, J.-M. Ilié. Symétries et logiques temporelles. In Vérification et mise en œuvre des réseaux de Petri, chapitre 4, pages 163-187. Hermès, ISBN 978-2746204454

2002

  • K. Klai, S. Haddad, J.-M. Ilié. An Incremental Verification Technique using Decomposition of Petri Nets. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC'02), pages 381-386 (Web page)
  • H. Mazouzi, A. El Fallah Seghrouchni, S. Haddad. Open Protocol Design for Complex Interaction in Multi-Agent Systems. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02), pages 15-19 (Web page)

2001

  • S. Haddad, P. Moreaux, M. Sereno, M. Silva. Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. In Proceedings of the 22nd International Conference on Applications and Theory of Petri Nets (ICATPN'01), volume 2075 of Lecture Notes in Computer Science, pages 164-183 (Web page)
  • S. Haddad, D. Poitrenaud. Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. In Proceedings of the 8th International Symposium on Temporal Representation and Reasoning (TIME'01), pages 198-205 (Web page)
  • S. Haddad, F.Vernadat. Méthodes d'analyse des réseaux de Petri. In Les réseaux de Petri. Modèles fondamentaux, chapitre 3, pages 69-117. Hermès (Web page)
  • S. Haddad. Décidabilité et complexité des problèmes de réseaux de Petri. In Les réseaux de Petri. Modèles fondamentaux, chapitre 4, pages 119-158. Hermès (Web page)
  • S. Haddad, P. Moreaux. Les réseaux de Petri stochastiques. In Les réseaux de Petri. Modèles fondamentaux, chapitre 9, pages 299-334. Hermès (Web page)
  • S. Haddad, P. Moreaux. Les réseaux de Petri stochastiques bien formés. In Les réseaux de Petri. Modèles fondamentaux, chapitre 10, pages 335-353. Hermès (Web page)
  • S. Haddad, P. Moreaux. Méthodes tensorielles et réseaux de Petri stochastiques. In Les réseaux de Petri. Modèles fondamentaux, chapitre 11, pages 335-353. Hermès (Web page)
  • A. El Fallah Seghrouchni, S. Haddad, H.Mazouzi. A Formal Study of Interactions in Multi-Agent Systems. International Journal of Computers and their Applications, 8(1):23-32.

2000

  • S. Haddad, J.-M. Ilié, K. Ajami. A Model Checking Method for Partially Symmetric Systems. In Proceedings of IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE'XIII) and Protocol Specification, Testing and Verification (PSTV'XX), volume 183 of IFIP Conference Proceedings, pages 121-136 (Web page)
  • S. Haddad, D. Poitrenaud. Modelling and Analyzing Systems with Recursive Petri Nets. In Proceedings of the 5th Workshop on Discrete Event Systems (WODES'00), pages 449-458 (Web page)

1999

  • S. Donatelli, S. Haddad, P. Moreaux, M. Sene. Bounds for Renewal of Systems with Client-Server Interaction. In Proceedings of the 3rd International Meeting on the Numerical Solution of Markov Chain (NSMC'99), pages 208-227.
  • F. Nguilla Kooh, S. Haddad. Reaching Agreement in Hierarchical Groups. In Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems (PDCS'99).
  • A. El Fallah Seghrouchni, S. Haddad, H. Mazouzi. Protocol Engineering for Multi-agent Interaction. In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'99), volume 1647 of Lecture Notes in Artificial Intelligence, pages 89-101 (Web page)
  • S. Haddad, D. Poitrenaud. Theoretical Aspects of Recursive Petri Nets. In Proceedings of the 20th International Conference on Applications and Theory of Petri Nets (ICATPN'99), volume 1639 of Lecture Notes in Computer Science, pages 228-247, (Web page)
  • A. Fallah Seghrouchni, S. Haddad, H. Mazouzi. A Formal Study of Interactions in Multi-Agent Systems. In Proceedings of the ISCA 14th International Conference on Computers and Their Applications (CATA'99), pages 240-245.
  • S. Haddad, F. Nguilla Kooh. Combining different failure detectors for solving a large-scale consensus problem. In Proceedings of the ISCA 14th International Conference on Computers and Their Applications (CATA'99), pages 204-209.

1998

  • S. Donatelli, S. Haddad, P. Moreaux. Structured Characterization of the Markov Chain of Phase-Type SPN. In Proceedings of the 10th International Conference on Computer Performance Evaluation (TOOLS'98), volume 1469 of Lecture Notes in Computer Science, pages 243-254 (Web page)
  • K. Ajami, S. Haddad, J.-M. Ilié. Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. In Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'98), volume 1384 of Lecture Notes in Computer Science, pages 52-67 (Web page)

1997

  • S. Haddad, P. Moreaux, G. Chiola. Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets. In Proceedings of the 18th International Conference on Applications and Theory of Petri Nets (ICATPN'97), volume 1248 of Lecture Notes in Computer Science, pages 175-194 (Web page)
  • G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad. A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science, 176(1-2):39-65 (Web page)

1996

  • A. El Fallah Seghrouchni, S. Haddad. A Recursive Model for Distributed Planning. In Proceedings of the 2nd International Conference on Multi-Agent Systems (ICMAS'96), pages 307-314 (PDF)
  • S. Haddad, P. Moreaux. Asynchronous Composition of High Level Petri Nets: A Quantitative Approach. In Proceedings of the 17th International Conference on Applications and Theory of Petri Nets (APN'96), volume 1091 of Lecture Notes in Computer Science, pages 192-211 (Web page)
  • A. El Fallah Seghrouchni, S. Haddad. A Coordination Algorithm for Multi-Agent Planning. In Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), volume 1038 of Lecture Notes in Artificial Intelligence, pages 86-99 (PDF)

1995

  • S. Haddad, P. Moreaux. Evaluation of High-Level Petri Nets by Means of Aggregation and Decomposition. In Proceedings of the 6th International Workshop on Petri Nets and Performance Models (PNPM'95), pages 11-20 (Web page)
  • S. Haddad, J.-M. Ilié, M. Taghelit, B. Zouari. Symbolic Reachability Graph and Partial Symmetries. In Proceedings of the 16th International Conference on Applications and Theory of Petri Nets (APN'95), volume 935 of Lecture Notes in Computer Science, pages 238-251 (Web page)

1993

  • G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad. Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Transactions on Computers, 42(11):1343-1360 (Web page)
  • C. Dutheillet, S. Haddad. Conflict Sets in Coloured Petri Nets. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models (PNPM'93), pages 76-87 (Web page)
  • J. Ezpeleta, S. Haddad. A Distributed Algorithm for Resource Management. In Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems (DDS'93), volume A-39 of IFIP Transactions, pages 61-72.
  • B. Zouari, S. Haddad, M. Taghelit. A Protocol Specification Language with a High-Level Petri Net Semantics. In Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems (DDS'93), volume A-39 of IFIP Transactions, pages 225-241.
  • K. Barkaoui, C. Dutheillet, S. Haddad. An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. In Proceedings of the 13th International Conference on Applications and Theory of Petri Nets (APN'92), volume 691 of Lecture Notes in Computer Science, pages 69-88 (Web page)
  • S. Haddad, M.Taghelit, and B. Zouari. Assessment of ESTELLE and EDT Through Real Case Studies. In Proceedings of the IFIP WG6.1 13th International Conference on Protocol Specification, Testing and Verification (PSTV'93), volume C-16 of IFIP Transactions, pages 223-238.
  • J.-M. Couvreur, S. Haddad, J.-F. Peyre. Generative Families of Positive Invariants in Coloured Nets Sub-Classes. In Papers from the 12th International Conference on Applications and Theory of Petri Nets (APN'91), volume 674 of Lecture Notes in Computer Science, pages 51-70 (Web page)

1992

  • C. Dutheillet , S. Haddad. An Efficient Computation of Structural Relations in Unary Regular Nets In Proceedings of the 7th International Symposium on Computer and Information Science (ISCIS'92), pages 73-79.

1991

  • M. Taghelit, S. Haddad, P. Sens. An Algorithm Providing Fault-Tolerance for Layered Distributed Systems. In Proceedings of the IMACS-IFAC International Symposium onParallel and Distributed Computing in Engineering Systems(PDCES'91) (Web page)
  • C. Dutheillet, S.Haddad. Regular Stochastic Petri Nets. In Advances in Petri Nets 1990, Papers from the 10th International Conference on Applications and Theory of Petri Nets (ATPN'89), volume 483 of Lecture Notes in Computer Science, pages 186-209 (Web page)
  • G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad. Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications. In High-Level Petri Nets -- Theory and Application, pages 504-530 (Web page)
  • G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad. On Well-Formed Coloured Nets and their Symbolic Reachability Graph. In High-Level Petri Nets&nbsp. Theory and Application, pages 373-396 (Web page)

1990

  • S. Haddad. A Reduction Theory for Coloured Petri Nets. In Advances in Petri Nets 1989, Papers from the 9th International Conference on Applications and Theory of Petri Nets (ATPN'88), volume 424 of Lecture Notes in Computer Science, pages 209-235 (Web page)

1989

  • C. Dutheillet, S. Haddad. Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. In Proceedings of the 3rd International Workshop on Petri Nets and Performance Models (PNPM'89), pages 40-49 (Web page)

1988

  • J.-M. Bernard, J.-L. Mounier, N. Beldiceanu, S. Haddad. AMI: An Extensible Petri Nets Interactive Workshop. In Proceedings of the 9th International Conference on Applications and Theory of Petri Nets (ATPN'88).
  • J.-M. Couvreur and S. Haddad. Towards a General and Powerful Computation of Flows for Parameterized Coloured Nets. In Proceedings of the 9th International Conference on Applications and Theory of Petri Nets (ATPN'88).
  • S. Haddad and J.-M. Couvreur. Validation of Parallel Systems with Coloured Petri Nets. In Proceedings of the IFIP WG10.3 Working Conference on Parallel Processing (PP'88), pages 377-390

1987

  • C. Girault, Ch. Chatelain, S Haddad. Specification and Properties of a Cache Coherence Protocol Model. In Advances in Petri Nets 1987, Selected Papers from the 7th International Conference on Applications and Theory of Petri Nets (ATPN'86), volume 266 of Lecture Notes in Computer Science, pages 1-20 (Web page)
  • S. Haddad, and C. Girault. Algebraic Structure of Flows of a Regular Coloured Net. In Advances in Petri Nets 1987, Selected Papers from the 7th International Conference on Applications and Theory of Petri Nets (ATPN'86), volume 266 of Lecture Notes in Computer Science, pages 73-88 (Web page)