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