Hugo Bazille

17
Documents

Publications

Publications

Deposit thumbnail

Petri nets and higher-dimensional automata

Amazigh Amrane , Hugo Bazille , Uli Fahrenberg , Loïc Hélouët , Philipp Schlehuber-Caissier

The 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets), Jun 2025, Aubervillers, France. pp.18-40, ⟨10.1007/978-3-031-94634-9_2⟩

Communication dans un congrès hal-05013777v1
Deposit thumbnail

Towards an efficient conversion of petri nets into higher dimensional automata

Amazigh Amrane , Hugo Bazille , Timothée Fragnaud , Philipp Schlehuber-Caissier

Modélisation des Systèmes Réactifs (MSR'25), Nov 2025, Reims, France

Communication dans un congrès hal-05281114v1
Deposit thumbnail

Closure and Decision Properties for Higher-Dimensional Automata

Amazigh Amrane , Hugo Bazille , Uli Fahrenberg , Krzysztof Ziemiański

20th International Colloquium on Theoretical Aspects of Computing (ICTAC'23), Dec 2023, Lima, Peru. ⟨10.1007/978-3-031-47963-2_18⟩

Communication dans un congrès hal-04580362v1
Deposit thumbnail

On Robustness for the Skolem and Positivity Problems

S Akshay , Hugo Bazille , Blaise Genest , Mihir Vahanwala

STACS 2022 - 39th International Symposium on Theoretical Aspects of Computer Science, May 2022, Marseille, France. pp.1-20, ⟨10.4230/LIPIcs.STACS.2022.5⟩

Communication dans un congrès hal-03695798v1
Deposit thumbnail

Global PAC Bounds for Learning Discrete Time Markov Chains

Hugo Bazille , Blaise Genest , Cyrille Jegourel , Jun Sun

CAV 2020 - 32nd International Conference on Computer-Aided Verification, Jul 2020, Los Angeles, United States. pp.304-326

Communication dans un congrès hal-03065571v1
Deposit thumbnail

Classification among Hidden Markov Models

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

FSTTCS 2019 - 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2019, Bombay, India. pp.1-14, ⟨10.4230/LIPIcs.FSTTCS.2019.29⟩

Communication dans un congrès hal-02350252v1
Deposit thumbnail

Certification formelle des réseaux neuronaux profonds : un état de l’art en 2019

Hugo Bazille , Eric Fabre , Blaise Genest

AI and Defense 2019 - Artificial Intelligence and defense, Nov 2019, Rennes, France. pp.1-10

Communication dans un congrès hal-02350253v1
Deposit thumbnail

Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings

Hugo Bazille , Eric Fabre , Blaise Genest

FOSSACS 2018 - 21st International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessaloniki, Greece. pp.403-419, ⟨10.1007/978-3-319-89366-2_22⟩

Communication dans un congrès hal-01943440v1
Deposit thumbnail

Complexity reduction techniques for quantified diagnosability of stochastic systems

Hugo Bazille , Eric Fabre , Blaise Genest

WODES'18 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Castellamare di Stabi, Italy. pp.82-87, ⟨10.1016/j.ifacol.2018.06.283⟩

Communication dans un congrès hal-01943401v1
Deposit thumbnail

Diagnosability Degree of Stochastic Discrete Event Systems

Hugo Bazille , Eric Fabre , Blaise Genest

CDC 2017 - 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.5726-5731

Communication dans un congrès hal-01651232v1
Deposit thumbnail

Computational Protein Design: trying an Answer Set Programming approach to solve the problem

Hugo Bazille , Jacques Nicolas

10th Workshop on Constraint-Based Methods for Bioinformatics (WCB'14), Nicos Angelopoulos (Imperial College, UK) Simon de Givry (MIAT-INRA, France), Sep 2014, Lyon, France

Communication dans un congrès hal-01063030v1