Benoît Barbot

Maître de conférence Univ Paris Est Creteil, LACL, F-94010 Creteil, France
41
Documents
Affiliations actuelles
  • Laboratoire d'Algorithmique Complexité et Logique (LACL)
  • Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)
  • Université Paris-Est Créteil Val-de-Marne - Faculté des sciences et technologie (UPEC FST)
Identifiants chercheurs

Publications

26
10
8
6
4
1
1

Publications

Deposit thumbnail

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise

Lina Ye , Igor Khmelnitsky , Serge Haddad , Benoît Barbot , Benedikt Bollig et al.

Logical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/lmcs-20(1:22)2024⟩

Article dans une revue hal-04796195v1
Deposit thumbnail

Analysis of recurrent neural networks via property-directed verification of surrogate models

Igor Khmelnitsky , Daniel Neider , Rajarshi Roy , Xuan Xie , Benoît Barbot et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Signal Sampling and Optimisation under Symbolic Timed Automata Constraints

Benoît Barbot , Nicolas Basset , Thao Dang , Alexandre Donzé , Marco Esposito et 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

CosyVerif: The Path to Formalisms Cohabitation

Étienne André , Jaime Arias , Benoît Barbot , Francis Hulin-Hubard , Fabrice Kordon et al.

45th International Conference on Application and Theory of Petri Nets and Concurrency, 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise

Igor Khmelnitsky , Serge Haddad , Lina Ye , Benoît Barbot , Benedikt Bollig et 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 Barbot et 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
Deposit thumbnail

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 Khmelnitsky et 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
Deposit thumbnail

Falsification of Cyber-Physical Systems with Constrained Signal Spaces

Benoît Barbot , Nicolas Basset , Thao Dang , Alexandre Donzé , James Kapinski et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Layered Data: A Modular Formal Definition without Formalisms

Alban Linard , Benoît Barbot , Didier Buchs , Maximilien Colange , Clément Démoulins et 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-Hubard et 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

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
Deposit thumbnail

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
Deposit thumbnail

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