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


Conférences
  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 testing.  In 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. Haddad.  Integrating Simulink Models into the Model Checker Cosmos.  In 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. Kwiatkowska.  Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement.  In 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. Paoletti.  Building Power Consumption Models from Executable Timed I/O Automata Specifications.  In HSCC'16, pages 195-204. ACM, 2016. 2016.
  9. B. Barbot, M. Kwiatkowska, A. Mereacre and N. Paoletti.  Estimation and verification of hybrid heart models for personalised medical and wearable devices.  In CMSB'15, volume 9308 of LNCS, pages 3-7. 2015.
  10. B. Barbot and M. Kwiatkowska.  On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets.  In ICATPN'15, LNCS 9115, pages 1-32. Springer, 2015.
  11. B. Barbot, S. Haddad, M. Heiner and C. Picaronny.  Rare Event Handling in Signalling Cascades.  In 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. Petrucci.  A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.  In ICFEM'13, LNCS, pages 199-214. Springer, 2013.
  13. E. G. Amparore, B. Barbot, M. Beccuti, S. Donatelli and G. Franceschinis.  Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets.  In PADS'13, pages 253-264. ACM Press, 2013.
  14. B. Barbot, S. Haddad and C. Picaronny.  Importance Sampling for Model Checking of Continuous Time Markov Chains.  In SIMUL'12, pages 30-35. XPS, 2012.
  15. B. Barbot, S. Haddad and C. Picaronny.  Coupling and Importance Sampling for Statistical Model Checking.  In 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 statistique.  In 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. Mereacre.  Efficient CTMC model checking of linear real-time objectives.  In TACAS'11, LNCS 6605, pages 128-142. Springer, 2011.


Autres publications