Benoît Barbot

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 21

Top Venues

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. 20 (1) (2024)
Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci
CosyVerif: The Path to Formalisms Cohabitation. Petri Nets (2024)
Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj
Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards. CoRR (2024)
Adrien Le Coënt, Benoît Barbot, Nihal Pekergin, Cüneyt Güzelis
Bayesian Networks as Approximations of Biochemical Networks. EPEW (2023)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Benoît Barbot, Nicolas Basset
Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints. QEST (2023)
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Algorithm in Presence of Noise. CoRR (2023)
Benoît Barbot, Nicolas Basset, Alexandre Donzé
Wordgen : a Timed word Generation Tool. HSCC (2023)
Paolo Ballarini, Benoît Barbot
Cosmos: Evolution of a Statistical Model Checking Platform. SIGMETRICS Perform. Evaluation Rev. 49 (4) (2022)
Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF (2022)
Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI (2021)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA (2021)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Property-Directed Verification of Recurrent Neural Networks. CoRR (2020)
Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi
Falsification of Cyber-Physical Systems with Constrained Signal Spaces. NFM (2020)
Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
Performance modelling of access control mechanisms for local and vehicular wireless networks. CoRR (2019)
Benoît Barbot, Nicolas Basset, Thao Dang
Generation of Signals Under Temporal Constraints for CPS Testing. NFM (2019)
Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
Performance modelling of access control mechanisms for local and vehicular wireless networks. VALUETOOLS (2019)
Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad
Integrating Simulink Models into the Model Checker Cosmos. Petri Nets (2018)
Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. QEST (2016)
Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC (2016)
Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin
Layered Data: A Modular Formal Definition without Formalisms. PNSE @ Petri Nets (2016)
Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Perform. Evaluation 90 (2015)
Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB (2015)
Benoît Barbot, Marta Z. Kwiatkowska
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. Petri Nets (2015)
Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. ICFEM (2013)
Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS (2013)
Benoît Barbot, Serge Haddad, Claudine Picaronny
Coupling and Importance Sampling for Statistical Model Checking. TACAS (2012)
Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS (2011)

Benoît Barbot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Benoît Barbot