Serge Haddad

148
Documents

Publications

Publications

Deposit thumbnail

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise

Lina Ye , Igor Khmelnitsky , Serge Haddad , Benoît Barbot , Benedikt Bollig et al.

Logical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/lmcs-20(1:22)2024⟩

Article dans une revue hal-04796195v1
Deposit thumbnail

Analysis of recurrent neural networks via property-directed verification of surrogate models

Igor Khmelnitsky , Daniel Neider , Rajarshi Roy , Xuan Xie , Benoît Barbot et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Memoryless Determinacy of Finite Parity Games: Another Simple Proof

Serge Haddad

Information Processing Letters, 2018, 132, pp.3

Article dans une revue hal-01541508v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Moreaux et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise

Igor Khmelnitsky , Serge Haddad , Lina Ye , Benoît Barbot , Benedikt Bollig et 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
Deposit thumbnail

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
Deposit thumbnail

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 Khmelnitsky et 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 Barbot et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Tutorial on Formal Methods for Distributed and Cooperative Systems

Christine Choppy , Serge Haddad , Hanna Klaudel , Fabrice Kordon , Laure Petrucci et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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