Hugo Bazille

According to our database, Hugo Bazille authored at least 14 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Logic and Languages of Higher-Dimensional Automata.

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin

CoRR, 2024

Presenting Interval Pomsets with Interfaces.

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski

CoRR, 2024

Languages of Higher-Dimensional Timed Automata.

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg

CoRR, 2024

2023

Developments in Higher-Dimensional Automata Theory.

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski

CoRR, 2023

Closure and Decision Properties for Higher-Dimensional Automata.

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems.

S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala

CoRR, 2022

On Robustness for the Skolem and Positivity Problems.

S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala

Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022

2020

Global PAC Bounds for Learning Discrete Time Markov Chains.

Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Detection and Quantification of Events in Stochastic Systems. (Détection et Quantification d'Evenements dans les Systèmes Stochastiques).

Hugo Bazille

PhD thesis, 2019

Classification Among Hidden Markov Models.

S. Akshay, Hugo Bazille, Eric Fabre, Blaise Genest

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

2018

On the complexity of bounded time and precision reachability for piecewise affine systems.

Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly

Theor. Comput. Sci., 2018

Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings.

Hugo Bazille, Eric Fabre, Blaise Genest

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Diagnosability degree of stochastic discrete event systems.

Hugo Bazille, Eric Fabre, Blaise Genest

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2014

On The Complexity of Bounded Time Reachability for Piecewise Affine Systems.

Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly

Proceedings of the Reachability Problems - 8th International Workshop, 2014