| 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 | 67 | 2015 |
| Coupling and importance sampling for statistical model checking B Barbot, S Haddad, C Picaronny Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 58 | 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 | 52 | 2011 |
| Estimation and verification of hybrid heart models for personalised medical and wearable devices B Barbot, M Kwiatkowska, A Mereacre, N Paoletti Computational Methods in Systems Biology: 13th International Conference …, 2015 | 21 | 2015 |
| Uniform sampling for timed automata with application to language inclusion measurement B Barbot, N Basset, M Beunardeau, M Kwiatkowska Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016 | 17 | 2016 |
| 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 | 17 | 2015 |
| Falsification of cyber-physical systems with constrained signal spaces B Barbot, N Basset, T Dang, A Donzé, J Kapinski, T Yamaguchi NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020 | 16 | 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, ... Automated Technology for Verification and Analysis: 19th International …, 2021 | 14 | 2021 |
| Generation of signals under temporal constraints for CPS testing B Barbot, N Basset, T Dang NASA Formal Methods Symposium, 54-70, 2019 | 14 | 2019 |
| 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, ... Formal Methods and Software Engineering: 15th International Conference on …, 2013 | 13 | 2013 |
| Integrating simulink models into the model checker cosmos B Barbot, B Bérard, Y Duplouy, S Haddad Application and Theory of Petri Nets and Concurrency: 39th International …, 2018 | 12 | 2018 |
| Statistical model-checking for autonomous vehicle safety validation B Barbot, B Bérard, Y Duplouy, S Haddad Conference SIA Simulation Numérique, 2017 | 11 | 2017 |
| 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 | 10 | 2021 |
| 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 SIMUL, 30-35, 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 |
| 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 | 4 | 2023 |
| Rare event handling in signalling cascades B Barbot, S Haddad, M Heiner, C Picaronny International Journal on Advances in Systems and Measurements 8 (1-2), 69-79, 2015 | 4 | 2015 |
| 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 | 3 | 2020 |
