Antoine Petit

Characterization of the Expressive Power of Silent Transitions in Timed Automata

Béatrice Bérard, Antoine Petit, Volker Diekert et al. · Fundamenta Informaticae · 1998 · 142 citations

Engineering, Timed Languages, Pushdown Automaton +16

Towards the automatic verification of PLC programs written in Instruction List

Géraud Canet, S. Couffin, Jean-Jacques Lesage et al. · 2002 · 120 citations

Program Checking, Engineering, Verification +25

Updatable timed automata

Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury et al. · Theoretical Computer Science · 2004 · 103 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +6

Augmented Reality during Open Liver Surgery Using a Markerless Non-rigid Registration System

Nicolas Golse, Antoine Petit, M. Lewin et al. · Journal of Gastrointestinal Surgery · 2020 · 83 citations

Engineering, Computer-assisted Surgery, Medical Imaging +13

An algebraic approach to data languages and timed languages

Patricia Bouyer, Antoine Petit, Denis Thérien · Information and Computation · 2003 · 71 citations

Programming Language Theory, Engineering, Program Analysis +6