Benoît Barbot

Maître de conférence Univ Paris Est Creteil, LACL, F-94010 Creteil, France
36
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

21
10
8
5
4
1
1

Publications

Image document

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-05326434 v1

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-04610312 v1
Image document

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-04822969 v1
Image document

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-04239175 v1
Image document

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-04235150 v1
Image document

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-04127298 v1
Image document

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-03794320 v1

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-03285418 v1
Image document

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-03285433 v1
Image document

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-03049273 v1
Image document

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-02157644 v1
Image document

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-02131725 v1

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-01916467 v1
Image document

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-01491064 v1

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-01371896 v1

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-01371897 v1
Image document

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-01353944 v1

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-01371902 v1

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-01371900 v1

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-01091144 v1

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-00926210 v1

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-00926126 v1

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-00776795 v1

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-00776563 v1

É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-01113449 v1

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-02014749 v1
Image document

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-01725835 v1
Image document

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-01149034 v1