Serge Haddad
Publications
Publications
|
|
Beyond Decisiveness of Infinite Markov Chains44th 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⟩ |
|
|
On the Expressive Power of Transfinite Sequences for Continuous Petri NetsPETRI 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⟩ |
|
|
Introducing Divergence for Infinite Probabilistic ModelsRP 2023 - 17th International Conference on Reachability Problems, Oct 2023, Nice, France. pp.127-140, ⟨10.1007/978-3-031-45286-4_10⟩ |
|
|
About Decisiveness of Dynamic Probabilistic Modelsthe 34th International Conference on Concurrency Theory, Sep 2023, Gif-sur-Yvette, France. ⟨10.4230/LIPICS.CONCUR.2023.14⟩ |
|
|
Analyzing Robustness of Angluin's L* Algorithm in Presence of NoiseGandALF 2022 - 13th International Symposium on Games, Automata, Logics and Formal Verification, Sep 2022, Madrid, Spain. pp.81-96, ⟨10.4204/EPTCS.370.6⟩ |
|
|
A Turn-Based Approach for Qualitative Time Concurrent GamesPETRI 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⟩ |
|
|
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* SearchICGI 2021 - 15th International Conference on Grammatical Inference, Aug 2021, New York City / Virtual, United States. pp.113-129 |
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks19th 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⟩ |
|
|
|
Dynamic Recursive Petri NetsPETRI NETS 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France |
|
|
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic ModelsLATA 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⟩ |
|
|
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed AutomataFormal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.215 - 230, ⟨10.1007/978-3-030-57628-8_13⟩ |
|
|
Minimal Coverability Tree Construction Made Complete and EfficientFoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland |
|
|
Active Prediction for Discrete Event SystemsFSTTCS 2020 - 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2020, Goa / Virtual, India |
|
|
Coverability and Termination in Recursive Petri NetsPetri Nets 2019 / ACSD 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany |
A Tool for the Coverability Problems in Petri NetsMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France |
|
|
|
Réification des accélérations pour la construction de Karp et MillerMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France |
|
|
Réification des accélérations pour la construction de Karp et MillerModélisation des Systèmes Réactifs (MSR 19), Nov 2019, Angers, France, Nov 2019, Angers, France |
|
|
Integrating Simulink Models into the Model Checker Cosmos39th 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⟩ |
|
|
Trading Optimality for Performance in Location Privacy11th EAI International Conference on Performance Evaluation Methodologies and Tools, Dec 2017, Venice, Italy |
|
|
Statistical Model-Checking for Autonomous Vehicle Safety ValidationConference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France |
|
|
Unbounded product-form Petri nets28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.31⟩ |
|
|
Une sémantique formelle pour les modèles SimulinkÉcole d'été Temps Réel 2017, Aug 2017, Paris, France |
|
|
Diagnostic et contrôle de la dégradation des systèmes probabilistesMSR 2017 - Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France |
|
|
Probabilistic Disclosure: Maximisation vs. MinimisationFSTTCS 2017, Dec 2017, Kanpur, India. pp.13:1-13:14, ⟨10.4230/LIPIcs.FSTTXS.2017⟩ |
|
|
Approaching the Coverability Problem Continuously22nd 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⟩ |
|
|
Diagnosis in Infinite-State Probabilistic Systems27th International Conference on Concurrency Theory (Concur 2016), Aug 2016, Québec city, Canada. pp.37:1-37:15, ⟨10.4230/LIPIcs.CONCUR.2016.37⟩ |
|
|
Accurate approximate diagnosability of stochastic systems10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic |
State Space Reduction Strategie for Model Checking Concurrent C Programs9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), 2015, Bucharest, Romania. pp.65-76 |
|
Active Diagnosis with Observable Quiescence54th IEEE Conference on Decision and Control (CDC'15), 2015, Osaka, Japan |
|
|
|
Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programsTenth International Conference on Software Engineering Advances (ISCEA 2015), Nov 2015, Barcelone, Spain |
|
|
Polynomial Interrupt Timed AutomataThe 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩ |
|
|
Active diagnosis for probabilistic systems17th 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⟩ |
Specifying and Verifying Concurrent C Programs with TLA+The 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'14)., Nov 2014, X, France. pp.12-25 |
|
|
|
Reachability in MDPs: Refining Convergence of Value Iteration8th International Workshop on Reachability Problems (RP'14), Sep 2014, Oxford, United Kingdom. pp.125-137, ⟨10.1007/978-3-319-11439-2_10⟩ |
|
|
Foundation of Diagnosis and Predictability in Probabilistic SystemsIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India. pp.417-429 |
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets8th Symposium on Trustworthy Global Computing (TGC'13), 2014, Buenos Aires, Argentina. pp.219-234 |
|
|
|
An Approach for Verifying Concurrent C Programs8th Junior Researcher Workshop on Real-Time Computing, Oct 2014, Versailles, France. pp.33-36 |
Rare Event Handling in Signalling Cascades6th International Conference on Advances in System Simulation (SIMUL'14), 2014, Nice, France. pp.126-131 |
|
Optimal Constructions for Active Diagnosis33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Dec 2013, Guwahati, India. pp.527-539 |
|
Parametric Interrupt Timed Automata7th Workshop on Reachability Problems in Computational Models (RP'13), Sep 2013, Uppsala, Sweden. pp.59-69, ⟨10.1007/978-3-642-41036-9_7⟩ |
|
Channel Properties of Asynchronously Composed Petri Nets34th International Conference on Applications and Theory of Petri Nets (ICATPN'13), 2013, Italy. pp.369-388, ⟨10.1007/978-3-642-38697-8_20⟩ |
|
|
|
The steady-state control problem for Markov decision processesQest 2013, Sep 2013, Buenos Aires, Argentina. pp.290-304 |
|
|
C2TLA+ : Traduction automatique du code C vers TLA+École d’Été Temps Réel 2013, Aug 2013, Toulouse, France |
Complexity Analysis of Continuous Petri Nets34th International Conference on Applications and Theory of Petri Nets (ICATPN'13), 2013, Italy. pp.170-189, ⟨10.1007/978-3-642-38697-8_10⟩ |
|
Importance Sampling for Model Checking of Continuous Time Markov ChainsProceedings of the 4th International Conference on Advances in System Simulation (SIMUL'12), 2012, Lisbon, Portugal. pp.30-35 |
|
Concurrent Games on VASS with Inhibition23rd 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⟩ |
|
Coupling and Importance Sampling for Statistical Model CheckingProceedings 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⟩ |
|
|
|
The Ordinal Recursive Complexity of of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets27th ACM/IEEE Symposium on Logic in Computer Science, Jun 2012, Dubrovnik, Croatia. pp.355--364, ⟨10.1109/LICS.2012.46⟩ |
Échantillonnage préférentiel pour le model checking statistiqueMSR'11, 2011, Lille, France |
|
HASL: An Expressive Language for Statistical Verification of Stochastic ModelsVALUETOOLS’11, 2011, Cachan, France |
|
Real Time Properties for Interrupt Timed Automata17th International Symposium on Temporal Representation (TIME 2010), Sep 2010, Paris, France. pp.69-76, ⟨10.1109/TIME.2010.11⟩ |
|
Client Synthesis for Aspect Oriented Web ServicesRevised 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⟩ |
|
Process Refinement and Asynchronous Composition with ModalitiesProceedings of the 2nd International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'10), 2010, Braga, Portugal |
|
Selection of the Best composite Web Service Based on Quality of ServiceProceedings 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 |
|
|
|
Response time of BPEL4WS constructors2010 IEEE Symposium on Computers and Communications (ISCC), Jun 2010, Riccione, Italy. pp.695-700, ⟨10.1109/ISCC.2010.5546538⟩ |
Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov ChainsProceedings 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⟩ |
|
Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains28th American Control Conference (ACC'09), Jun 2009, Saint Louis, MO, United States. pp.5018-5025, ⟨10.1109/ACC.2009.5160020⟩ |
|
Agents Secure Interaction in Data Driven LanguagesRevised 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⟩ |
|
|
|
Interrupt Timed Automata12th 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⟩ |
|
|
Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. pp.346-351, ⟨10.1109/WODES.2008.4605970⟩ |
|
|
Transactional Reduction of Component CompositionsProceedings 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⟩ |
|
|
Tutorial on Formal Methods for Distributed and Cooperative Systems3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Nov 2006, Tunis, Tunisia. pp.362-365, ⟨10.1007/11921240_25⟩ |
Dynamically Adapting Clients to Web Services ChangingWorkshop on Emerging Web Services Technology, 2006, Switzerland. pp.1 |
|
|
|
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets27th 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⟩ |
Web-MASI: Multi-Agent Systems Interoperability Using a Web Sevices Based ApproachIEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sep 2005, Compiègne, France. pp.739-742, ⟨10.1109/IAT.2005.142⟩ |
|
|
|
When are Timed Automata weakly timed bisimilar to Time Petri Nets ?25th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), Dec 2005, Chennai, India. pp.276--284 |
|
|
Comparison of Different Semantics for Time Petri Nets3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Oct 2005, Taiwan, Taiwan. pp.293--307 |
|
|
Modular Verification of Petri Nets Properties: A Structure-Based Approach25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05), Oct 2005, Taipei, Taiwan. pp.189-203, ⟨10.1007/11562436_15⟩ |
|
|
On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets2nd International Conference on the Quantitative Evaluation of Systems (QEST '05), Sep 2005, Torino, Italy. pp.23-32, ⟨10.1109/QEST.2005.26⟩ |
|
|
Comparison of the Expressiveness of Timed Automata and Time Petri NetsFORMATS 2005 - 3rd International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2005, Uppsala, Sweden. pp.211-225, ⟨10.1007/11603009_17⟩ |
Interopérabilité des systèmes multi-agents à l'aide des Services WebJFSMA 2004 - 12èmes Journées Francophones sur les Systèmes Multi-Agents, Nov 2004, Paris, France. pp.91-104 |
|
Symbolic Observation Graph : An Efficient Structure for On-The-Fly Action-based Linear Time Logic Model Checking15th IEEE International Symposium on Software Reliability Engineering (ISSRE '04), Nov 2004, Saint-Malo, France. pp.11-12 |
|
|
|
Design and Evaluation of a Symbolic and Abstraction-based Model Checker2nd 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⟩ |
Exploiting Partial Symmetries in Well-formed nets for the Reachability and the linear Time Model Checking Problems7th Workshop on Discrete Event Systems (WODES '04), Sep 2004, Reims, France. pp.223-228 |
|
New Coloured Reductions for Software ValidationWorkshop on Discrete Event Systems, Reims, Jan 2004, X, France. pp.355-360 |
|
|
|
An Incremental Verification Technique Using Reduction of Petri Nets : A Petri net ApproachInternational IEEE Conference on System Man and Cybernetics 2002 (IEEE SMC 02), Oct 2002, Hammamet, Tunisia. ⟨10.1109/ICSMC.2002.1173442⟩ |
|
|
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets8th International Symposium on Temporal Representation and Reasonning (TIME-01), Jun 2001, Cividale del Friuli, Italy. pp.198-205, ⟨10.1109/TIME.2001.930718⟩ |
|
|
Modelling and Analyzing Systems with Recursive Petri Nets5th Workshop on Discrete Event Systems (WODES '2000), Aug 2000, Ghent, Belgium. pp.449-458, ⟨10.1007/978-1-4615-4493-7_48⟩ |
A Model Checking Method for Partially Symmetric SystemsInternational conference on Formal Methods for Distributed System Development, FORTE/PSTV2000, Oct 2000, Pisa, Italy. pp.121-136 |
|
Theoretical Aspects of Recursive Petri Nets20th 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⟩ |
|
|
|
Exploiting Symmetry in Linear Time Temporal Logic Model CheckingEuropean Conference on Theory and Practice of Software, Mar 1998, Lisbon, Portugal. pp.52-67, ⟨10.1007/BFb0054164⟩ |
A Structural Approach to Design Reliable Distributed Applications2nd European Research Seminar on Advances in Distributed Systems, Mar 1997, Zinal, Switzerland |
|
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri NetsApplication and Theory of Petri Nets, Jan 1993, X, France. pp.69-88, ⟨10.1007/3-540-56863-8_41⟩ |
|
Computation of Generative Families of Positive Semi-Flows in Two Types of Coloured Nets12th Int. Conf. on Application and Theory of Petri Nets, Jan 1991, X, France |
Transactions on Petri Nets and Other Models of Concurrency XSpringer, 9410, 2015 |
|
Distributed Systems Design and AlgorithmsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011 |
|
Models and Analysis in Distributed SystemsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011 |
|
Méthodes formelles pour les systèmes répartis et coopératifsHermès, pp.370, 2006, Traités IC2 - Informatique et systèmes d'information |
|
|
|
A Self-stabilizing Protocol for an Ad hoc Networks of Mobile Robotspp.34, 2002 |
Specifying and Verifying Concurrent C Programs with TLA+Formal Techniques for Safety-Critical Systems, 476, Springer, pp.206-222, 2015, Communications in Computer and Information Science |
|
Multicriteria Evaluation-Based Framework for Composite Web Service SelectionEvaluation and Decision Models with Multiple Criteria: Case Studies, Springer, 2015, 10.1007/978-3-662-46816-6 |
|
Contrôle, probabilités et observation partielleInformatique Mathématique. Une photographie en 2015, CNRS Édition, pp.177-227, 2015 |
|
IntroductionModels and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142 |
|
General introductionDistibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩ |
|
Interopérabilité des systèmes multi-agents à l'aide des services webTechnologies des systèmes multi-agents et applications industrielles, Hermès Lavoisier, pp.77-99, 2009, IC2 Series, 978-2-7462-1785-0 |
|
Tensor Methods and Stochastic Petri NetsM. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.321-346, 2009 |
|
Stochastic Well-formed Petri NetsM. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.303-320, 2009 |
|
Stochastic Petri NetsM. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.269-302, 2009 |
|
Symmetry and Temporal LogicPetri Nets: Fundamental Models, Verification and Applications, 2, ISTE - WEISLEY, pp.435-459, 2009, 978-1-84821-079-0. ⟨10.1002/9780470611647.ch14⟩ |
|
Verification of probabilistic systems - Methods and toolsS. Merz and N. Navet. Modeling and Verification of Real-Time Systems, ISTE - John Wiley & Sons, pp.289-318, 2008 |
|
Introduction généraleMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.1-6, 2006, 2-7462-1447-4 |
|
Symétries et logique temporelleVé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 |
|
|
Property-Directed Verification of Recurrent Neural Networks2020 |
|
|
Bounds Computation for Symmetric Nets2018 |
|
|
Synthesis and Analysis of Product-form Petri Nets2011 |
|
|
Comparison of Expressiveness for Timed Automata and Time Petri Nets2006 |
|
|
Autonomous Transitions Enhance CSLTA Expressiveness and Conciseness[Research Report] Inria Saclay Ile de France; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); Universita degli Studi di Torino. 2019 |
|
|
Integrating Simulink Models into the Model Checker Cosmos[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018 |
|
|
Diagnosis in Infinite-State Probabilistic Systems (long version)[Research Report] Inria Rennes; LSV, ENS Cachan. 2016 |
Approaching the Coverability Problem Continuously[Research Report] 1510.05724, Computing Research Repository. 2015 |
|
Distributed Synthesis with Incomparable Information[Research Report] LSV-10-17, LSV. 2010 |
|
Efficient Reductions for LTL Formulae Verification[Research Report] CEDRIC-04-634, CEDRIC Lab/CNAM. 2004 |
|
|
|
A model checking decision procedure for sequential recursive Petri nets[Research Report] lip6.2000.024, LIP6. 2000 |
|
|
Decidability and Undecidability Results for Recursive Petri Nets[Research Report] lip6.1999.019, LIP6. 1999 |
|
|
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond[Research Report] lip6.1998.020, LIP6. 1998 |