Benoît Barbot

Maître de conférence Univ Paris Est Creteil, LACL, F-94010 Creteil, France
25
Documents
Affiliation actuelle
  • Laboratoire d'Algorithmique Complexité et Logique (LACL)
Identifiants chercheurs

Publications

16
4
3
3
2
1
1

Publications

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.48550/arXiv.2409.18670[3]⟩
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

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

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

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

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

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

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-01221815 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