Skip to Main content

Export Publications

Export the displayed publications:
Number of documents

135

Publications of Serge Haddad


Journal articles27 documents

  • Alain Finkel, Serge Haddad, Igor Khmelnitsky. Commodification of accelerations for the Karp and Miller Construction.. Discrete Event Dynamic Systems, Springer Verlag, In press. ⟨hal-03137054⟩
  • Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas. Polynomial interrupt timed automata: Verification and expressiveness. Information and Computation, Elsevier, 2020, pp.104580. ⟨10.1016/j.ic.2020.104580⟩. ⟨hal-02862629⟩
  • Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Diagnosis and Degradation Control for Probabilistic Systems. Discrete Event Dynamic Systems, Springer Verlag, 2020, 30 (4), pp.695-723. ⟨10.1007/s10626-020-00320-2⟩. ⟨hal-03095652⟩
  • Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. A Tale of Two Diagnoses in Probabilistic Systems. Information and Computation, Elsevier, 2019, 269, pp.1-33. ⟨10.1016/j.ic.2019.104441⟩. ⟨hal-02430814⟩
  • Serge Haddad. Memoryless Determinacy of Finite Parity Games: Another Simple Proof. Information Processing Letters, Elsevier, 2018, pp.3. ⟨hal-01541508⟩
  • Serge Haddad, Benjamin Monmege. Interval Iteration Algorithm for MDPs and IMDPs. Theoretical Computer Science, Elsevier, 2018, 735, pp.111 - 131. ⟨10.1016/j.tcs.2016.12.003⟩. ⟨hal-01809094⟩
  • Serge Haddad, Michael Blondin, Christoph Haase, Alain Finkel. The Logical View on Continuous Petri Nets. ACM Transactions on Computational Logic, Association for Computing Machinery, 2017, 18 (3). ⟨hal-01652793⟩
  • Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon. Optimal constructions for active diagnosis. Journal of Computer and System Sciences, Elsevier, 2017, 83 (1), pp.101-120. ⟨10.1016/j.jcss.2016.04.007⟩. ⟨hal-01408047⟩
  • Beatrice Bérard, Serge Haddad, Aleksandra Jovanović, Didier Lime. Interrupt Timed Automata with Auxiliary Clocks and Parameters. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2016, 143 (3-4), pp.235-259. ⟨10.3233/FI-2016-1313⟩. ⟨hal-01300505⟩
  • Estíbaliz Fraca, Serge Haddad. Complexity Analysis of Continuous Petri Nets. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2015, 137 (1), pp.1-28. ⟨10.3233/FI-2015-1168⟩. ⟨hal-01241119⟩
  • Benoît Barbot, Serge Haddad, Monika Heiner, Claudine Picaronny. Rare Event Handling in Signalling Cascades. International Journal On Advances in Systems and Measurements, IARIA, 2015, 8 (1-2), pp.69-79. ⟨hal-01242981⟩
  • Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Performance Evaluation, Elsevier, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩. ⟨hal-01221815⟩
  • Marco Beccuti, Giuliana Franceschinis, Daniele Codetta-Raiteri, Serge Haddad. Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. The Computer Journal, Oxford University Press (UK), 2014, 57 (12), pp.1870-1892. ⟨10.1093/comjnl/bxt134⟩. ⟨hal-01110130⟩
  • Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo. Ordinal Theory for Expressiveness of Well-Structured Transition Systems. Information and Computation, Elsevier, 2013, 224, pp.1-22. ⟨hal-00925762⟩
  • Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. The Expressive Power of Time Petri Nets. Theoretical Computer Science, Elsevier, 2013, 474, pp.1-20. ⟨hal-00925765⟩
  • Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen. Synthesis and Analysis of Product-form Petri Nets. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, 122 (1-2), pp.147-172. ⟨hal-00925774⟩
  • Serge Haddad, Lynda Mokdad, Samir Youcef. Bounding models families for performance evaluation in composite Web services. Journal of computational science, Elsevier, 2013, PEDISWESA 2011 and Sc. computing for Cog. Sciences, 4 (4), pp.232-241. ⟨10.1016/j.jocs.2011.11.003⟩. ⟨hal-00920332⟩
  • Béatrice Bérard, Serge Haddad, Mathieu Sassolas. Interrupt Timed Automata: verification and expressiveness. Formal Methods in System Design, Springer Verlag, 2012, 40 (1), pp.41-87. ⟨10.1007/s10703-011-0140-2⟩. ⟨hal-00683279⟩
  • Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad. Lumping partially symmetrical stochastic models. Performance Evaluation, Elsevier, 2011, 68 (1), pp.21-44. ⟨10.1016/j.peva.2010.09.002⟩. ⟨hal-00779940⟩
  • Laura Recalde, Serge Haddad, Manuel Silva. Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science, World Scientific Publishing, 2010, 21 (2), pp.235-256. ⟨10.1142/S0129054110007222⟩. ⟨hal-00779919⟩
  • Susanna Donatelli, Serge Haddad, Jeremy Sproston. Model Checking Timed and Stochastic Properties with CSL\textsuperscriptTA. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2009, 35 (2), pp.224-240. ⟨10.1109/TSE.2008.108⟩. ⟨hal-00772639⟩
  • Saab C. Boutrous, Demba Coulibaly, Serge Haddad, Tarek Melliti, Patrice Moreaux, et al.. An Integrated Framework for Web Services Orchestration. International Journal of Web Services Research, Idea Group Pub, 2009, 6 (4), pp.1--29. ⟨10.4018/jwsr.2009071301⟩. ⟨hal-00441818⟩
  • Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?. Theoretical Computer Science, Elsevier, 2008, 403 (2--3), pp.202--220. ⟨inria-00363024⟩
  • Serge Haddad, Denis Poitrenaud. Recursive Petri nets - Theory and application to discrete event systems. Acta Informatica, Springer Verlag, 2007, 44 (7-8), pp.463-508. ⟨10.1007/s00236-007-0055-y⟩. ⟨hal-01175914⟩
  • Stéphane Héas, R. Kergoat, Claude Weber, Serge Haddad. Dualité identitaire des femmes élèves officiers des Ecoles militaires de Coëtquidan : féminité préservée ou masculinité recherchée ?. Socio-logos : Revue publiée par l'Association Française de Sociologie, Association Française de Sociologie, 2007, 14p. ⟨halshs-00346253⟩
  • Serge Haddad, Jean-François Pradat-Peyre. New Efficient Petri Nets Reductions for Parallel Programs Verification. Parallel Processing Letters (PPL), World Scientific Publishing Company, 2006, 16, pp.101-116. ⟨hal-01125149⟩
  • Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Claude Dutheillet, Patrice Moreaux. Contribution des Réseaux de Petri de Haut Niveau pour l'Etude des Protocoles. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1997, 16 (6), pp.701-723. ⟨hal-01199460⟩

Conference papers76 documents

  • Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, et al.. Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast (Online), Australia. ⟨hal-03285418⟩
  • Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, et al.. Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI 2021 - 15th International Conference on Grammatical Inference, Aug 2021, New York City / Virtual, United States. ⟨hal-03285433⟩
  • Serge Haddad, Susanna Donatelli. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. LATA 2020 2021 - 14th et 15th International Conference on Language and Automata Theory and Applications, Sep 2021, Milan, Italy. ⟨hal-03150821⟩
  • Serge Haddad, Igor Khmelnitsky. Dynamic Recursive Petri Nets. PETRI NETS 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France. ⟨hal-02511321⟩
  • Alain Finkel, Serge Haddad, Igor Khmelnitsky. Minimal Coverability Tree Construction Made Complete and Efficient. FoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland. ⟨hal-02479879⟩
  • Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye. Active Prediction for Discrete Event Systems. FSTTCS 2020 - 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2020, Goa / Virtual, India. ⟨hal-02951944v3⟩
  • Alain Finkel, Serge Haddad, Igor Khmelnitsky. Réification des accélérations pour la construction de Karp et Miller. MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France. ⟨hal-02319755⟩
  • Alain Finkel, Serge Haddad, Igor Khmelnitsky. Coverability and Termination in Recursive Petri Nets. Petri Nets 2019 / ACSD 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany. ⟨hal-02081019⟩
  • Alain Finkel, Serge Haddad, Igor Khmeniltsky. A Tool for the Coverability Problems in Petri Nets. MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France. ⟨hal-02432710⟩
  • Alain Finkel, Serge Haddad, Igor Khmeniltsky. Réification des accélérations pour la construction de Karp et Miller. Modélisation des Systèmes Réactifs (MSR 19), Nov 2019, Angers, France, Nov 2019, Angers, France. ⟨hal-02431913⟩
  • Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Integrating Simulink Models into the Model Checker Cosmos. 39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩. ⟨hal-01916467⟩
  • Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Statistical Model-Checking for Autonomous Vehicle Safety Validation. Conference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France. ⟨hal-01491064⟩
  • Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi. Trading Optimality for Performance in Location Privacy. 11th EAI International Conference on Performance Evaluation Methodologies and Tools, Dec 2017, Venice, Italy. ⟨hal-01678256⟩
  • Béatrice Bérard, Yann Duplouy, Serge Haddad. Une sémantique formelle pour les modèles Simulink. École d'été Temps Réel 2017, Aug 2017, Paris, France. ⟨hal-01578297⟩
  • Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Diagnostic et contrôle de la dégradation des systèmes probabilistes. MSR 2017 - Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. ⟨hal-01618922⟩
  • Béatrice Bérard, Serge Haddad, Engel Lefaucheux. Probabilistic Disclosure: Maximisation vs. Minimisation. FSTTCS 2017, Dec 2017, Kanpur, India. pp.13:1-13:14, ⟨10.4230/LIPIcs.FSTTXS.2017⟩. ⟨hal-01618955⟩
  • Vincent Jugé, Patricia Bouyer, Serge Haddad. Unbounded product-form Petri nets. 28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.31⟩. ⟨hal-01615257⟩
  • Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad. Approaching the Coverability Problem Continuously. 22nd International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2016), Apr 2016, Eindhoven, Netherlands. pp.480-496, ⟨10.1007/978-3-662-49674-9_28⟩. ⟨hal-01408044⟩
  • Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Accurate approximate diagnosability of stochastic systems. 10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic. ⟨hal-01220954v2⟩
  • Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Diagnosis in Infinite-State Probabilistic Systems. 27th International Conference on Concurrency Theory (Concur 2016), Aug 2016, Québec city, Canada. pp.37:1-37:15, ⟨10.4230/LIPIcs.CONCUR.2016.37⟩. ⟨hal-01373354⟩
  • Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon. Active Diagnosis with Observable Quiescence. 54th IEEE Conference on Decision and Control (CDC'15), 2015, Osaka, Japan. ⟨hal-01242934⟩
  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. State Space Reduction Strategie for Model Checking Concurrent C Programs. 9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), 2015, Bucharest, Romania. pp.65-76. ⟨hal-01242951⟩
  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs. Tenth International Conference on Software Engineering Advances (ISCEA 2015), Nov 2015, Barcelone, Spain. ⟨hal-01501469⟩
  • Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas. Polynomial Interrupt Timed Automata. The 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩. ⟨hal-01222572⟩
  • Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Foundation of Diagnosis and Predictability in Probabilistic Systems. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India. pp.417-429. ⟨hal-01088117⟩
  • Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët. Active diagnosis for probabilistic systems. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), Verimag- INRIA Rhône Alpes, Apr 2014, Grenoble, France. pp.29-42, ⟨10.1007/978-3-642-54830-7_2⟩. ⟨hal-00930919⟩
  • Benoît Barbot, Serge Haddad, Monika Heiner, Claudine Picaronny. Rare Event Handling in Signalling Cascades. 6th International Conference on Advances in System Simulation (SIMUL'14), 2014, Nice, France. pp.126-131. ⟨hal-01091144⟩
  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. Specifying and Verifying Concurrent C Programs with TLA+. The 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'14)., Nov 2014, X, France. pp.12-25. ⟨hal-01126566⟩
  • Serge Haddad, Rolf Hennicker, Mikael H. Møller. Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. 8th Symposium on Trustworthy Global Computing (TGC'13), 2014, Buenos Aires, Argentina. pp.219-234. ⟨hal-01091099⟩
  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Kamel Barkaoui, Serge Haddad. An Approach for Verifying Concurrent C Programs. 8th Junior Researcher Workshop on Real-Time Computing, Oct 2014, Versailles, France. pp.33-36. ⟨hal-01315749⟩
  • Serge Haddad, Benjamin Monmege. Reachability in MDPs: Refining Convergence of Value Iteration. 8th International Workshop on Reachability Problems (RP'14), Sep 2014, Oxford, United Kingdom. pp.125-137, ⟨10.1007/978-3-319-11439-2_10⟩. ⟨hal-01091122v2⟩
  • Sundararaman Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët. The steady-state control problem for Markov decision processes. Qest 2013, Sep 2013, Buenos Aires, Argentina. pp.290-304. ⟨hal-00879355⟩
  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Kamel Barkaoui, Serge Haddad. C2TLA+ : Traduction automatique du code C vers TLA+. École d’Été Temps Réel 2013, Aug 2013, Toulouse, France. ⟨hal-01314832⟩
  • Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime. Parametric Interrupt Timed Automata. 7th Workshop on Reachability Problems in Computational Models (RP'13), Sep 2013, Uppsala, Sweden. pp.59-69, ⟨10.1007/978-3-642-41036-9_7⟩. ⟨hal-00936961⟩
  • Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon. Optimal Constructions for Active Diagnosis. 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Dec 2013, Guwahati, India. pp.527-539. ⟨hal-00926098⟩
  • Estíbaliz Fraca, Serge Haddad. Complexity Analysis of Continuous Petri Nets. 34th International Conference on Applications and Theory of Petri Nets (ICATPN'13), 2013, Italy. pp.170-189, ⟨10.1007/978-3-642-38697-8_10⟩. ⟨hal-00926196⟩
  • Serge Haddad, Rolf Hennicker, Mikael H. Møller. Channel Properties of Asynchronously Composed Petri Nets. 34th International Conference on Applications and Theory of Petri Nets (ICATPN'13), 2013, Italy. pp.369-388, ⟨10.1007/978-3-642-38697-8_20⟩. ⟨hal-00926200⟩
  • Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder. Concurrent Games on VASS with Inhibition. 23rd International Conference on Concurrency Theory (CONCUR'12), Sep 2012, Newcastle upon Tyne, United Kingdom. pp.39-52, ⟨10.1007/978-3-642-32940-1_5⟩. ⟨hal-00776589⟩
  • Benoît Barbot, Serge Haddad, Claudine Picaronny. Importance Sampling for Model Checking of Continuous Time Markov Chains. Proceedings of the 4th International Conference on Advances in System Simulation (SIMUL'12), 2012, Lisbon, Portugal. pp.30-35. ⟨hal-00776563⟩
  • Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen. The Ordinal Recursive Complexity of of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets. 27th ACM/IEEE Symposium on Logic in Computer Science, Jun 2012, Dubrovnik, Croatia. pp.355--364, ⟨10.1109/LICS.2012.46⟩. ⟨hal-00793811⟩
  • Benoît Barbot, Serge Haddad, Claudine Picaronny. Coupling and Importance Sampling for Statistical Model Checking. Proceedings of the 18th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'12), 2012, Tallinn, Estonia. pp.331-346, ⟨10.1007/978-3-642-28756-5_23⟩. ⟨hal-00776795⟩
  • Benoît Barbot, Serge Haddad, Claudine Picaronny. Échantillonnage préférentiel pour le model checking statistique. MSR'11, 2011, Lille, France. ⟨hal-01113449⟩
  • Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: An Expressive Language for Statistical Verification of Stochastic Models. VALUETOOLS’11, 2011, Cachan, France. ⟨hal-01113442⟩
  • Mehdi Ben Hmida, Serge Haddad. Client Synthesis for Aspect Oriented Web Services. Revised Selected Papers of the 15th Monterey Workshop on Foundations of Computer Software (MONTEREY'08), 2010, Budapest, Hungary, Hungary. pp.24-42, ⟨10.1007/978-3-642-12566-9_2⟩. ⟨hal-00779905⟩
  • Dorsaf El~hog-Benzina, Serge Haddad, Rolf Hennicker. Process Refinement and Asynchronous Composition with Modalities. Proceedings of the 2nd International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'10), 2010, Braga, Portugal. ⟨hal-00779893⟩
  • Béatrice Bérard, Serge Haddad, Mathieu Sassolas. Real Time Properties for Interrupt Timed Automata. 17th International Symposium on Temporal Representation (TIME 2010), Sep 2010, Paris, France. pp.69-76, ⟨10.1109/TIME.2010.11⟩. ⟨hal-00772673⟩
  • Serge Haddad, Lynda Mokdad, Samir Youcef. Selection of the Best composite Web Service Based on Quality of Service. Proceedings of the 2nd International Symposium on Services Science and 3rd International Conference on Business Process and Services Computing (ISSS\slashBPSC'10), 2010, Leipzig, Germany, Germany. pp.255-266. ⟨hal-00772681⟩
  • Serge Haddad, Lynda Mokdad, Samir Youcef. Response time of BPEL4WS constructors. Proceedings of the 15th IEEE Symposium on Computers and Communications (ISCC'10), 2010, Riccione, Italy, Italy. pp.695-700, ⟨10.1109/ISCC.2010.5546538⟩. ⟨hal-00779930⟩
  • Béatrice Bérard, Serge Haddad. Interrupt Timed Automata. 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), Mar 2009, York, United Kingdom. pp.197-211, ⟨10.1007/978-3-642-00596-1_15⟩. ⟨hal-00772678⟩
  • H. Mahdi Zargayouna, Flavien Balbo, Serge Haddad. Agents Secure Interaction in Data Driven Languages. Revised Selected Papers of the 2nd Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS'09), Sep 2009, Torino, Italy, Italy. pp.72-91, ⟨10.1007/978-3-642-13338-1_5⟩. ⟨hal-00772633⟩
  • Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves. Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains. 28th American Control Conference (ACC'09), Jun 2009, Saint Louis, MO, United States. pp.5018-5025, ⟨10.1109/ACC.2009.5160020⟩. ⟨hal-00772677⟩
  • Serge Haddad, Nihal Pekergin. Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains. Proceedings of the 6th International Conference on Quantitative Evaluation of Systems (QEST'09), Sep 2009, Budapest, Hungary, Hungary. pp.177-186, ⟨10.1109/QEST.2009.42⟩. ⟨hal-00772668⟩
  • Béatrice Bérard, Serge Haddad, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory. 9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. pp.346-351, ⟨10.1109/WODES.2008.4605970⟩. ⟨hal-01303699⟩
  • Serge Haddad, Pascal Poizat. Transactional Reduction of Component Compositions. Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07), 2007, Tallin, Estonia. pp.341--357, ⟨10.1007/978-3-540-73196-2_22⟩. ⟨hal-00342086⟩
  • Mehdi Ben Hmida, Celine Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Ferraz Tomaz. Dynamically Adapting Clients to Web Services Changing. Workshop on Emerging Web Services Technology, 2006, Switzerland. pp.1. ⟨hal-00706372⟩
  • Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, et al.. Tutorial on Formal Methods for Distributed and Cooperative Systems. 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Nov 2006, Tunis, Tunisia. pp.362--365, ⟨10.1007/11921240_25⟩. ⟨hal-00340483⟩
  • Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié. On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets. 2nd International Conference on the Quantitative Evaluation of Systems (QEST '05), Sep 2005, Torino, Italy. pp.23-32, ⟨10.1109/QEST.2005.26⟩. ⟨hal-01486924⟩
  • Tarak Melliti, Serge Haddad, Alexandru Suna, Amal El Fallah-Seghrouchni. Web-MASI: Multi-Agent Systems Interoperability Using a Web Sevices Based Approach. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sep 2005, Compiègne, France. pp.739-742, ⟨10.1109/IAT.2005.142⟩. ⟨hal-01420560⟩
  • Kaïs Klai, Serge Haddad, Jean-Michel Ilié. Modular Verification of Petri Nets Properties: A Structure-Based Approach. 25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05), Oct 2005, Taipei, Taiwan. pp.189-203, ⟨10.1007/11562436_15⟩. ⟨hal-01416459⟩
  • Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. Comparison of Different Semantics for Time Petri Nets. 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Oct 2005, Taiwan, Taiwan. pp.293--307. ⟨inria-00368580⟩
  • Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. When are Timed Automata weakly timed bisimilar to Time Petri Nets ?. 25th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), Dec 2005, Chennai, India. pp.276--284. ⟨inria-00368578⟩
  • Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS 2005 - 3rd International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2005, Uppsala, Sweden. pp.211-225, ⟨10.1007/11603009_17⟩. ⟨inria-00368577⟩
  • Serge Haddad, Jean-Michel Ilié, Kaïs Klai. Symbolic Observation Graph : An Efficient Structure for On-The-Fly Action-based Linear Time Logic Model Checking. 15th IEEE International Symposium on Software Reliability Engineering (ISSRE '04), Nov 2004, Saint-Malo, France. pp.11-12. ⟨hal-01520361⟩
  • Souheib Baarir, Serge Haddad, Jean-Michel Ilié. Exploiting Partial Symmetries in Well-formed nets for the Reachability and the linear Time Model Checking Problems. 7th Workshop on Discrete Event Systems (WODES '04), Sep 2004, Reims, France. pp.223-228. ⟨hal-01519998⟩
  • Amal El Fallah-Seghrouchni, Serge Haddad, Tarak Melliti, Alexandru Suna. Interopérabilité des systèmes multi-agents à l'aide des Services Web. JFSMA 2004 - 12èmes Journées Francophones sur les Systèmes Multi-Agents, Nov 2004, Paris, France. pp.91-104. ⟨hal-01521085⟩
  • Serge Haddad, Jean-Michel Ilié, Kaïs Klai. Design and Evaluation of a Symbolic and Abstraction-based Model Checker. 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA '04), Oct 2004, Taipei, Taiwan. pp.196-210, ⟨10.1007/978-3-540-30476-0_19⟩. ⟨hal-01520375⟩
  • Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre. New Coloured Reductions for Software Validation. Workshop on Discrete Event Systems, Reims, Jan 2004, X, France. pp.355-360. ⟨hal-01124921⟩
  • Jean-Michel Ilié, Kaïs Klai, Serge Haddad. An Incremental Verification Technique Using Reduction of Petri Nets : A Petri net Approach. International IEEE Conference on System Man and Cybernetics 2002 (IEEE SMC 02), Oct 2002, Hammamet, Tunisia. ⟨10.1109/ICSMC.2002.1173442⟩. ⟨hal-01544386⟩
  • Serge Haddad, Denis Poitrenaud. Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. 8th International Symposium on Temporal Representation and Reasonning (TIME-01), Jun 2001, Cividale del Friuli, Italy. pp.198-205, ⟨10.1109/TIME.2001.930718⟩. ⟨hal-01571067⟩
  • Serge Haddad, Denis Poitrenaud. Modelling and Analyzing Systems with Recursive Petri Nets. 5th Workshop on Discrete Event Systems (WODES '2000), Aug 2000, Ghent, Belgium. pp.449-458, ⟨10.1007/978-1-4615-4493-7_48⟩. ⟨hal-01573071⟩
  • Serge Haddad, Jean-Michel Ilié, Khalil Ajami. A Model Checking Method for Partially Symmetric Systems. International conference on Formal Methods for Distributed System Development, FORTE/PSTV2000, Oct 2000, Pisa, Italy. pp.121-136. ⟨hal-01573069⟩
  • Serge Haddad, Denis Poitrenaud. Theoretical Aspects of Recursive Petri Nets. 20th International Conference on Application and Theory of Petri Nets, Jun 1999, Williamsburg, Virginia, United States. pp.228-247, ⟨10.1007/3-540-48745-X_14⟩. ⟨hal-01574369⟩
  • Khalil Ajami, Serge Haddad, Jean-Michel Ilié. Exploiting Symmetry in Linear Time Temporal Logic Model Checking. European Conference on Theory and Practice of Software, Mar 1998, Lisbon, Portugal. pp.52-67, ⟨10.1007/BFb0054164⟩. ⟨hal-01621728⟩
  • Mohamed Taghelit, Serge Haddad, Pierre Sens. A Structural Approach to Design Reliable Distributed Applications. 2nd European Research Seminar on Advances in Distributed Systems, Mar 1997, Zinal, Switzerland. ⟨hal-01629535⟩
  • Kamel Barkaoui, C. Dutheillet, Serge Haddad. An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. Application and Theory of Petri Nets, Jan 1993, X, France. pp.69-88. ⟨hal-01125464⟩
  • Jean-Michel Couvreur, Serge Haddad, Jean-François Peyre. Computation of Generative Families of Positive Semi-Flows in Two Types of Coloured Nets. 12th Int. Conf. on Application and Theory of Petri Nets, Jan 1991, X, France. ⟨hal-01124761⟩

Books4 documents

  • Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. Models and Analysis in Distributed Systems. Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011. ⟨hal-00779944⟩
  • Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. Distributed Systems Design and Algorithms. Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011. ⟨hal-00779937⟩
  • Serge Haddad, Fabrice Kordon, Laure Petrucci. Méthodes formelles pour les systèmes répartis et coopératifs. Hermès, pp.370, 2006, Traités IC2 - Informatique et systèmes d'information. ⟨hal-00084193⟩
  • Joyce El Haddad, Serge Haddad. A Self-stabilizing Protocol for an Ad hoc Networks of Mobile Robots. pp.34, 2002. ⟨hal-00017281⟩

Book sections14 documents

  • Susanna Donatelli, Serge Haddad. Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. FORMATS 2020: Formal Modeling and Analysis of Timed Systems, pp.215 - 230, 2020, ⟨10.1007/978-3-030-57628-8_13⟩. ⟨hal-03136066⟩
  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. Specifying and Verifying Concurrent C Programs with TLA+. Formal Techniques for Safety-Critical Systems, 476, Springer, pp.206-222, 2015, Communications in Computer and Information Science. ⟨hal-01242954⟩
  • Nathalie Bertrand, Serge Haddad. Contrôle, probabilités et observation partielle. Informatique Mathématique. Une photographie en 2015, CNRS Édition, pp.177-227, 2015. ⟨hal-01242962⟩
  • Salem Chakhar, Serge Haddad, Lynda Mokdad, Vincent Mousseau. Multicriteria Evaluation-Based Framework for Composite Web Service Selection. Evaluation and Decision Models with Multiple Criteria: Case Studies, Springer, 2015, 10.1007/978-3-662-46816-6. ⟨hal-01472175⟩
  • Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. General introduction. Distibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩. ⟨hal-01288072⟩
  • Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci. Introduction. Models and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142. ⟨hal-01282495⟩
  • Serge Haddad, Jean-Michel Ilié. Symmetry and Temporal Logic. Petri Nets: Fundamental Models, Verification and Applications, 2, ISTE - WEISLEY, pp.435-459, 2009, 978-1-84821-079-0. ⟨10.1002/9780470611647.ch14⟩. ⟨hal-01295288⟩
  • Serge Haddad, Patrice Moreaux. Stochastic Petri Nets. M. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.269-302, 2009. ⟨hal-00441922⟩
  • Serge Haddad, Patrice Moreaux. Stochastic Well-formed Petri Nets. M. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.303-320, 2009. ⟨hal-00441928⟩
  • Serge Haddad, Patrice Moreaux. Tensor Methods and Stochastic Petri Nets. M. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.321-346, 2009. ⟨hal-00442015⟩
  • Amal El Fallah-Seghrouchni, Serge Haddad. Interopérabilité des systèmes multi-agents à l'aide des services web. Technologies des systèmes multi-agents et applications industrielles, Hermès Lavoisier, pp.77-99, 2009, IC2 Series, 978-2-7462-1785-0. ⟨hal-01296057⟩
  • Serge Haddad, Patrice Moreaux. Verification of probabilistic systems - Methods and tools. S. Merz and N. Navet. Modeling and Verification of Real-Time Systems, ISTE - John Wiley & Sons, pp.289-318, 2008. ⟨hal-00329562⟩
  • Serge Haddad, Fabrice Kordon, Laure Petrucci. Introduction générale. Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.1-6, 2006, 2-7462-1447-4. ⟨hal-01351774⟩
  • Serge Haddad, Jean-Michel Ilié. Symétries et logique temporelle. Vérification et mise en oeuvre des réseaux de Petri, Hermes Science Publication, 2003, Traité IC2, série Informatique et Systèmes d'Information, 2-7462-0445-2. ⟨hal-01529951⟩

Directions of work or proceedings1 document

  • Maciej Koutny, Jörg Desel, Serge Haddad. Transactions on Petri Nets and Other Models of Concurrency X. France. 9410, Springer, 2015. ⟨hal-01242977⟩

Preprints, Working Papers, ...4 documents

  • Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, et al.. Property-Directed Verification of Recurrent Neural Networks. 2020. ⟨hal-03134999⟩
  • Benoît Barbot, Marco Beccuti, Giuliana Franceschinis, Serge Haddad, Claudine Picaronny. Bounds Computation for Symmetric Nets. 2018. ⟨hal-01726011⟩
  • Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen. Synthesis and Analysis of Product-form Petri Nets. 2011. ⟨hal-00582584v2⟩
  • Béatrice Berard, F. Cassez, Serge Haddad, D. Lime, Olivier Henri Roux. Comparison of Expressiveness for Timed Automata and Time Petri Nets. 2006. ⟨hal-00115535⟩

Reports9 documents

  • Susanna Donatelli, Serge Haddad. Autonomous Transitions Enhance CSLTA Expressiveness and Conciseness. [Research Report] Inria Saclay Ile de France; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); Universita degli Studi di Torino. 2019. ⟨hal-02306021⟩
  • Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Integrating Simulink Models into the Model Checker Cosmos. [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018. ⟨hal-01725835⟩
  • Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Diagnosis in Infinite-State Probabilistic Systems (long version). [Research Report] Inria Rennes; LSV, ENS Cachan. 2016. ⟨hal-01334218⟩
  • Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad. Approaching the Coverability Problem Continuously. [Research Report] 1510.05724, Computing Research Repository. 2015. ⟨hal-01242916⟩
  • Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Marc Zeitoun. Distributed Synthesis with Incomparable Information. [Research Report] LSV-10-17, LSV. 2010. ⟨hal-00779927⟩
  • Serge Haddad, Jean-François Pradat-Peyre. Efficient Reductions for LTL Formulae Verification. [Research Report] CEDRIC-04-634, CEDRIC Lab/CNAM. 2004. ⟨hal-01124907⟩
  • Serge Haddad, Denis Poitrenaud. A model checking decision procedure for sequential recursive Petri nets. [Research Report] lip6.2000.024, LIP6. 2000. ⟨hal-02548330⟩
  • Serge Haddad, Denis Poitrenaud. Decidability and Undecidability Results for Recursive Petri Nets. [Research Report] lip6.1999.019, LIP6. 1999. ⟨hal-02548232⟩
  • Khalil Ajami, Serge Haddad, Jean-Michel Ilié. Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. [Research Report] lip6.1998.020, LIP6. 1998. ⟨hal-02547727⟩