Vincent Hugot

According to our database, Vincent Hugot authored at least 14 papers between 2010 and 2024.

Collaborative distances:

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

2024

SAT-Based Automated Completion for Reachability Analysis.

Yohan Boichut, Vincent Hugot, Adrien Boiret

Proceedings of the Implementation and Application of Automata, 2024

2021

A safe dynamic access control providing mandatory automotive cybersecurity.

Vincent Hugot, Adrien Jousse, Christian Toinard, Benjamin Venelle

Proceedings of the International Conference on Computational Science and Computational Intelligence, 2021

2019

Logics for unordered trees with data constraints.

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

J. Comput. Syst. Sci., 2019

2017

The emptiness problem for tree automata with at least one global disequality constraint is NP-hard.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Inf. Process. Lett., 2017

Automata for unordered trees.

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

Inf. Comput., 2017

Equivalence of Symbolic Tree Transducers.

Vincent Hugot, Adrien Boiret, Joachim Niehren

Proceedings of the Developments in Language Theory - 21st International Conference, 2017

2015

Logics for Unordered Trees with Data Constraints on Siblings.

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

Proceedings of the Language and Automata Theory and Applications, 2015

2014

The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

CoRR, 2014

Deterministic Automata for Unordered Trees.

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

2013

Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking. (Automates d'arbres, approximations et contraintes pour la vérification : Model-checking d'arbres (pas tout à fait) régulier).

Vincent Hugot

PhD thesis, 2013

2012

Loops and overloops for Tree-Walking Automata.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Theor. Comput. Sci., 2012

On Positive TAGED with a Bounded Number of Constraints.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Proceedings of the Implementation and Application of Automata, 2012

From Linear Temporal Logic Properties to Rewrite Propositions.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2010

SAT Solvers for Queries over Tree Automata with Constraints.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Proceedings of the Third International Conference on Software Testing, 2010