[ATPN24]

S. Haar, S. Haddad. On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Petri Nets 2024

[KNR⁺LMCS24]

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 ]

[RP23]

A. Finkel, S. Haddad, L. Ye. Introducing Divergence for Infinite Probabilistic Models. Reachability Problems 2023
[ ARXIV ]

[KNR⁺STTT23]

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

[CONCUR23]

A. Finkel, S. Haddad, L. Ye. About Decisiveness of Dynamic Probabilistic Models. CONCUR 2023: 14:1-14:17
[ ARXIV ]

[KNR⁺GANDALF22]

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 ]

[BHIPL22]

B. Bérard, S. Haddad. Revisiting reachability in Polynomial Interrupt Timed Automata. Inf. Process. Lett. 174: 106208 (2022)
[ Web page ]

[FHKDEDS21]

A. Finkel, S. Haddad, I. Khmelnitsky. Commodification of accelerations for the Karp and Miller Construction. Discret. Event Dyn. Syst. 31(2): 251-270
[ HAL ]

[FHKFI21]

A. Finkel, S. Haddad, I. Khmelnitsky. Coverability, Termination, and Finiteness in Recursive Petri Nets. Fundam. Informaticae 183(1-2): 33-66 (2021)
[ ARXIV ]

[BHPSSIC21]

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 ]

[HLRATPN21]

S. Haddad, D. Lime, O. H. Roux. A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets 2021: 76-92
[ HAL ]

[KNR⁺ATVA21]

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 ]

[HHSY20]

S. Haar, S. Haddad, S. Schwoon, and 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, Goa, India, December 2020. Leibniz-Zentrum für Informatik.
doi: https://doi.org/10.4230/LIPIcs.FSTTCS.2020.48.
[ DOI | Web page | PDF ]

[KNR⁺20]

I. Khmelnitsky, D. Neider, R. Roy, B. Barbot, B. Bollig, A. Finkel, S. Haddad, M. Leucker, and L. Ye. Property-Directed Verification of Recurrent Neural Networks. Research Report 2009.10610, Computing Research Repository, September 2020.
[ Web page | PDF ]

[DH20b]

S. Donatelli and 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, Vienna, Austria, September 2020. Springer.
[ Web page ]

[HK20]

S. Haddad and 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, Paris, France, June 2020. Springer.
doi: 10.1007/978-3-030-51831-8_17.
[ DOI | Web page ]

[FHK20b]

A. Finkel, S. Haddad, and 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, Dublin, Ireland, April 2020. Springer.
doi: 10.1007/978-3-030-45231-5_13.
[DOI ]

[DH20a]

S. Donatelli and 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, Milan, Italy, March 2020. Springer.

[FHK20a]

A. Finkel, S. Haddad, and I. Khmelnitsky. Commodification of accelerations for the Karp and Miller Construction. Discrete Event Dynamic Systems: Theory and Applications, 2020.
doi: 10.1007/s10626-020-00331-z.
[ DOI | Web page ]

[BHL20]

N. Bertrand, S. Haddad, and E. Lefaucheux. Diagnosis and Degradation Control for Probabilistic Systems. Discrete Event Dynamic Systems: Theory and Applications, 30:695–723, 2020.
doi: 10.1007/s10626-020-00320-2.
[ DOI | Web page ]

[BHL19]

N. Bertrand, S. Haddad, and E. Lefaucheux. A Tale of Two Diagnoses in Probabilistic Systems. Information and Computation, 269, December 2019.
doi: 10.1016/j.ic.2019.104441.
[ DOI | PDF ]

[FHK19b]

A. Finkel, S. Haddad, and 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), Angers, France, November 2019. HAL.
[ Web page | PDF ]

[DH19]

S. Donatelli and S. Haddad. Autonomous Transitions Enhance CSLTA Expressiveness and Conciseness. Research Report hal-02306021, HAL, October 2019. 23 pages.
[ Web page | PDF ]

[FHK19a]

A. Finkel, S. Haddad, and 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, Aachen, Germany, June 2019. Springer.
doi: 10.1007/978-3-030-21571-2_23.
[ DOI | Web page | PDF ]

[HM18]

S. Haddad and B. Monmege. Interval iteration algorithm for MDPs and IMDPs. Theoretical Computer Science, 735:111--131, July 2018.
doi: 10.1016/j.tcs.2016.12.003.
[ DOI | Web page ]

[BBDH18]

B. Barbot, B. Bérard, Y. Duplouy, and 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, Bratislava, Slovakia, June 2018. Springer.
doi: 10.1007/978-3-319-91268-4_19.
[ DOI | Web page | PDF ]

[Had18]

S. Haddad. Memoryless determinacy of finite parity games: Another simple proof. Information Processing Letters, 132:19--21, April 2018.
doi: 10.1016/j.ipl.2017.11.012.
[ DOI | PDF ]

[BBF⁺18]

B. Barbot, M. Beccuti, G. Franceschinis, S. Haddad, and C. Picaronny. Bounds Computation for Symmetric Nets. Research Report hal-01726011, HAL-Inria, March 2018.
[ Web page | PDF ]

[BHL17a]

B. Bérard, S. Haddad, and 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, Kanpur, India, December 2017. Leibniz-Zentrum für Informatik.
doi: 10.4230/LIPIcs.FSTTCS.2017.13.
[ DOI | Web page | PDF ]

[CHKP17]

K. Chatzikokolakis, S. Haddad, A. Kassem, and 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, Venice, Italy, December 2017.
doi: 10.1145/3150928.3150962.
[ DOI | Web page | PDF ]

[BHL17b]

N. Bertrand, S. Haddad, and 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), Marseille, France, November 2017. HAL.
[ PDF ]

[BHJ17]

P. Bouyer, S. Haddad, and 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, Berlin, Germany, September 2017. Leibniz-Zentrum für Informatik.
doi: 10.4230/LIPIcs.CONCUR.2017.31.
[ DOI | Web page | PDF ]

[Had17]

S. Haddad. Memoryless Determinacy of Finite Parity Games: Another Simple Proof. Research Report hal-01541508, HAL-inria, June 2017. 7 pages.
[ Web page | PDF ]

[BBDH17]

B. Barbot, B. Bérard, Y. Duplouy, and S. Haddad. Statistical Model-Checking for Autonomous Vehicle Safety Validation. In SIA Simulation Numérique, Montigny-le-Bretonneux, France, March 2017.
[ Web page | PDF ]

[HHMS17]

S. Haar, S. Haddad, T. Melliti, and S. Schwoon. Optimal constructions for active diagnosis. Journal of Computer and System Sciences, 83(1):101--120, 2017.
doi: 10.1016/j.jcss.2016.04.007.
[ DOI | PDF ]

[BFHH17]

M. Blondin, A. Finkel, C. Haase, and S. Haddad. The Logical View on Continuous Petri Nets. ACM Transactions on Computational Logic, 18(3):24:1--24:28, 2017.
doi: 10.1145/3105908.
[ DOI | Web page | PDF ]

[BHL16b]

N. Bertrand, S. Haddad, and 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, Québec City, Canada, August 2016. Leibniz-Zentrum für Informatik.
doi: 10.4230/LIPIcs.CONCUR.2016.37.
[ DOI | Web page | PDF ]

[BFHH16a]

M. Blondin, A. Finkel, C. Haase, and 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, Eindhoven, The Netherlands, April 2016. Springer.
doi: 10.1007/978-3-662-49674-9_28.
[ DOI | Web page | PDF ]

[BHJL16]

B. Bérard, S. Haddad, A. Jovanović, and D. Lime. Interrupt Timed Automata with Auxiliary Clocks and Parameters. Fundamenta Informaticae, 143(3-4):235--259, March 2016.
doi: 10.3233/FI-2016-1313.
[ DOI | Web page | PDF ]

[BHL16a]

N. Bertrand, S. Haddad, and 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, Prague, Czech Republic, March 2016. Springer.
doi: 10.1007/978-3-319-30000-9_42.
[ DOI | Web page | PDF ]

[BFHH16b]

M. Blondin, A. Finkel, C. Haase, and S. Haddad. QCover: an efficient coverability verifier for discrete and continuous Petri nets, 2016.
[ Web page ]

[BHH⁺15]

S. Böhm, S. Haar, S. Haddad, P. Hofman, and S. Schwoon. Active Diagnosis with Observable Quiescence. In Proceedings of the 54th IEEE Conference on Decision and Control (CDC'15), pages 1663--1668, Osaka, Japan, December 2015. IEEE Control System Society.
doi: 10.1109/CDC.2015.7402449.
[ DOI | Web page | PDF ]

[MLB⁺15b]

A. Methni, M. Lemerre, B. Ben Hedia, S. Haddad, and 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, Bucharest, Romania, September 2015. RWTH Aachen, Germany.
[ Web page | PDF ]

[BHP⁺15]

B. Bérard, S. Haddad, C. Picaronny, M. Safey El Din, and 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, Warsaw, Poland, September 2015. Springer.
doi: 10.1007/978-3-319-24537-9_3.
[ DOI | Web page | PDF ]

[BBD⁺15]

P. Ballarini, B. Barbot, M. Duflot, S. Haddad, and N. Pekergin. HASL: A New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation. Performance Evaluation, 90:53--77, August 2015.
doi: 10.1016/j.peva.2015.04.003.
[ DOI | Web page | PDF ]

[BHHP15]

B. Barbot, S. Haddad, M. Heiner, and C. Picaronny. Rare Event Handling in Signalling Cascades. International Journal on Advances in Systems and Measurements, 8(1-2):69--79, June 2015.
[ Web page | PDF ]

[MLB⁺15a]

A. Methni, M. Lemerre, B. Ben Hedia, S. Haddad, and 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, Luxembourg, 2015. Springer.
doi: 10.1007/978-3-319-17581-2_14.
[ DOI | Web page | PDF ]

[FH15]

E. Fraca and S. Haddad. Complexity Analysis of Continuous Petri Nets. Fundamenta Informaticae, 137(1):1--28, 2015.
doi: 10.3233/FI-2015-1168.
[ DOI | Web page | PDF ]

[BH15]

N. Bertrand and S. Haddad. Contrôle, probabilités et observation partielle. In Informatique Mathématique. Une photographie en 2015, chapter 5, pages 177--227. CNRS Éditions, 2015.
[ Web page | PDF ]

[BFCH14]

M. Beccuti, G. Franceschinis, D. Codetta-Raiteri, and S. Haddad. Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. The Computer Journal, 57(12):1870--1892, December 2014.
doi: 10.1093/comjnl/bxt134.
[ DOI | Web page | PDF ]

[BHL14]

N. Bertrand, S. Haddad, and 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, New Dehli, India, December 2014. Leibniz-Zentrum für Informatik.
doi: 10.4230/LIPIcs.FSTTCS.2014.417.
[ DOI | Web page | PDF ]

[BHHP14]

B. Barbot, S. Haddad, M. Heiner, and 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, Nice, France, October 2014. XPS.
[ Web page | PDF ]

[HM14]

S. Haddad and 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, Oxford, UK, September 2014. Springer.
doi: 10.1007/978-3-319-11439-2_10.
[ DOI | Web page | PDF ]

[BFH⁺14]

N. Bertrand, É. Fabre, S. Haar, S. Haddad, and 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, Grenoble, France, April 2014. Springer.
doi: 10.1007/978-3-642-54830-7_4.
[ DOI | Web page | PDF ]

[HHM14]

S. Haddad, R. Hennicker, and M. H. Møller. Specification of Asynchronous Component Systems with Modal IashO-Petri Nets. In Revised Selected Papers of the 8th Symposium on Trustworthy Global Computing (TGC'13), volume 8358 of Lecture Notes in Computer Science, pages 219--234, Buenos Aires, Argentina, March 2014. Springer.
doi: 10.1007/978-3-319-05119-2_13.
[ DOI | Web page | PDF ]

[HHMS13]

S. Haar, S. Haddad, T. Melliti, and 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, Guwahati, India, December 2013. Leibniz-Zentrum für Informatik.
doi: 10.4230/LIPIcs.FSTTCS.2013.527.
[ DOI | Web page | PDF ]

[BHJL13]

B. Bérard, S. Haddad, A. Jovanovic, and 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, Uppsala, Sweden, September 2013. Springer.
doi: 10.1007/978-3-642-41036-9_7.
[ DOI | Web page | PDF ]

[ABHH13]

S. Akshay, N. Bertrand, S. Haddad, and 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, Buenos Aires, Argentina, August 2013. IEEE Computer Society Press.
doi: 10.1007/978-3-642-40196-1_26.
[ DOI | Web page | PDF ]

[HMY13]

S. Haddad, L. Mokdad, and S. Youcef. Bounding models families for performance evaluation in composite Web services. Journal of Computational Science, 4(4):232--241, July 2013.
doi: 10.1016/j.jocs.2011.11.003.
[ DOI | Web page | PDF ]

[FH13]

E. Fraca and 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, Milano, Italy, June 2013. Springer.
doi: 10.1007/978-3-642-38697-8_10.
[ DOI | Web page | PDF ]

[HHM13]

S. Haddad, R. Hennicker, and M. H. Møller. 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, Milano, Italy, June 2013. Springer.
doi: 10.1007/978-3-642-38697-8_20.
[ DOI | Web page | PDF ]

[BFHR13]

R. Bonnet, A. Finkel, S. Haddad, and F. Rosa-Velardo. Ordinal Theory for Expressiveness of Well-Structured Transition Systems. Information and Computation, 224:1--22, March 2013.
doi: 10.1016/j.ic.2012.11.003.
[ DOI | Web page | PDF ]

[BCH⁺13]

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, February 2013.
doi: 10.1016/j.tcs.2012.12.005.
[ DOI | Web page | PDF ]

[HMN13]

S. Haddad, J. Mairesse, and H.-T. Nguyen. Synthesis and Analysis of Product-form Petri Nets. Fundamenta Informaticae, 122(1-2):147--172, 2013.
doi: 10.3233/FI-2013-786.
[ DOI | Web page | PDF ]

[BHP12b]

B. Barbot, S. Haddad, and 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, Lisbon, Portugal, November 2012. XPS.
[ Web page | PDF ]

[BHSS12]

B. Bérard, S. Haddad, M. Sassolas, and 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, Newcastle, UK, September 2012. Springer.
doi: 10.1007/978-3-642-32940-1_5.
[ DOI | Web page | PDF ]

[HSS12]

S. Haddad, S. Schmitz, and 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, Dubrovnik, Croatia, June 2012. IEEE Computer Society Press.
doi: 10.1109/LICS.2012.46.
[ DOI | Web page | PDF ]

[BHP12a]

B. Barbot, S. Haddad, and 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, Tallinn, Estonia, March 2012. Springer.
doi: 10.1007/978-3-642-28756-5_23.
[ DOI | Web page | PDF ]

[BHP12c]

B. Barbot, S. Haddad, and C. Picaronny. Importance Sampling for Model Checking of Time-Bounded Until. Research Report LSV-12-04, Laboratoire Spécification et Vérification, ENS Cachan, France, February 2012. 14 pages.
[ Web page | PDF ]

[BHS12]

B. Bérard, S. Haddad, and M. Sassolas. Interrupt Timed Automata: Verification and Expressiveness. Formal Methods in System Design, 40(1):41--87, February 2012.
doi: 10.1007/s10703-011-0140-2.
[ DOI | Web page | PDF ]

[ABB⁺12]

S. Akshay, B. Bérard, P. Bouyer, S. Haar, S. Haddad, C. Jard, D. Lime, N. Markey, P.-A. Reynier, O. Sankur, and Y. Thierry-Mieg. Overview of Robustness in Timed Systems. Deliverable ImpRo D 2.1 (ANR-2010-BLAN-0317), January 2012.
[ Web page | PDF ]

[EHH12]

D. El Hog-Benzina, S. Haddad, and 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. Springer, 2012.
doi: 10.1007/978-3-642-29072-5_4.
[ DOI | Web page | PDF ]

[BHP11]

B. Barbot, S. Haddad, and 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, Lille, France, November 2011. Hermès.
doi: 10.3166/jesa.45.237-252.
[ DOI | Web page | PDF ]

[BDD⁺11a]

P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and 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, Aachen, Germany, September 2011. IEEE Computer Society Press.
doi: 10.1109/QEST.2011.24.
[ DOI | Web page | PDF ]

[BFH11]

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):417--428, September 2011.
[ Web page | PDF ]

[BDD⁺11c]

P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and N. Pekergin. Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems. In Proceedings of the 7th IEEE Conference on Automation Science and Engineering (CASE'11), pages 588--593, Trieste, Italy, August 2011. IEEE Robotics & Automation Society.
doi: 10.1109/CASE.2011.6042488.
[ DOI | Web page | PDF ]

[HMN11]

S. Haddad, J. Mairesse, and 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, Newcastle upon Tyne, UK, June 2011. Springer.
doi: 10.1007/978-3-642-21834-7_16.
[ DOI | Web page | PDF ]

[BDD⁺11b]

P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and 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, Cachan, France, May 2011.
[ Web page | PDF ]

[BFHR11]

R. Bonnet, A. Finkel, S. Haddad, and 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, Saarbrücken, Germany, March-April 2011. Springer.
doi: 10.1007/978-3-642-19805-2_11.
[ DOI | Web page | PDF ]

[BBD⁺11]

S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis, and S. Haddad. Lumping partially symmetrical stochastic models. Performance Evaluation, 76:21--44, January 2011.
doi: 10.1016/j.peva.2010.09.002.
[ DOI | Web page | PDF ]

[Had11]

S. Haddad. Introduction to Verification. In Models and Analysis in Distributed Systems, chapter 6, pages 137--154. John Wiley & Sons, Ltd., 2011.

[BFHR10]

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.
[ Web page | PDF ]

[BHSZ10]

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.
[ Web page | PDF ]

[HMY10b]

S. Haddad, L. Mokdad, and 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 (ISSSashBPSC'10), volume 177 of Lecture Notes in Informatics, pages 255--266, Leipzig, Germany, September-October 2010. Gesellschaft für Informatik.
[ Web page | PDF ]

[BHS10]

B. Bérard, S. Haddad, and 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, Paris, France, September 2010. IEEE Computer Society Press.
doi: 10.1109/TIME.2010.11.
[ DOI | Web page | PDF ]

[EHH10]

D. El Hog-Benzina, S. Haddad, and R. Hennicker. Process Refinement and Asynchronous Composition with Modalities. In Proceedings of the 2nd International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'10), Braga, Portugal, June 2010.
[ Web page | PDF ]

[HMY10a]

S. Haddad, L. Mokdad, and S. Youcef. Response time of BPEL4WS constructors. In Proceedings of the 15th IEEE Symposium on Computers and Communications (ISCC'10), pages 695--700, Riccione, Italy, June 2010. IEEE Computer Society Press.
doi: 10.1109/ISCC.2010.5546538.
[ DOI | Web page | PDF ]

[BH10]

M. Ben Hmida and 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, Budapest, Hungary, April 2010. Springer.
doi: 10.1007/978-3-642-12566-9_2.
[ DOI | Web page | PDF ]

[RHS10]

L. Recalde, S. Haddad, and M. Silva. Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science, 21(2):235--256, April 2010.
doi: 10.1142/S0129054110007222.
[ DOI ]

[ZBH10]

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, Turin, Italy, 2010. Springer.
doi: 10.1007/978-3-642-13338-1_5.
[ DOI | Web page | PDF ]

[HMY09]

S. Haddad, L. Mokdad, and 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 of Journal Européen des Systèmes Automatisés, pages 969--983, Nantes, France, November 2009. Hermès.
[ Web page | PDF ]

[DH09]

S. Donatelli and S. Haddad. Quantitative Verification of Markov Chains. In Communicating Embedded Systems -- Software and Design, chapter 5, pages 139--163. Wiley-ISTE, October 2009.
[ Web page ]

[BCH⁺09]

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):1--29, September 2009.
[ Web page | PDF ]

[HP09]

S. Haddad and 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, Budapest, Hungary, September 2009. IEEE Computer Society Press.
doi: 10.1109/QEST.2009.42.
[ DOI | Web page | PDF ]

[BHS09]

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.
[ Web page | PDF ]

[HKP⁺09]

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 Proceedings of the 28th American Control Conference (ACC'09), pages 5018--5025, Saint Louis, Missouri, USA, June 2009.
doi: 10.1109/ACC.2009.5160020.
[ DOI | Web page | PDF ]

[BFCH09]

M. Beccuti, G. Franceschinis, D. Codetta-Raiteri, and S. Haddad. Parametric NdRFT for the derivation of optimal repair strategies. In Proceedings of the 39th Annual IEEEashIFIP International Conference on Dependable Systems and Networks (DSN'09), pages 399--408, Estoril, Portugal, June-July 2009. IEEE Computer Society Press.
doi: 10.1109/DSN.2009.5270312.
[ DOI | Web page | PDF ]

[EFSH09]

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, April 2009.
[ Web page ]

[DHS09]

S. Donatelli, S. Haddad, and J. Sproston. Model Checking Timed and Stochastic Properties with CSL^TA. IEEE Transactions on Software Engineering, 35(2):224--240, March-April 2009.
doi: 10.1109/TSE.2008.108.
[ DOI | Web page | PDF ]

[BH09]

B. Bérard and 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, York, UK, March 2009. Springer.
doi: 10.1007/978-3-642-00596-1_15.
[ DOI | Web page | PDF ]

[HI09]

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 ]

[HV09b]

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 ]

[HM09c]

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 ]

[HM09b]

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 ]

[HM09a]

S. Haddad and P. Moreaux. Stochastic Petri Nets. In Petri Nets: Fundamental Models, Verification and Applications, pages 269--302. Wiley-ISTE, 2009.
[ Web page ]

[Had09]

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 ]

[HV09a]

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 ]

[BHR09]

P. Bouyer, S. Haddad, and P.-A. Reynier. Undecidability Results for Timed Automata with Silent Transitions. Fundamenta Informaticae, 92(1-2):1--25, 2009.
[ Web page | PS | PDF ]

[DH08]

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, October 2008.
[ Web page ]

[BCFH08]

M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, and 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), Athens, Greece, October 2008. Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering.
doi: 10.4108/ICST.VALUETOOLS2008.4411.
[ DOI | Web page | PDF ]

[BBC⁺08]

B. Bollig, P. Bouyer, F. Cassez, Th. Chatain, P. Gastin, S. Haddad, and C. Jard. Model for distributed timed systems. Deliverable DOTS 3.1 (ANR-06-SETI-003), September 2008.

[BCH⁺08]

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):202--220, September 2008.
doi: 10.1016/j.tcs.2008.03.030.
[ DOI | Web page | PDF ]

[HMY08]

S. Haddad, L. Mokdad, and 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, Graz, Austria, July 2008. IEEE Computer Society Press.
[ Web page | PDF ]

[BHH⁺08]

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 Proceedings of the 9th Workshop on Discrete Event Systems (WODES'08), pages 346--351, Gothenburg, Sweden, May 2008.
doi: 10.1109/WODES.2008.4605970.
[ DOI | Web page | PDF ]

[BHR08]

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):73--107, January 2008.
doi: 10.1016/j.ic.2007.10.004.
[ DOI | Web page | PDF ]

[HM08]

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., January 2008.
[ Web page ]

[HP07a]

S. Haddad and D. Poitrenaud. Recursive Petri Nets -- Theory and Application to Discrete Event Systems. Acta Informatica, 44(7-8):463--508, December 2007.
doi: 10.1007/s00236-007-0055-y.
[ DOI | Web page | PDF ]

[RHS07]

L. Recalde, S. Haddad, and 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, Tokyo, Japan, October 2007. Springer.
doi: 10.1007/978-3-540-75596-8_26.
[ DOI | Web page | PDF ]

[DHS07]

S. Donatelli, S. Haddad, and 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, Edinburgh, Scotland, UK, September 2007. IEEE Computer Society Press.
doi: 10.1109/QEST.2007.14.
[ DOI | Web page | PDF ]

[BCFH07]

M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, and 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, Edinburgh, Scotland, UK, September 2007. IEEE Computer Society Press.
doi: 10.1109/QEST.2007.2.
[ DOI | Web page | PDF ]

[HP07b]

S. Haddad and 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, Tallinn, Estonia, June 2007. Springer.
doi: 10.1007/978-3-540-73196-2_22.
[ DOI | Web page | PDF ]

[BFH07]

M. Beccuti, G. Franceschinis, and 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, Siedlce, Poland, June 2007. Springer.
doi: 10.1007/978-3-540-73094-1_6.
[ DOI | Web page | PDF ]

[BBH⁺07]

M. Ben Hmida, C. Boutrous-Saab, S. Haddad, V. Monfort, and 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, Funchal, Madeira, Portugal, June 2007.

[BH07]

M. Ben Hmida and 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, Toulouse, France, March 2007.
[ Web page | PDF ]

[HM07]

S. Haddad and P. Moreaux. Sub-stochastic matrix analysis for bounds computation --- Theoretical results. European Journal of Operational Research, 167(2), January 2007.
doi: 10.1016/j.ejor.2005.08.016.
[ DOI | Web page | PDF ]

[BBH⁺06]

M. Ben Hmida, C. Boutrous-Saab, S. Haddad, V. Monfort, and R. F. Tomaz. Dynamically Adapting Clients to Web Services Changing. In Proceedings of the Workshop on Emerging Web Services Technology (WEWST'06), pages 91--96, Zurich, Switzerland, December 2006.
[ Web page | PDF ]

[CHK⁺06]

Ch. Choppy, S. Haddad, H. Klaudel, F. Kordon, L. Petrucci, and 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, Tunis, Tunisia, November 2006. Springer.
doi: 10.1007/11921240_25.
[ DOI ]

[Had06]

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, November 2006.
[ Web page ]

[BHM06]

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, November 2006.
[ Web page ]

[BHR06c]

P. Bouyer, S. Haddad, and 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, Beijing, China, October 2006. Springer.
doi: 10.1007/11901914_23.
[ DOI | Web page | PS | PDF ]

[HRS06]

S. Haddad, L. Recalde, and 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, Paris, France, September 2006. Springer.
doi: 10.1007/11867340_17.
[ DOI | Web page | PDF ]

[BHR06b]

P. Bouyer, S. Haddad, and 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, Venice, Italy, July 2006. Springer.
doi: 10.1007/11787006_36.
[ DOI | Web page | PS | PDF ]

[BHR06a]

P. Bouyer, S. Haddad, and 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, Turku, Finland, June 2006. IEEE Computer Society Press.
doi: 10.1109/ACSD.2006.6.
[ DOI | Web page | PS | PDF ]

[HMM06]

S. Haddad, L. Mokdad, and 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, Turku, Finland, June 2006. Springer.
doi: 10.1007/11767589_13.
[ DOI | Web page | PDF ]

[HM06]

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, June 2006.
[ Web page ]

[HMR06]

S. Haddad, P. Moreaux, and 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, Paphos, Cyprus, May 2006.
[ Web page | PDF ]

[SMH06]

M. Sene, P. Moreaux, and 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, Saint-Étienne, France, May 2006.

[HP06]

S. Haddad and J.-F. Pradat-Peyre. New Efficient Petri Nets Reductions for Parallel Programs Verification. Parallel Processing Letters, 16(1):101--116, March 2006.
doi: 10.1142/S0129626406002502.
[ DOI | Web page | PDF ]

[BCH⁺05c]

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 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, Hyderabad, India, December 2005. Springer.
doi: 10.1007/11590156_22.
[ DOI | Web page | PDF ]

[BCH⁺05b]

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 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, Uppsala, Sweden, November 2005. Springer.
doi: 10.1007/11603009_17.
[ DOI | Web page | PDF ]

[EHP05]

S. Evangelista, S. Haddad, and 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, Taipei, Taiwan, October 2005. Springer.
doi: 10.1007/11562948_17.
[ DOI | Web page | PDF ]

[BCH⁺05a]

B. Bérard, F. Cassez, S. Haddad, D. Lime, and 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, Taipei, Taiwan, October 2005. Springer.
doi: 10.1007/11562948_23.
[ DOI | Web page | PDF ]

[KHI05]

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, Taipei, Taiwan, October 2005. Springer.
doi: 10.1007/11562436_15.
[ DOI | Web page | PDF ]

[MHSEFS05]

T. Melliti, S. Haddad, A. Suna, and 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, Compiègne, France, September 2005. IEEE Computer Society Press.
doi: 10.1109/IAT.2005.142.
[ DOI ]

[BDHI05]

S. Baarir, C. Dutheillet, S. Haddad, and 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, Turin, Italy, September 2005. IEEE Computer Society Press.
doi: 10.1109/QEST.2005.26.
[ DOI | Web page | PDF ]

[HMSS05]

S. Haddad, P. Moreaux, M. Sereno, and M. Silva. Product-form and Stochastic Petri Nets: A Structural Approach. Performance Evaluation, 59(4):313--336, March 2005.
doi: 10.1016/j.peva.2004.08.004.
[ DOI | Web page | PDF ]

[EFSHMS04]

A. El Fallah Seghrouchni, S. Haddad, T. Melliti, and 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, Paris, France, November 2004. Hermès.
[ Web page | PDF ]

[HIK04]

S. Haddad, J.-M. Ilié, and 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, Taipei, Taiwan, October-November 2004. Springer.
[ Web page | PDF ]

[HM04a]

S. Haddad and 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, Volendam, The Netherlands, October 2004. IEEE Computer Society Press.
doi: 10.1109/MASCOT.2004.1348178.
[ DOI | Web page | PS ]

[HM04b]

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.
[ Web page | PDF ]

[EHH04a]

J. El Haddad and 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, San Francisco, California, USA, September 2004. International Society for Computers and their Applications.
[ Web page | PS ]

[BHI04]

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 Proceedings of the 7th Workshop on Discrete Event Systems (WODES'04), pages 223--228, Reims, France, September 2004.
[ Web page | PDF ]

[EHP04b]

S. Evangelista, S. Haddad, and J.-F. Pradat-Peyre. New Coloured Reductionsfor Software Validation. In Proceedings of the 7th Workshop on Discrete Event Systems (WODES'04), pages 355--360, Reims, France, September 2004.
[ Web page | PDF ]

[HMM04b]

S. Haddad, L. Mokdad, and 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), Reims, France, September 2004.
[ Web page | PDF ]

[EHH04b]

J. El Haddad and S. Haddad. A Fault-tolerant Communication Mechanism for Cooperative Robots. International Journal of Production Research, 42(14):2793--2808, July 2004.
doi: 10.1080/00207540410001705185.
[ DOI | Web page | PDF ]

[HMMR04a]

S. Haddad, T. Melliti, P. Moreaux, and 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, Damascus, Syria, April 2004.

[HMMR04b]

S. Haddad, T. Melliti, P. Moreaux, and S. Rampacek. Modeling Web Services Interoperability. In Proceedings of the 8th International Conference on Enterprise Information Systems (ICEIS'04), pages 287--295, Porto, Portugal, April 2004.

[HP04]

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.
[ Web page | PDF ]

[EHP04a]

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.

[HMM04a]

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.

[EHH03a]

J. El Haddad and 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, Metz, France, October 2003. Hermès.
[ Web page | PDF ]

[MH03]

T. Melliti and 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), Pittsburgh, Pennsylvania, USA, September 2003.
[ Web page | PDF ]

[EHH03b]

J. El Haddad and 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), page 128, Tunis, Tunisia, July 2003. IEEE Computer Society Press.
doi: 10.1109/AICCSA.2003.1227560.
[ DOI | Web page | PDF ]

[Had03]

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 ]

[CTSH03]

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 ]

[HV03]

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, January 2003.
[ Web page ]

[HI03]

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, January 2003.
[ Web page ]

[KHI02]

K. Klai, S. Haddad, and 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, Hammamet, Tunisia, October 2002. IEEE Computer Society Press.
[ Web page | PDF ]

[MEFSH02]

H. Mazouzi, A. El Fallah Seghrouchni, and 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, Bologna, Italy, July 2002. ACM Press.
[ Web page | PS ]

[HMSS01]

S. Haddad, P. Moreaux, M. Sereno, and 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, Newcastle upon Tyne, UK, June 2001. Springer.
[ Web page | PDF ]

[HP01]

S. Haddad and 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, Cividale del Friuli, Italy, June 2001. IEEE Computer Society Press.
[ Web page | PDF ]

[HV01]

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, May 2001.
[ Web page ]

[Had01]

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, May 2001.
[ Web page ]

[HM01a]

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, May 2001.
[ Web page ]

[HM01b]

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, May 2001.
[ Web page ]

[HM01c]

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, May 2001.
[ Web page ]

[EFSHM01]

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):23--32, March 2001.
[ Web page | PDF ]

[HIA00]

S. Haddad, J.-M. Ilié, and 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, Pisa, Italy, October 2000. Kluwer Academic Publishers.
[ Web page | PS ]

[HP00a]

S. Haddad and D. Poitrenaud. A Model Checking Decision Procedure for Sequential Recursive Petri Nets. Report LIP6-024, Laboratoire de l'Informatique de Paris VI, Université Pierre-et-Marie-Curie, France, September 2000.
[ PDF ]

[HP00b]

S. Haddad and 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, Ghent, Belgium, August 2000. Kluwer Academic Publishers.
[ Web page | PS ]

[HP99a]

S. Haddad and D. Poitrenaud. Decidability and Undecidability Results for Recursive Petri Nets. Report LIP6-019, Laboratoire de l'Informatique de Paris VI, Université Pierre-et-Marie-Curie, France, September 1999.
[ PDF ]

[DHMS99]

S. Donatelli, S. Haddad, P. Moreaux, and M. Sene. Bounds for Renewal of Systems with ClientashServer Interaction. In Proceedings of the 3rd International Meeting on the Numerical Solution of Markov Chain (NSMC'99), pages 208--227, Zaragoza, Spain, September 1999.

[NH99]

F. Nguilla Kooh and S. Haddad. Reaching Agreement in Hierarchical Groups. In Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems (PDCS'99), Fort Lauderdale, Florida, USA, August 1999. International Society for Computers and their Applications.

[EFSHM99b]

A. El Fallah Seghrouchni, S. Haddad, and 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, Valencia, Spain, June-July 1999. Springer.
[ Web page | PS ]

[HP99b]

S. Haddad and 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, Williamsburg, Virginia, USA, June 1999. Springer.
[ Web page | PS ]

[EFSHM99a]

A. El Fallah Seghrouchni, S. Haddad, and 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, Cancun, Mexico, April 1999. International Society for Computers and Their Applications.

[HN99]

S. Haddad and 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, Cancun, Mexico, April 1999. International Society for Computers and Their Applications.

[DHM98]

S. Donatelli, S. Haddad, and 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, Palma de Mallorca, Spain, September 1998. Springer.

[AHI98]

K. Ajami, S. Haddad, and 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, Lisbon, Portugal, March-April 1998. Springer.

[HMC97]

S. Haddad, P. Moreaux, and 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, Toulouse, France, June 1997. Springer.

[CDFH97]

G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science, 176(1-2):39--65, April 1997.
doi: 10.1016/S0304-3975(96)00010-2.
[ DOI | Web page | PS | PDF ]

[EFSH96b]

A. El Fallah Seghrouchni and S. Haddad. A Recursive Model for Distributed Planning. In Proceedings of the 2nd International Conference on Multi-Agent Systems (ICMAS'96), pages 307--314, Kyoto, Japan, December 1996. AAAI Press.

[HM96]

S. Haddad and 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, Osaka, Japan, June 1996. Springer.

[EFSH96a]

A. El Fallah Seghrouchni and 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, Eindhoven, The Netherlands, January 1996. Springer.

[HM95]

S. Haddad and 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, Durham, North Carolina, USA, October 1995. IEEE Computer Society Press.
doi: 10.1109/PNPM.1995.524311.
[ DOI ]

[HITZ95]

S. Haddad, J.-M. Ilié, M. Taghelit, and 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, Turin, Italy, June 1995. Springer.

[CDFH93]

G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Transactions on Computers, 42(11):1343--1360, November 1993.
[ Web page | PS ]

[DH93]

C. Dutheillet and 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, Toulouse, France, October 1993. IEEE Computer Society Press.
doi: 10.1109/PNPM.1993.393433.
[ DOI ]

[EH93]

J. Ezpeleta and 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, Palma de Mallorca, Spain, September 1993. North-Holland.

[ZHT93]

B. Zouari, S. Haddad, and 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, Palma de Mallorca, Spain, September 1993. North-Holland.

[BDH93]

K. Barkaoui, C. Dutheillet, and 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, Chicago, Illinois, USA, June 1993. Springer-Verlag.

[HTZ93]

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, Liège, Belgium, May 1993. North-Holland.

[CHP93]

J.-M. Couvreur, S. Haddad, and 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, Gjern, Denmark, 1993. Springer-Verlag.

[DH92]

C. Dutheillet and 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, Antalya, Turkey, November 1992.

[THS91]

M. Taghelit, S. Haddad, and P. Sens. An Algorithm Providing Fault-Tolerance for Layered Distributed Systems. In Proceedings of the IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems (PDCES'91), Corfu, Greece, June 1991. North-Holland.

[DH91]

C. Dutheillet and 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 (APN'89), volume 483 of Lecture Notes in Computer Science, pages 186--209, Bonn, Germany, 1991. Springer-Verlag.

[CDFH91b]

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.

[CDFH91a]

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.

[Had90]

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 (APN'88), volume 424 of Lecture Notes in Computer Science, pages 209--235, Venice, Italy, 1990. Springer-Verlag.

[DH89]

C. Dutheillet and 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, Kyoto, Japan, December 1989. IEEE Computer Society Press.

[BMBH88]

J.-M. Bernard, J.-L. Mounier, N. Beldiceanu, and S. Haddad. AMI: An Extensible Petri Nets Interactive Workshop. In Proceedings of the 9th International Conference on Applications and Theory of Petri Nets (APN'88), Venice, Italy, June 1988.

[CH88]

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 (APN'88), Venice, Italy, June 1988.

[HC88]

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, Pisa, Italy, April 1988. North-Holland.

[GCH87]

C. Girault, Ch. Chatelain, and 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 (APN'86), volume 266 of Lecture Notes in Computer Science, pages 1--20, Oxford, UK, 1987. Springer-Verlag.

[HG87]

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 (APN'86), volume 266 of Lecture Notes in Computer Science, pages 73--88, Oxford, UK, 1987. Springer-Verlag.

This file was generated by bibtex2html 1.98.