Vincent Hugot - RankMe

15 papers A 1C 5Journal 5Unranked 3

Year	Rank	Type	Title / 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