Maître de Conférences
Université Paris-Est Créteil
Campus Centre
P2 222
+33 (0)1 45 17 65 89 ☎

  1. I. Khmelnitsky, D. Neider, R. Roy, X. Xie, B. Barbot, B. Bollig, A. Finkel, S. Haddad, M. Leucker, L. Ye. Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA 2021: 364-380 [ ARXIV ]
  2. B. Barbot, N. Basset and A. Donze and T. Dang and J. Kapinski and T. Yamaguchi. Falsification of Cyber-Physical Systems with Constrained Signal Spaces.In NASA Formal Methods 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15 2020.
  3. B. Barbot, N. Basset and T. Dang. Generation of signals under temporal constraints for CPS testingIn NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, volume 11460 of Lecture Notes in Computer Science, pages 54-70. Springer, 2019 pages 363-373. Springer. 2019.
  4. P. Ballarini, B. Barbot, N. Vasselin. Performance modelling of access control mechanisms for local and vehicular wireless networks.. In Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019, pages 111 118. ACM, 2019.
  5. B. Barbot, B. Bérard, Y. Duplouy and S. HaddadIntegrating Simulink Models into the Model Checker CosmosIn Proceedings of the 39th International Conference on Applications and Theory of Petri Nets (PETRI NETS'18), pages 363-373, Bratislava, Slovakia, June 2018, LNCS. Springer.
  6. B. Barbot, B. Bérard, Y. Duplouy, and S. Haddad. Statistical model-checking for autonomous vehicle safety validation. In SIA Simulation Numérique, 2017.
  7. B. Barbot, N. Basset, M. Beunardeau and M. KwiatkowskaUniform Sampling for Timed Automata with Application to Language Inclusion MeasurementIn QEST'16, volume 9826 of Lecture Notes in Computer Science, pages 175-190. Springer, 2016. 2016.
  8. B. Barbot, M. Kwiatkowska, A. Mereacre and N. PaolettiBuilding Power Consumption Models from Executable Timed I/O Automata SpecificationsIn HSCC'16, pages 195-204. ACM, 2016. 2016.
  9. B. Barbot, M. Kwiatkowska, A. Mereacre and N. PaolettiEstimation and verification of hybrid heart models for personalised medical and wearable devicesIn CMSB'15, volume 9308 of LNCS, pages 3-7. 2015.
  10. B. Barbot and M. KwiatkowskaOn Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri NetsIn ICATPN'15, LNCS 9115, pages 1-32. Springer, 2015.
  11. B. Barbot, S. Haddad, M. Heiner and C. PicaronnyRare Event Handling in Signalling CascadesIn SIMUL'14, pages 126-131. XPS, 2014.
  12. É. André, B. Barbot, C. Démoulins, L. M. Hillah, F. Hulin-Hubard, F. Kordon, A. Linard and L. PetrucciA Modular Approach for Reusing Formalisms in Verification Tools of Concurrent SystemsIn ICFEM'13, LNCS, pages 199-214. Springer, 2013.
  13. E. G. Amparore, B. Barbot, M. Beccuti, S. Donatelli and G. FranceschinisSimulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric NetsIn PADS'13, pages 253-264. ACM Press, 2013.
  14. B. Barbot, S. Haddad and C. PicaronnyImportance Sampling for Model Checking of Continuous Time Markov ChainsIn SIMUL'12, pages 30-35. XPS, 2012.
  15. B. Barbot, S. Haddad and C. PicaronnyCoupling and Importance Sampling for Statistical Model CheckingIn TACAS'12, LNCS 7214, pages 331-346. Springer, 2012.
  16. B. Barbot, S. Haddad and C. PicaronnyÉchantillonnage préférentiel pour le model checking statistiqueIn MSR'11, Journal Européen des Systèmes Automatisés 45(1-3), pages 237-252. Hermès, 2011.
  17. B. Barbot, T. Chen, T. Han, J.-P. Katoen and A. MereacreEfficient CTMC model checking of linear real-time objectivesIn TACAS'11, LNCS 6605, pages 128-142. Springer, 2011.

Autres publications