Efficient CTMC Model Checking of Linear Real-Time Objectives. - Benoît Barbot; Taolue Chen 001; Tingting Han 001; Joost-Pieter Katoen; Alexandru Mereacre (TACAS, 2011)

Coupling and Importance Sampling for Statistical Model Checking. - Benoît Barbot; Serge Haddad; Claudine Picaronny (TACAS, 2012)

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 (ICFEM, 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 (SIGSIM-PADS, 2013)

Acceleration for statistical model checking. (Accélérations pour le model checking statistique). - Benoît Barbot (2014)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. - Benoît Barbot; Marta Z. Kwiatkowska (Petri Nets, 2015)

Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. - Benoît Barbot; Marta Z. Kwiatkowska; Alexandru Mereacre; Nicola Paoletti (CMSB, 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)

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 (PNSE @ Petri Nets, 2016)

Building Power Consumption Models from Executable Timed I/O Automata Specifications. - Benoît Barbot; Marta Kwiatkowska; Alexandru Mereacre; Nicola Paoletti (HSCC, 2016)

Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. - Benoît Barbot; Nicolas Basset; Marc Beunardeau; Marta Kwiatkowska (QEST, 2016)

Integrating Simulink Models into the Model Checker Cosmos. - Benoît Barbot; Béatrice Bérard; Yann Duplouy; Serge Haddad (Petri Nets, 2018)

Generation of Signals Under Temporal Constraints for CPS Testing. - Benoît Barbot; Nicolas Basset; Thao Dang 001 (NFM, 2019)

Performance modelling of access control mechanisms for local and vehicular wireless networks. - Paolo Ballarini; Benoît Barbot; Nicolas Vasselin (VALUETOOLS, 2019)

Falsification of Cyber-Physical Systems with Constrained Signal Spaces. - Benoît Barbot; Nicolas Basset; Thao Dang 001; Alexandre Donzé; James Kapinski; Tomoya Yamaguchi 001 (NFM, 2020)

Property-Directed Verification of Recurrent Neural Networks. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (CoRR, 2020)

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Xuan Xie; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (ATVA, 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 002; Lina Ye (ICGI, 2021)

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 002 (GandALF, 2022)

Cosmos: Evolution of a Statistical Model Checking Platform. - Paolo Ballarini; Benoît Barbot (SIGMETRICS Perform. Evaluation Rev., 2022)

Bayesian Networks as Approximations of Biochemical Networks. - Adrien Le Coënt; Benoît Barbot; Nihal Pekergin; Cüneyt Güzelis (EPEW, 2023)

Wordgen : a Timed word Generation Tool. - Benoît Barbot; Nicolas Basset; Alexandre Donzé (HSCC, 2023)

Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints. - Benoît Barbot; Nicolas Basset (QEST, 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 002 (CoRR, 2023)

Analysis of recurrent neural networks via property-directed verification of surrogate models. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Xuan Xie; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (Int. J. Softw. Tools Technol. Transf., 2023)

CosyVerif: The Path to Formalisms Cohabitation. - Étienne André; Jaime Arias 001; Benoît Barbot; Francis Hulin-Hubard; Fabrice Kordon; Van-François Le; Laure Petrucci (Petri Nets, 2024)

Beyond Decisiveness of Infinite Markov Chains. - Benoît Barbot; Patricia Bouyer; Serge Haddad (FSTTCS, 2024)

Efficient probabilistic inference in biochemical networks. - Adrien Le Coënt; Benoît Barbot; Nihal Pekergin (Comput. Biol. Medicine, 2024)

Controller synthesis in timed Büchi automata: Robustness and punctual guards. - Benoît Barbot; Damien Busatto-Gaston; Catalin Dima; Youssouf Oualhadj (Perform. Evaluation, 2025)