Serge Haddad
140
Documents
Publications
|
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⟩
Communication dans un congrès
hal-04271224v1
|
|
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⟩
Communication dans un congrès
hal-03794320v1
|
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⟩
Communication dans un congrès
hal-03285418v1
|
|
|
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
Communication dans un congrès
hal-03285433v1
|
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
Communication dans un congrès
hal-03150821v1
|
|
|
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⟩
Communication dans un congrès
hal-03561748v1
|
|
Minimal Coverability Tree Construction Made Complete and EfficientFoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland
Communication dans un congrès
hal-02479879v1
|
|
Active Prediction for Discrete Event SystemsFSTTCS 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
|
|
Dynamic Recursive Petri NetsPETRI 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 ModelsLanguage 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
|
|
|
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
Communication dans un congrès
hal-02319755v1
|
|
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
Communication dans un congrès
hal-02431913v1
|
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
Communication dans un congrès
hal-02432710v1
|
|
|
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
Communication dans un congrès
hal-02081019v1
|
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⟩
Communication dans un congrès
hal-01916467v1
|
|
|
Diagnostic et contrôle de la dégradation des systèmes probabilistesMSR 2017 - Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France
Communication dans un congrès
hal-01618922v1
|
|
Probabilistic Disclosure: Maximisation vs. MinimisationFSTTCS 2017, Dec 2017, Kanpur, India. pp.13:1-13:14, ⟨10.4230/LIPIcs.FSTTXS.2017⟩
Communication dans un congrès
hal-01618955v1
|
|
Une sémantique formelle pour les modèles SimulinkÉcole d'été Temps Réel 2017, Aug 2017, Paris, France
Communication dans un congrès
hal-01578297v1
|
Unbounded product-form Petri nets28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.31⟩
Communication dans un congrès
hal-01615257v1
|
|
|
Trading Optimality for Performance in Location Privacy11th EAI International Conference on Performance Evaluation Methodologies and Tools, Dec 2017, Venice, Italy
Communication dans un congrès
hal-01678256v1
|
|
Statistical Model-Checking for Autonomous Vehicle Safety ValidationConference 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
|
|
Accurate approximate diagnosability of stochastic systems10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic
Communication dans un congrès
hal-01220954v2
|
|
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⟩
Communication dans un congrès
hal-01373354v1
|
|
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⟩
Communication dans un congrès
hal-01408044v1
|
Active Diagnosis with Observable Quiescence54th IEEE Conference on Decision and Control (CDC'15), 2015, Osaka, Japan
Communication dans un congrès
hal-01242934v1
|
|
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⟩
Communication dans un congrès
hal-01222572v1
|
|
|
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
Communication dans un congrès
hal-01501469v1
|
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
Communication dans un congrès
hal-01242951v1
|
|
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
Communication dans un congrès
hal-01091099v1
|
|
|
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⟩
Communication dans un congrès
hal-00930919v1
|
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
Communication dans un congrès
hal-01126566v1
|
|
|
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
Communication dans un congrès
hal-01088117v1
|
|
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⟩
Communication dans un congrès
hal-01091122v2
|
Rare Event Handling in Signalling Cascades6th International Conference on Advances in System Simulation (SIMUL'14), 2014, Nice, France. pp.126-131
Communication dans un congrès
hal-01091144v1
|
|
|
An Approach for Verifying Concurrent C Programs8th 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 Diagnosis33rd 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
|
|
|
The steady-state control problem for Markov decision processesQest 2013, Sep 2013, Buenos Aires, Argentina. pp.290-304
Communication dans un congrès
hal-00879355v1
|
|
C2TLA+ : Traduction automatique du code C vers TLA+École d’Été Temps Réel 2013, Aug 2013, Toulouse, France
Communication dans un congrès
hal-01314832v1
|
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⟩
Communication dans un congrès
hal-00926196v1
|
|
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⟩
Communication dans un congrès
hal-00926200v1
|
|
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⟩
Communication dans un congrès
hal-00936961v1
|
|
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⟩
Communication dans un congrès
hal-00776795v1
|
|
|
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⟩
Communication dans un congrès
hal-00793811v1
|
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
Communication dans un congrès
hal-00776563v1
|
|
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⟩
Communication dans un congrès
hal-00776589v1
|
|
Échantillonnage préférentiel pour le model checking statistiqueMSR'11, 2011, Lille, France
Communication dans un congrès
hal-01113449v1
|
|
HASL: An Expressive Language for Statistical Verification of Stochastic ModelsVALUETOOLS’11, 2011, Cachan, France
Communication dans un congrès
hal-01113442v1
|
|
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
Communication dans un congrès
hal-00779893v1
|
|
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
Communication dans un congrès
hal-00772681v1
|
|
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⟩
Communication dans un congrès
hal-00772673v1
|
|
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⟩
Communication dans un congrès
hal-00779905v1
|
|
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⟩
Communication dans un congrès
hal-00772678v1
|
|
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⟩
Communication dans un congrès
hal-00772633v1
|
|
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⟩
Communication dans un congrès
hal-00772668v1
|
|
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⟩
Communication dans un congrès
hal-00772677v1
|
|
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⟩
Communication dans un congrès
hal-01303699v1
|
|
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⟩
Communication dans un congrès
hal-00342086v1
|
|
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⟩
Communication dans un congrès
hal-00340483v1
|
|
Dynamically Adapting Clients to Web Services ChangingWorkshop on Emerging Web Services Technology, 2006, Switzerland. pp.1
Communication dans un congrès
hal-00706372v1
|
|
|
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
Communication dans un congrès
inria-00368580v1
|
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⟩
Communication dans un congrès
hal-01416459v1
|
|
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⟩
Communication dans un congrès
hal-01486924v1
|
|
|
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⟩
Communication dans un congrès
inria-00368577v1
|
|
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
Communication dans un congrès
inria-00368578v1
|
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⟩
Communication dans un congrès
hal-01420560v1
|
|
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⟩
Communication dans un congrès
hal-01520375v1
|
|
New Coloured Reductions for Software ValidationWorkshop 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 Problems7th 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 Checking15th 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 WebJFSMA 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 ApproachInternational 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 Nets8th 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 SystemsInternational 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 Nets5th 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 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⟩
Communication dans un congrès
hal-01574369v1
|
|
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⟩
Communication dans un congrès
hal-01621728v1
|
|
A Structural Approach to Design Reliable Distributed Applications2nd 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 NetsApplication 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 Nets12th Int. Conf. on Application and Theory of Petri Nets, Jan 1991, X, France
Communication dans un congrès
hal-01124761v1
|
Transactions on Petri Nets and Other Models of Concurrency XSpringer, 9410, 2015
Ouvrages
hal-01242977v1
|
|
Models and Analysis in Distributed SystemsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages
hal-00779944v1
|
|
Distributed Systems Design and AlgorithmsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages
hal-00779937v1
|
|
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
Ouvrages
hal-00084193v1
|
|
|
A Self-stabilizing Protocol for an Ad hoc Networks of Mobile Robotspp.34, 2002
Ouvrages
hal-00017281v1
|
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed AutomataFORMATS 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 partielleInformatique 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+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 SelectionEvaluation and Decision Models with Multiple Criteria: Case Studies, Springer, 2015, 10.1007/978-3-662-46816-6
Chapitre d'ouvrage
hal-01472175v1
|
|
IntroductionModels and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Chapitre d'ouvrage
hal-01282495v1
|
|
General introductionDistibuted 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 webTechnologies 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 LogicPetri 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 NetsM. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.269-302, 2009
Chapitre d'ouvrage
hal-00441922v1
|
|
Tensor Methods and Stochastic Petri NetsM. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.321-346, 2009
Chapitre d'ouvrage
hal-00442015v1
|
|
Stochastic Well-formed Petri NetsM. 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 toolsS. 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éraleMé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 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
Chapitre d'ouvrage
hal-01529951v1
|
Property-Directed Verification of Recurrent Neural Networks2020
Pré-publication, Document de travail
hal-03134999v1
|
|
|
Bounds Computation for Symmetric Nets2018
Pré-publication, Document de travail
hal-01726011v1
|
|
Synthesis and Analysis of Product-form Petri Nets2011
Pré-publication, Document de travail
hal-00582584v2
|
|
Comparison of Expressiveness for Timed Automata and Time Petri Nets2006
Pré-publication, Document de travail
hal-00115535v1
|
|
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
Rapport
hal-02306021v1
|
|
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
Rapport
hal-01725835v1
|
|
Diagnosis in Infinite-State Probabilistic Systems (long version)[Research Report] Inria Rennes; LSV, ENS Cachan. 2016
Rapport
hal-01334218v1
|
Approaching the Coverability Problem Continuously[Research Report] 1510.05724, Computing Research Repository. 2015
Rapport
hal-01242916v1
|
|
Distributed Synthesis with Incomparable Information[Research Report] LSV-10-17, LSV. 2010
Rapport
hal-00779927v1
|
|
Efficient Reductions for LTL Formulae Verification[Research Report] CEDRIC-04-634, CEDRIC Lab/CNAM. 2004
Rapport
hal-01124907v1
|
|
|
A model checking decision procedure for sequential recursive Petri nets[Research Report] lip6.2000.024, LIP6. 2000
Rapport
hal-02548330v1
|
|
Decidability and Undecidability Results for Recursive Petri Nets[Research Report] lip6.1999.019, LIP6. 1999
Rapport
hal-02548232v1
|
|
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond[Research Report] lip6.1998.020, LIP6. 1998
Rapport
hal-02547727v1
|