Benoît Barbot

According to our database, Benoît Barbot authored at least 25 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Int. J. Softw. Tools Technol. Transf., June, 2023

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

Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy

CoRR, 2023

Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints.

Benoît Barbot, Nicolas Basset

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Wordgen : a Timed word Generation Tool.

Benoît Barbot, Nicolas Basset, Alexandre Donzé

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Bayesian Networks as Approximations of Biochemical Networks.

Adrien Le Coënt, Benoît Barbot, Nihal Pekergin, Cüneyt Güzelis

Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023

2022

Cosmos: Evolution of a Statistical Model Checking Platform.

Paolo Ballarini, Benoît Barbot

SIGMETRICS Perform. Evaluation Rev., 2022

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

Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy

Proceedings of the 13th International Symposium on Games, 2022

2021

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, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye

Proceedings of the 15th International Conference on Grammatical Inference, 2021

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Property-Directed Verification of Recurrent Neural Networks.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

CoRR, 2020

Falsification of Cyber-Physical Systems with Constrained Signal Spaces.

Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Performance modelling of access control mechanisms for local and vehicular wireless networks.

Paolo Ballarini, Benoît Barbot, Nicolas Vasselin

Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019

Generation of Signals Under Temporal Constraints for CPS Testing.

Benoît Barbot, Nicolas Basset, Thao Dang

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Integrating Simulink Models into the Model Checker Cosmos.

Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2016

Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement.

Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

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, 2016

Layered Data: A Modular Formal Definition without Formalisms.

Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015

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

Perform. Evaluation, 2015

Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices.

Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti

Proceedings of the Computational Methods in Systems Biology, 2015

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets.

Benoît Barbot, Marta Z. Kwiatkowska

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Acceleration for statistical model checking. (Accélérations pour le model checking statistique).

Benoît Barbot

PhD thesis, 2014

2013

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

Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.

Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Coupling and Importance Sampling for Statistical Model Checking.

Benoît Barbot, Serge Haddad, Claudine Picaronny

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

Efficient CTMC Model Checking of Linear Real-Time Objectives.

Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011