Hugo Bazille

Here you can find my publications sorted by type and year.

Conferences

• 2019
  • Hugo Bazille, Eric Fabre, Blaise Genest. Classification Among Hidden Markov Models. FSTTCS 2019, p1-14, LIPIcs.
  • Hugo Bazille, Eric Fabre, Blaise Genest. Certification formelle des réseaux neuronaux profonds : un état de l'art en 2019. AI&Defense 2019.
• 2018
  • Hugo Bazille, Eric Fabre, Blaise Genest. Complexity reduction techniques for quantified diagnosability of stochastic systems. WODES 2018, p94-99, IFAC.
  • Hugo Bazille, Eric Fabre, Blaise Genest. Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings. FoSSaCS 2018, p403-419, LNCS 10803.
• 2017
  • Hugo Bazille, Eric Fabre, Blaise Genest. Diagnosability Degree of Stochastic Discrete Event Systems. CDC 2017, p5726-5731, IEEE, 2017.
• 2014
  • Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly. On the complexity of bounded time reachability for piecewise affine systems. RP 2014, p20-31, LNCS 8762.

Journal

• 2016
  • Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly. On the complexity of bounded time reachability for piecewise affine systems. In Theoretical Computer Science, vol. 735, p132-146, accepted in 2016.