Vincent Hugot

15 papers A 1C 5Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2024 C conf
SAT-Based Automated Completion for Reachability Analysis.
CIAA
Yohan Boichut, Vincent Hugot, Adrien Boiret
2021 — conf
A safe dynamic access control providing mandatory automotive cybersecurity.
CSCI
Vincent Hugot, Adrien Jousse, Christian Toinard, Benjamin Venelle
2019 J jnl
Logics for unordered trees with data constraints.
J. Comput. Syst. Sci.
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2017 J jnl
Automata for unordered trees.
Inf. Comput.
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2017 C conf
Equivalence of Symbolic Tree Transducers.
DLT
Vincent Hugot, Adrien Boiret, Joachim Niehren
2017 J jnl
The emptiness problem for tree automata with at least one global disequality constraint is NP-hard.
Inf. Process. Lett.
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2015 C conf
Logics for Unordered Trees with Data Constraints on Siblings.
LATA
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2014 — conf
Deterministic Automata for Unordered Trees.
GandALF
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2014 J jnl
The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard.
CoRR
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
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
2012 A conf
From Linear Temporal Logic Properties to Rewrite Propositions.
IJCAR
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2012 J jnl
Loops and overloops for Tree-Walking Automata.
Theor. Comput. Sci.
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2012 C conf
On Positive TAGED with a Bounded Number of Constraints.
CIAA
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2011 C conf
Loops and Overloops for Tree Walking Automata.
CIAA
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2010 — conf
SAT Solvers for Queries over Tree Automata with Constraints.
ICST Workshops
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko