Accéder directement au contenu

Serge Haddad

140
Documents

Publications

Image document

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

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Memoryless Determinacy of Finite Parity Games: Another Simple Proof

Serge Haddad
Information Processing Letters, 2018, 132, pp.3
Article dans une revue hal-01541508v1
Image document

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
Image document

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
Image document

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

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
Image document

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

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

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

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

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 hal-00920332v1

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

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

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
Image document

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

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

An Integrated Framework for Web Services Orchestration

Saab C. Boutrous , Demba Coulibaly , Serge Haddad , Tarek Melliti , Patrice Moreaux
International Journal of Web Services Research, 2009, 6 (4), pp.1--29. ⟨10.4018/jwsr.2009071301⟩
Article dans une revue hal-00441818v1
Image document

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 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
Image document

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
Image document

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

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

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

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

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

Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models

Serge Haddad , Susanna Donatelli
LATA 2020 2021 - 14th et 15th International Conference on Language and Automata Theory and Applications, Sep 2021, Milan, Italy
Communication dans un congrès hal-03150821v1
Image document

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
Image document

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
Image document

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
Image document

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
Language and Automata Theory and Applications. LATA 2020., 2020, Milan, Italy. pp.170-183, ⟨10.1007/978-3-030-40608-0_11⟩
Communication dans un congrès hal-04390304v1
Image document

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
Image document

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

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
Image document

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

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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

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
Image document

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

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

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
Image document

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
Image document

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
Image document

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

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
Image document

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

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
Image document

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
Image document

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 hal-00926196v1

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 hal-00926200v1

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 hal-00936961v1

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
Image document

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

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

É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

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

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 hal-00779905v1

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

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 hal-00772633v1

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

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 Petrucci
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 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
Image document

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
Image document

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
Image document

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

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

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

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

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

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

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

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

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

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

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

Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata

Susanna Donatelli , Serge Haddad
FORMATS 2020: Formal Modeling and Analysis of Timed Systems, pp.215 - 230, 2020, ⟨10.1007/978-3-030-57628-8_13⟩
Chapitre d'ouvrage hal-03136066v1

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

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

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

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

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

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

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
Image document

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 hal-02306021v1
Image document

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 hal-01725835v1
Image document

Diagnosis in Infinite-State Probabilistic Systems (long version)

Nathalie Bertrand , Serge Haddad , Engel Lefaucheux
[Research Report] Inria Rennes; LSV, ENS Cachan. 2016
Rapport hal-01334218v1

Approaching the Coverability Problem Continuously

Michael Blondin , Alain Finkel , Christoph Haase , Serge Haddad
[Research Report] 1510.05724, Computing Research Repository. 2015
Rapport 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 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 hal-01124907v1
Image document

A model checking decision procedure for sequential recursive Petri nets

Serge Haddad , Denis Poitrenaud
[Research Report] lip6.2000.024, LIP6. 2000
Rapport hal-02548330v1
Image document

Decidability and Undecidability Results for Recursive Petri Nets

Serge Haddad , Denis Poitrenaud
[Research Report] lip6.1999.019, LIP6. 1999
Rapport hal-02548232v1
Image document

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 hal-02547727v1