Hugo Bazille

16
Documents

Publications

Publications

Image document

Towards an efficient conversion of Petri nets into Higher Dimensional Automata Amazigh

Amazigh Amrane , Hugo Bazille , Timothée Fragnaud , Philipp Schlehuber-Caissier
Modélisation des Systèmes Réactifs, Nov 2025, Reims, France
Communication dans un congrès hal-05281114 v1
Image document

Petri Nets and Higher-Dimensional Automata

Amazigh Amrane , Hugo Bazille , Uli Fahrenberg , Loïc Hélouët , Philipp Schlehuber-Caissier
Petri Nets 2025, Jun 2025, Aubervillers (Campus Condorcet), France. ⟨10.1007/978-3-031-94634-9_2⟩
Communication dans un congrès hal-05013777 v1
Image document

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-04580362 v1
Image document

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-03695798 v1
Image document

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-03065571 v1
Image document

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-02350252 v1
Image document

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-02350253 v1
Image document

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-01943401 v1
Image document

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-01943440 v1
Image document

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-01651232 v1
Image document

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-01063030 v1