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⟩
Conference papers
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⟩
Conference papers
hal-03794320v1
|
|
|
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
Conference papers
hal-03285433v1
|
|
|
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⟩
Conference papers
hal-03561748v1
|
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
Conference papers
hal-03150821v1
|
|
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⟩
Conference papers
hal-03285418v1
|
|
|
|
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
Conference papers
hal-02951944v3
|
|
|
Dynamic Recursive Petri NetsPETRI NETS 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France
Conference papers
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⟩
Conference papers
hal-04390304v1
|
|
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⟩
Conference papers
hal-03136066v1
|
|
|
|
Minimal Coverability Tree Construction Made Complete and EfficientFoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland
Conference papers
hal-02479879v1
|
|
|
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
Conference papers
hal-02431913v1
|
|
|
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
Conference papers
hal-02319755v1
|
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
Conference papers
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
Conference papers
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⟩
Conference papers
hal-01916467v1
|
|
|
|
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
Conference papers
hal-01491064v1
|
|
|
Probabilistic Disclosure: Maximisation vs. MinimisationFSTTCS 2017, Dec 2017, Kanpur, India. pp.13:1-13:14, ⟨10.4230/LIPIcs.FSTTXS.2017⟩
Conference papers
hal-01618955v1
|
|
|
Diagnostic et contrôle de la dégradation des systèmes probabilistesMSR 2017 - Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France
Conference papers
hal-01618922v1
|
|
|
Trading Optimality for Performance in Location Privacy11th EAI International Conference on Performance Evaluation Methodologies and Tools, Dec 2017, Venice, Italy
Conference papers
hal-01678256v1
|
Unbounded product-form Petri nets28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.31⟩
Conference papers
hal-01615257v1
|
|
|
|
Une sémantique formelle pour les modèles SimulinkÉcole d'été Temps Réel 2017, Aug 2017, Paris, France
Conference papers
hal-01578297v1
|
|
|
Accurate approximate diagnosability of stochastic systems10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic
Conference papers
hal-01220954v2
|
|
|
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⟩
Conference papers
hal-01408044v1
|
|
|
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⟩
Conference papers
hal-01373354v1
|
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
Conference papers
hal-01242951v1
|
|
Active Diagnosis with Observable Quiescence54th IEEE Conference on Decision and Control (CDC'15), 2015, Osaka, Japan
Conference papers
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⟩
Conference papers
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
Conference papers
hal-01501469v1
|
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
Conference papers
hal-01126566v1
|
|
|
|
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⟩
Conference papers
hal-00930919v1
|
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
Conference papers
hal-01091099v1
|
|
|
|
An Approach for Verifying Concurrent C Programs8th Junior Researcher Workshop on Real-Time Computing, Oct 2014, Versailles, France. pp.33-36
Conference papers
hal-01315749v1
|
Rare Event Handling in Signalling Cascades6th International Conference on Advances in System Simulation (SIMUL'14), 2014, Nice, France. pp.126-131
Conference papers
hal-01091144v1
|
|
|
|
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
Conference papers
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⟩
Conference papers
hal-01091122v2
|
Optimal Constructions for Active Diagnosis33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Dec 2013, Guwahati, India. pp.527-539
Conference papers
hal-00926098v1
|
|
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⟩
Conference papers
hal-00936961v1
|
|
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⟩
Conference papers
hal-00926200v1
|
|
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⟩
Conference papers
hal-00926196v1
|
|
|
|
The steady-state control problem for Markov decision processesQest 2013, Sep 2013, Buenos Aires, Argentina. pp.290-304
Conference papers
hal-00879355v1
|
|
|
C2TLA+ : Traduction automatique du code C vers TLA+École d’Été Temps Réel 2013, Aug 2013, Toulouse, France
Conference papers
hal-01314832v1
|
|
|
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⟩
Conference papers
hal-00793811v1
|
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⟩
Conference papers
hal-00776795v1
|
|
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
Conference papers
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⟩
Conference papers
hal-00776589v1
|
|
Échantillonnage préférentiel pour le model checking statistiqueMSR'11, 2011, Lille, France
Conference papers
hal-01113449v1
|
|
HASL: An Expressive Language for Statistical Verification of Stochastic ModelsVALUETOOLS’11, 2011, Cachan, France
Conference papers
hal-01113442v1
|
|
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⟩
Conference papers
hal-00779905v1
|
|
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⟩
Conference papers
hal-00772673v1
|
|
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
Conference papers
hal-00772681v1
|
|
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
Conference papers
hal-00779893v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00772677v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00772633v1
|
|
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-00340483v1
|
|
Dynamically Adapting Clients to Web Services ChangingWorkshop on Emerging Web Services Technology, 2006, Switzerland. pp.1
Conference papers
hal-00706372v1
|
|
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⟩
Conference papers
hal-01420560v1
|
|
|
|
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
Conference papers
inria-00368580v1
|
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⟩
Conference papers
hal-01486924v1
|
|
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⟩
Conference papers
hal-01416459v1
|
|
|
|
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
Conference papers
inria-00368578v1
|
|
|
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⟩
Conference papers
inria-00368577v1
|
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
Conference papers
hal-01521085v1
|
|
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
Conference papers
hal-01520361v1
|
|
New Coloured Reductions for Software ValidationWorkshop on Discrete Event Systems, Reims, Jan 2004, X, France. pp.355-360
Conference papers
hal-01124921v1
|
|
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⟩
Conference papers
hal-01520375v1
|
|
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
Conference papers
hal-01519998v1
|
|
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⟩
Conference papers
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⟩
Conference papers
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
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-01621728v1
|
|
A Structural Approach to Design Reliable Distributed Applications2nd European Research Seminar on Advances in Distributed Systems, Mar 1997, Zinal, Switzerland
Conference papers
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⟩
Conference papers
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
Conference papers
hal-01124761v1
|
Transactions on Petri Nets and Other Models of Concurrency XSpringer, 9410, 2015
Books
hal-01242977v1
|
|
Distributed Systems Design and AlgorithmsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Books
hal-00779937v1
|
|
Models and Analysis in Distributed SystemsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Books
hal-00779944v1
|
|
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
Books
hal-00084193v1
|
|
|
|
A Self-stabilizing Protocol for an Ad hoc Networks of Mobile Robotspp.34, 2002
Books
hal-00017281v1
|
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
Book sections
hal-01242954v1
|
|
Contrôle, probabilités et observation partielleInformatique Mathématique. Une photographie en 2015, CNRS Édition, pp.177-227, 2015
Book sections
hal-01242962v1
|
|
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
Book sections
hal-01472175v1
|
|
General introductionDistibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Book sections
hal-01288072v1
|
|
IntroductionModels and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Book sections
hal-01282495v1
|
|
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
Book sections
hal-01296057v1
|
|
Stochastic Petri NetsM. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.269-302, 2009
Book sections
hal-00441922v1
|
|
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⟩
Book sections
hal-01295288v1
|
|
Tensor Methods and Stochastic Petri NetsM. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.321-346, 2009
Book sections
hal-00442015v1
|
|
Stochastic Well-formed Petri NetsM. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.303-320, 2009
Book sections
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
Book sections
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
Book sections
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
Book sections
hal-01529951v1
|
Property-Directed Verification of Recurrent Neural Networks2020
Preprints, Working Papers, ...
hal-03134999v1
|
|
|
|
Bounds Computation for Symmetric Nets2018
Preprints, Working Papers, ...
hal-01726011v1
|
|
|
Synthesis and Analysis of Product-form Petri Nets2011
Preprints, Working Papers, ...
hal-00582584v2
|
|
|
Comparison of Expressiveness for Timed Automata and Time Petri Nets2006
Preprints, Working Papers, ...
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
Reports
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
Reports
hal-01725835v1
|
|
|
Diagnosis in Infinite-State Probabilistic Systems (long version)[Research Report] Inria Rennes; LSV, ENS Cachan. 2016
Reports
hal-01334218v1
|
Approaching the Coverability Problem Continuously[Research Report] 1510.05724, Computing Research Repository. 2015
Reports
hal-01242916v1
|
|
Distributed Synthesis with Incomparable Information[Research Report] LSV-10-17, LSV. 2010
Reports
hal-00779927v1
|
|
Efficient Reductions for LTL Formulae Verification[Research Report] CEDRIC-04-634, CEDRIC Lab/CNAM. 2004
Reports
hal-01124907v1
|
|
|
|
A model checking decision procedure for sequential recursive Petri nets[Research Report] lip6.2000.024, LIP6. 2000
Reports
hal-02548330v1
|
|
|
Decidability and Undecidability Results for Recursive Petri Nets[Research Report] lip6.1999.019, LIP6. 1999
Reports
hal-02548232v1
|
|
|
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond[Research Report] lip6.1998.020, LIP6. 1998
Reports
hal-02547727v1
|