Benoît Barbot
Benoît Barbot
LACL, Université Paris-Est Créteil
Verified email at lacl.fr - Homepage
Title
Cited by
Cited by
Year
Efficient CTMC model checking of linear real-time objectives
B Barbot, T Chen, T Han, JP Katoen, A Mereacre
International Conference on Tools and Algorithms for the Construction and …, 2011
472011
Coupling and importance sampling for statistical model checking
B Barbot, S Haddad, C Picaronny
International Conference on Tools and Algorithms for the Construction and …, 2012
432012
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
P Ballarini, B Barbot, M Duflot, S Haddad, N Pekergin
Performance Evaluation 90, 53-77, 2015
412015
Estimation and verification of hybrid heart models for personalised medical and wearable devices
B Barbot, M Kwiatkowska, A Mereacre, N Paoletti
International Conference on Computational Methods in Systems Biology, 3-7, 2015
182015
On quantitative modelling and verification of DNA walker circuits using stochastic Petri nets
B Barbot, M Kwiatkowska
International Conference on Applications and Theory of Petri Nets and …, 2015
132015
Compositional strategy synthesis for stochastic games with multiple objectives
N Basset, M Kwiatkowska, C Wiltsche
Information and Computation 261, 536-587, 2018
112018
A modular approach for reusing formalisms in verification tools of concurrent systems
É André, B Barbot, C Démoulins, LM Hillah, F Hulin-Hubard, F Kordon, ...
International Conference on Formal Engineering Methods, 199-214, 2013
112013
Uniform sampling for timed automata with application to language inclusion measurement
B Barbot, N Basset, M Beunardeau, M Kwiatkowska
International Conference on Quantitative Evaluation of Systems, 175-190, 2016
102016
Importance sampling for model checking of continuous time markov chains
B Barbot, S Haddad, C Picaronny
SIMUL, 30-35, 2012
92012
Building power consumption models from executable timed I/O automata specifications
B Barbot, M Kwiatkowska, A Mereacre, N Paoletti
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
82016
Integrating simulink models into the model checker cosmos
B Barbot, B Bérard, Y Duplouy, S Haddad
International Conference on Applications and Theory of Petri Nets and …, 2018
72018
Generation of signals under temporal constraints for CPS testing
B Barbot, N Basset, T Dang
NASA Formal Methods Symposium, 54-70, 2019
62019
Statistical model-checking for autonomous vehicle safety validation
B Barbot, B Bérard, Y Duplouy, S Haddad
Conference SIA Simulation Numérique, 2017
52017
Acceleration for statistical model checking
B Barbot
École normale supérieure de Cachan-ENS Cachan, 2014
52014
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets
EG Amparore, B Barbot, M Beccuti, S Donatelli, G Franceschinis
Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced …, 2013
42013
Rare event handling in signalling cascades
B Barbot, S Haddad, M Heiner, C Picaronny
LSV, ENS Cachan, Tech. Rep, 14-10, 2014
22014
Échantillonnage préférentiel pour le model checking statistique
B Barbot, S Haddad, C Picaronny
Journal européen des systèmes automatisés 45 (1-3), 237-252, 2011
22011
Layered data: A modular formal definition without formalisms
A Linard, B Barbot, D Buchs, M Colange, C Démoulins, LM Hillah, ...
Petri Nets and Software Engineering (PNSE 2016) 1591, 287-306, 2016
12016
Property-Directed Verification of Recurrent Neural Networks
I Khmelnitsky, D Neider, R Roy, B Barbot, B Bollig, A Finkel, S Haddad, ...
arXiv preprint arXiv:2009.10610, 2020
2020
Falsification of Cyber-Physical Systems with Constrained Signal Spaces
B Barbot, N Basset, T Dang, A Donzé, J Kapinski, T Yamaguchi
NASA Formal Methods Symposium, 420-439, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20