Documentation
Français (FR)

Anglais (EN)

Benoît Barbot

Maître de conférence Univ Paris Est Creteil, LACL, F-94010 Creteil, France

23

Documents

Affiliations actuelles

182989

Identifiants chercheurs

b-barbot
IdRef : 185406637
0000-0003-2417-3064

Publications

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

	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-04239175v1
	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-04127298v1
	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-04235150v1
	Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise Igor Khmelnitsky , Serge Haddad , Lina Ye , Benoît Barbot , Benedikt Bollig 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-03794320v1
	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 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-03285433v1
	Property-Directed Verification and Robustness Certification of Recurrent Neural Networks Igor Khmelnitsky , Daniel Neider , Rajarshi Roy , Xuan Xie , Benoît Barbot 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-03285418v1
	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-02131725v1
	Generation of Signals Under Temporal Constraints for CPS Testing Benoît Barbot , Nicolas Basset , Thao Dang NASA Formal Methods NFM 2019, May 2019, Houston, TX, United States. ⟨10.1007/978-3-030-20652-9⟩ Communication dans un congrès hal-02402402v1
	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-01916467v1
	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-01371896v1
	Layered Data: A Modular Formal Definition without Formalisms Alban Linard , Benoît Barbot , Didier Buchs , Maximilien Colange , Clément Démoulins Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306 Communication dans un congrès hal-01353944v1
	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-01371897v1
	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-01371900v1
	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-01371902v1

	Analysis of recurrent neural networks via property-directed verification of surrogate models Igor Khmelnitsky , Daniel Neider , Rajarshi Roy , Xuan Xie , Benoît Barbot 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-04286080v1
	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-04030219v1
	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-01221815v1
	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-01242981v1

	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 hal-01725835v1

	Generation of Signals Under Temporal Constraints for CPS Testing Benoît Barbot , Nicolas Basset , Thao Dang NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, pp.54-70, 2019 Chapitre d'ouvrage hal-02157644v1

	Bounds Computation for Symmetric Nets Benoît Barbot , Marco Beccuti , Giuliana Franceschinis , Serge Haddad , Claudine Picaronny 2018 Pré-publication, Document de travail hal-01726011v1

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