H
Hubert Comon
Researcher at École normale supérieure de Cachan
Publications - 30
Citations - 2766
Hubert Comon is an academic researcher from École normale supérieure de Cachan. The author has contributed to research in topics: Decidability & Tree automaton. The author has an hindex of 22, co-authored 30 publications receiving 2724 citations. Previous affiliations of Hubert Comon include Stanford University & University of Paris.
Papers
More filters
Book
Tree Automata Techniques and Applications
Hubert Comon,Max Dauchet,Rémi Gilleron,Florent Jacquemard,Denis Lugiez,Christof Löding,Sophie Tison,Marc Tommasi +7 more
TL;DR: The goal of this book is to provide a textbook which presents the basics ofTree automata and several variants of tree automata which have been devised for applications in the aforementioned domains.
Book ChapterDOI
Multiple Counters Automata, Safety Analysis and Presburger Arithmetic
Hubert Comon,Yan Jurski +1 more
TL;DR: It is shown that the set of possible counter values which can be reached after any number of iterations of a loop is definable in the additive theory of ℕ (or ℤ or ℝ depending on the type of the counters).
Journal Article
Timed automata and the theory of real numbers
Hubert Comon,Yan Jurski +1 more
TL;DR: It is shown here that the binary reachability relation between configurations of a timed automaton is definable in an additive theory of real numbers, which is decidable, implying the decidability of model checking for some properties which cannot be expressed in timed temporal logics.
Book ChapterDOI
Timed Automata and the Theory of Real Numbers
Hubert Comon,Yan Jurski +1 more
TL;DR: In this paper, it was shown that the binary reachability relation between configurations of a timed automaton is definable in an additive theory of real numbers, which is decidable.
Book ChapterDOI
Flatness Is Not a Weakness
Hubert Comon,Véronique Cortier +1 more
TL;DR: It is proved, in the spirit of the correspondence between automata and temporal logics, that the models of a Lp+ formula are recognized by a piecewise flat counter machine; this shows that validity and model-checking positive formulas are undecidable for Lp+.