Serge Haddad

Publications

Article dans une revue (33)

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise Lina Ye,Igor Khmelnitsky,Serge Haddad,Benoît Barbot,Benedikt Bolliget al. Logical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/lmcs-20(1:22)2024⟩ Article dans une revue hal-04796195v1
Analysis of recurrent neural networks via property-directed verification of surrogate models Igor Khmelnitsky,Daniel Neider,Rajarshi Roy,Xuan Xie,Benoît Barbotet al. International Journal on Software Tools for Technology Transfer, 2023, 25 (3), pp.341-354. ⟨10.1007/S10009-022-00684-W⟩ Article dans une revue hal-04286080v1
Revisiting Reachability in Polynomial Interrupt Timed Automata Béatrice Bérard,Serge Haddad Information Processing Letters, 2022, 174, pp.106208. ⟨10.1016/j.ipl.2021.106208⟩ Article dans une revue hal-03390569v1
Coverability, Termination, and Finiteness in Recursive Petri Nets Alain Finkel,Serge Haddad,Igor Khmelnitsky Fundamenta Informaticae, 2022, 183, pp.33 - 66. ⟨10.3233/fi-2021-2081⟩ Article dans une revue hal-04270919v1
Polynomial interrupt timed automata: Verification and expressiveness Béatrice Bérard,Serge Haddad,Claudine Picaronny,Mohab Safey El Din,Mathieu Sassolas Information and Computation, 2021, 277, pp.104580. ⟨10.1016/j.ic.2020.104580⟩ Article dans une revue hal-02862629v1
Commodification of accelerations for the Karp and Miller Construction. Alain Finkel,Serge Haddad,Igor Khmelnitsky Discrete Event Dynamic Systems, 2021, 31 (2), pp.251-270 Article dans une revue hal-03137054v1
Diagnosis and Degradation Control for Probabilistic Systems Nathalie Bertrand,Serge Haddad,Engel Lefaucheux Discrete Event Dynamic Systems, 2020, 30 (4), pp.695-723. ⟨10.1007/s10626-020-00320-2⟩ Article dans une revue hal-03095652v1
A Tale of Two Diagnoses in Probabilistic Systems Nathalie Bertrand,Serge Haddad,Engel Lefaucheux Information and Computation, 2019, 269, pp.1-33. ⟨10.1016/j.ic.2019.104441⟩ Article dans une revue hal-02430814v1
Interval Iteration Algorithm for MDPs and IMDPs Serge Haddad,Benjamin Monmege Theoretical Computer Science, 2018, 735, pp.111 - 131. ⟨10.1016/j.tcs.2016.12.003⟩ Article dans une revue hal-01809094v1
Memoryless Determinacy of Finite Parity Games: Another Simple Proof Serge Haddad Information Processing Letters, 2018, 132, pp.3 Article dans une revue hal-01541508v1
The Logical View on Continuous Petri Nets Serge Haddad,Michael Blondin,Christoph Haase,Alain Finkel ACM Transactions on Computational Logic, 2017, 18 (3) Article dans une revue hal-01652793v1
Optimal constructions for active diagnosis Stefan Haar,Serge Haddad,Tarek Melliti,Stefan Schwoon Journal of Computer and System Sciences, 2017, 83 (1), pp.101-120. ⟨10.1016/j.jcss.2016.04.007⟩ Article dans une revue hal-01408047v1
Interrupt Timed Automata with Auxiliary Clocks and Parameters Beatrice Bérard,Serge Haddad,Aleksandra Jovanović,Didier Lime Fundamenta Informaticae, 2016, 143 (3-4), pp.235-259. ⟨10.3233/FI-2016-1313⟩ Article dans une revue hal-01300505v1
Rare Event Handling in Signalling Cascades Benoît Barbot,Serge Haddad,Monika Heiner,Claudine Picaronny International Journal On Advances in Systems and Measurements, 2015, 8 (1-2), pp.69-79 Article dans une revue hal-01242981v1
Complexity Analysis of Continuous Petri Nets Estíbaliz Fraca,Serge Haddad Fundamenta Informaticae, 2015, 137 (1), pp.1-28. ⟨10.3233/FI-2015-1168⟩ Article dans une revue hal-01241119v1
HASL: A new approach for performance evaluation and model checking from concepts to experimentation Paolo Ballarini,Benoît Barbot,Marie Duflot,Serge Haddad,Nihal Pekergin Performance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩ Article dans une revue hal-01221815v1
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis Marco Beccuti,Giuliana Franceschinis,Daniele Codetta-Raiteri,Serge Haddad The Computer Journal, 2014, 57 (12), pp.1870-1892. ⟨10.1093/comjnl/bxt134⟩ Article dans une revue hal-01110130v1
Synthesis and Analysis of Product-form Petri Nets Serge Haddad,Jean Mairesse,Hoang-Thach Nguyen Fundamenta Informaticae, 2013, 122 (1-2), pp.147-172. ⟨10.3233/FI-2013-786⟩ Article dans une revue hal-00925774v1
Bounding models families for performance evaluation in composite Web services Serge Haddad,Lynda Mokdad,Samir Youcef Journal of computational science, 2013, 4 (4), pp.232-241. ⟨10.1016/j.jocs.2011.11.003⟩ Article dans une revue istex hal-04073238v1
The Expressive Power of Time Petri Nets Béatrice Berard,Franck Cassez,Serge Haddad,Didier Lime,Olivier Henri Roux Theoretical Computer Science, 2013, 474, pp.1-20 Article dans une revue hal-00925765v1
Ordinal Theory for Expressiveness of Well-Structured Transition Systems Rémi Bonnet,Alain Finkel,Serge Haddad,Fernando Rosa-Velardo Information and Computation, 2013, 224, pp.1-22. ⟨10.1016/j.ic.2012.11.003⟩ Article dans une revue hal-00925762v1
Bounding models families for performance evaluation in composite Web services Serge Haddad,Lynda Mokdad,Samir Youcef Journal of computational science, 2013, PEDISWESA 2011 and Sc. computing for Cog. Sciences, 4 (4), pp.232-241. ⟨10.1016/j.jocs.2011.11.003⟩ Article dans une revue istex hal-00920332v1
Interrupt Timed Automata: verification and expressiveness Béatrice Bérard,Serge Haddad,Mathieu Sassolas Formal Methods in System Design, 2012, 40 (1), pp.41-87. ⟨10.1007/s10703-011-0140-2⟩ Article dans une revue hal-00683279v1
Lumping partially symmetrical stochastic models Souheib Baarir,Marco Beccuti,Claude Dutheillet,Giuliana Franceschinis,Serge Haddad Performance Evaluation, 2011, 68 (1), pp.21-44. ⟨10.1016/j.peva.2010.09.002⟩ Article dans une revue istex hal-00779940v1
Continuous Petri Nets: Expressive Power and Decidability Issues Laura Recalde,Serge Haddad,Manuel Silva International Journal of Foundations of Computer Science, 2010, 21 (2), pp.235-256. ⟨10.1142/S0129054110007222⟩ Article dans une revue hal-00779919v1
An Integrated Framework for Web Services Orchestration Saab C. Boutrous,Demba Coulibaly,Serge Haddad,Tarek Melliti,Patrice Moreauxet al. International Journal of Web Services Research, 2009, 6 (4), pp.1--29. ⟨10.4018/jwsr.2009071301⟩ Article dans une revue hal-00441818v1
Bornes du temps de réponse des services Web composites Serge Haddad,Lynda Mokdad,Samir Youcef Journal Européen des Systèmes Automatisés, 2009, 43 (7-9), pp.969-983. ⟨10.3166/JESA.43.969-983⟩ Article dans une revue hal-04044869v1
Model Checking Timed and Stochastic Properties with CSL\textsuperscriptTA Susanna Donatelli,Serge Haddad,Jeremy Sproston IEEE Transactions on Software Engineering, 2009, 35 (2), pp.224-240. ⟨10.1109/TSE.2008.108⟩ Article dans une revue hal-00772639v1
When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? Béatrice Bérard,Franck Cassez,Serge Haddad,Didier Lime,Olivier Henri Roux Theoretical Computer Science, 2008, 403 (2--3), pp.202--220 Article dans une revue inria-00363024v1
Recursive Petri nets - Theory and application to discrete event systems Serge Haddad,Denis Poitrenaud Acta Informatica, 2007, 44 (7-8), pp.463-508. ⟨10.1007/s00236-007-0055-y⟩ Article dans une revue istex hal-01175914v1
Dualité identitaire des femmes élèves officiers des Ecoles militaires de Coëtquidan : féminité préservée ou masculinité recherchée ? Stéphane Héas,R. Kergoat,Claude Weber,Serge Haddad Socio-logos, 2007, 2, 14p Article dans une revue halshs-00346253v1
New Efficient Petri Nets Reductions for Parallel Programs Verification Serge Haddad,Jean-François Pradat-Peyre Parallel Processing Letters, 2006, 16, pp.101-116 Article dans une revue hal-01125149v1
Contribution des Réseaux de Petri de Haut Niveau pour l'Etude des Protocoles Serge Haddad,Jean-Michel Ilié,Mohamed Taghelit,Claude Dutheillet,Patrice Moreaux Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997, 16 (6), pp.701-723 Article dans une revue hal-01199460v1

Communication dans un congrès (84)

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

Ouvrages (5)

Transactions on Petri Nets and Other Models of Concurrency X Maciej Koutny,Jörg Desel,Serge Haddad Springer, 9410, 2015 Ouvrages hal-01242977v1
Distributed Systems Design and Algorithms Serge Haddad,Fabrice Kordon,Laurent Pautet,Laure Petrucci Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011 Ouvrages hal-00779937v1
Models and Analysis in Distributed Systems Serge Haddad,Fabrice Kordon,Laurent Pautet,Laure Petrucci Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011 Ouvrages hal-00779944v1
Méthodes formelles pour les systèmes répartis et coopératifs Serge Haddad,Fabrice Kordon,Laure Petrucci Hermès, pp.370, 2006, Traités IC2 - Informatique et systèmes d'information Ouvrages hal-00084193v1
A Self-stabilizing Protocol for an Ad hoc Networks of Mobile Robots Joyce El Haddad,Serge Haddad pp.34, 2002 Ouvrages hal-00017281v1

Chapitre d'ouvrage (13)

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

Pré-publication, Document de travail (4)

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

Rapport (9)

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