| 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 | 89 | 2015 |
| 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 | 67 | 2012 |
| 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 | 53 | 2011 |
| 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 | 26 | 2020 |
| Property-directed verification and robustness certification of recurrent neural networks I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ... International Symposium on Automated Technology for Verification and …, 2021 | 25 | 2021 |
| 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 | 25 | 2015 |
| Generation of signals under temporal constraints for CPS testing B Barbot, N Basset, T Dang NASA Formal Methods Symposium, 54-70, 2019 | 18 | 2019 |
| 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 | 18 | 2016 |
| Statistical model-checking for autonomous vehicle safety validation B Barbot, B Bérard, Y Duplouy, S Haddad Conference SIA Simulation Numérique, 2017 | 16 | 2017 |
| 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 | 16 | 2015 |
| Analysis of recurrent neural networks via property-directed verification of surrogate models I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ... International Journal on Software Tools for Technology Transfer 25 (3), 341-354, 2023 | 15 | 2023 |
| 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 | 14 | 2018 |
| Extracting context-free grammars from recurrent neural networks using tree-automata learning and a* search B Barbot, B Bollig, A Finkel, S Haddad, I Khmelnitsky, M Leucker, ... International Conference on Grammatical Inference, 113-129, 2021 | 13 | 2021 |
| 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 | 12 | 2013 |
| Acceleration for statistical model checking B Barbot École normale supérieure de Cachan-ENS Cachan, 2014 | 10 | 2014 |
| 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 | 9 | 2016 |
| Importance sampling for model checking of continuous time markov chains B Barbot, S Haddad, C Picaronny Proceedings of the 4th International Conference on Advances in System …, 2012 | 9 | 2012 |
| 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 | 7 | 2013 |
| Wordgen: a timed word generation tool B Barbot, N Basset, A Donzé Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | 5 | 2023 |
| 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 | 5 | 2020 |
