Benoît Barbot Maître de conférenceUniv Paris Est Creteil, LACL, F-94010 Creteil, France

Identifiants chercheurs

IdHAL :

b-barbot

ORCID :

0000-0003-2417-3064

IdRef :

185406637

Publications

Article dans une revue (6)

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise Lina Ye,Igor Khmelnitsky,Serge Haddad,Benoît Barbot,Benedikt Bolliget al. Logical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/lmcs-20(1:22)2024⟩ Article dans une revue hal-04796195v1
Analysis of recurrent neural networks via property-directed verification of surrogate models Igor Khmelnitsky,Daniel Neider,Rajarshi Roy,Xuan Xie,Benoît Barbotet al. 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
CosyVerif: an Online Verification Platform Jaime Arias,Benoît Barbot,Francis Hulin-Hubard,Fabrice Kordon,Laure Petrucci Petri Net Newsletter, 2021, 87, pp.5--7 Article dans une revue hal-03777111v1
Cosmos: Evolution of a Statistical Model Checking Platform Paolo Ballarini,Benoît Barbot ACM SIGMETRICS Performance Evaluation Review, 2020, Lecture Notes in Computer Science, 12229 (4), pp.420-439. ⟨10.1145/3543146.3543161⟩ Article dans une revue hal-04030219v1
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
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

Communication dans un congrès (27)

Signal Sampling and Optimisation under Symbolic Timed Automata Constraints Benoît Barbot,Nicolas Basset,Thao Dang,Alexandre Donzé,Marco Espositoet al. Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS 2025), Aug 2025, Aahrus, Denmark. pp.95-114, ⟨10.1007/978-3-032-05792-1_6⟩ Communication dans un congrès hal-05326434v1
Sampling methods for probabilistic approximations of ODEs Olivier Bouët-Willaumez,Adrien Le Coënt,Benoît Barbot,Nihal Pekergin ROADEF 2026, 27ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Laboratoire d'Informatique Fondamentale et Appliquée de Tours (LIFAT), Feb 2026, Tours, France Communication dans un congrès hal-05440887v2
CosyVerif: The Path to Formalisms Cohabitation Étienne André,Jaime Arias,Benoît Barbot,Francis Hulin-Hubard,Fabrice Kordonet al. 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩ Communication dans un congrès hal-04610312v1
Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards Benoît Barbot,Damien Busatto-Gaston,Catalin Dima,Youssouf Oualhadj QEST+FORMATS 2024: 268-283, Sep 2024, Calgary, Canada. ⟨10.48550/ARXIV.2404.18584⟩ Communication dans un congrès hal-04714488v1
Beyond Decisiveness of Infinite Markov Chains Benoît Barbot,Patricia Bouyer,Serge Haddad 44th 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⟩ Communication dans un congrès hal-04822969v1
Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints Benoît Barbot,Nicolas Basset Qest23, Sep 2023, Antwerp, Belgium, Belgium. pp.188-204, ⟨10.1007/978-3-031-43835-6_14⟩ Communication dans un congrès hal-04239175v1
Bayesian Networks as Approximations of Biochemical Networks Adrien Le Coënt,Benoît Barbot,Nihal Pekergin,Cüneyt Güzeliş European Workshop on Performance Engineering, Jun 2023, Florence, Italy. pp.216-233, ⟨10.1007/978-3-031-43185-2_15⟩ Communication dans un congrès hal-04235150v1
Wordgen : a Timed word Generation Tool Benoît Barbot,Nicolas Basset,Alexandre Donze HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control, May 2023, San Antonio TX USA, United States. pp.1-7, ⟨10.1145/3575870.3587116⟩ Communication dans un congrès hal-04127298v1
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise Igor Khmelnitsky,Serge Haddad,Lina Ye,Benoît Barbot,Benedikt Bolliget al. 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 Barbotet al. 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
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 Khmelnitskyet al. 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
Falsification of Cyber-Physical Systems with Constrained Signal Spaces Benoît Barbot,Nicolas Basset,Thao Dang,Alexandre Donzé,James Kapinskiet al. NASA Formal Methods, May 2020, Moffett Field, United States. pp.420-439, ⟨10.1007/978-3-030-55754-6_25⟩ Communication dans un congrès hal-03049273v1
Generation of Signals Under Temporal Constraints for CPS Testing Benoît Barbot,Nicolas Basset,Thao Dang 11th International Symposium NASA Formal Methods, May 2019, Houston (TX), United States. pp.54-70, ⟨10.1007/978-3-030-20652-9_4⟩ Communication dans un congrès hal-02157644v1
Performance modelling of access control mechanisms for local and vehicular wireless networks Paolo Ballarini,Benoît Barbot,Nicolas Vasselin 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118 Communication dans un congrès hal-02131725v1
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
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
Building Power Consumption Models from Executable Timed I/O Automata Specifications Benoît Barbot,Marta Kwiatkowska,Alexandru Mereacre,Nicola Paoletti Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, 2016, Unknown, Unknown Region. pp.195--204, ⟨10.1145/2883817.2883844⟩ Communication dans un congrès hal-01371896v1
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement Benoît Barbot,Nicolas Basset,Marc Beunardeau,Marta Kwiatkowska Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, 2016, Unknown, Unknown Region. pp.175--190, ⟨10.1007/978-3-319-43425-4_13⟩ Communication dans un congrès hal-01371897v1
Layered Data: A Modular Formal Definition without Formalisms Alban Linard,Benoît Barbot,Didier Buchs,Maximilien Colange,Clément Démoulinset al. Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306 Communication dans un congrès hal-01353944v1
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets Benoît Barbot,Marta Z. Kwiatkowska Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings, 2015, Unknown, Unknown Region. pp.1--32, ⟨10.1007/978-3-319-19488-2_1⟩ Communication dans un congrès hal-01371902v1
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices Benoît Barbot,Marta Z. Kwiatkowska,Alexandru Mereacre,Nicola Paoletti Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, 2015, Unknown, Unknown Region. pp.3--7, ⟨10.1007/978-3-319-23401-4_1⟩ Communication dans un congrès hal-01371900v1
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
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets Elvio Gilberto Amparore,Benoît Barbot,Marco Beccuti,Susanna Donatelli,Giuliana Franceschinis 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS'13), 2013, Canada. pp.253-264, ⟨10.1145/2486092.2486124⟩ Communication dans un congrès hal-00926210v1
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems Étienne André,Benoît Barbot,Clément Démoulins,Lom Messan Hillah,Francis Hulin-Hubardet al. 15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩ Communication dans un congrès istex hal-00926126v1
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
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
É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

Ouvrages (1)

Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings Rena Bakshi,Paolo Ballarini,Benoit Barbot,Hind Castel-Taleb,Anne Remke Springer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩ Ouvrages hal-02014749v1

Pré-publication, Document de travail (5)

Efficient Guaranteed Controllers for Switched Dynamical Systems Using Probabilistic Approximations Yahia Bahloul,Adrien Le Coënt,Benoît Barbot,Nihal Pekergin 2025 Pré-publication, Document de travail hal-05362437v1
Conservation Analysis and Discrete Probabilistic Approximations for Parameter Estimation of Biochemical Networks Olivier Bouët-Willaumez,Adrien Le Coënt,Benoît Barbot,Nihal Pekergin 2025 Pré-publication, Document de travail (preprint/prepublication) hal-05104966v1
Towards an efficient model reduction for parameter estimation of biochemical networks Adrien Le Coënt,Benoît Barbot,Nihal Pekergin 2024 Pré-publication, Document de travail hal-05441726v1
Property-Directed Verification of Recurrent Neural Networks Igor Khmelnitsky,Daniel Neider,Rajarshi Roy,Benoît Barbot,Benedikt Bolliget al. 2020 Pré-publication, Document de travail hal-03134999v1
Bounds Computation for Symmetric Nets Benoît Barbot,Marco Beccuti,Giuliana Franceschinis,Serge Haddad,Claudine Picaronny 2018 Pré-publication, Document de travail hal-01726011v1

Rapport (1)

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 (rapport de recherche) hal-01725835v1

Thèse (1)

Acceleration for statistical model checking Benoît Barbot Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2014. English. ⟨NNT : 2014DENS0041⟩ Thèse tel-01149034v1