Follow
Antoine Petit
Antoine Petit
Ens de Cachan
Verified email at ens-cachan.fr - Homepage
Title
Cited by
Cited by
Year
Systems and software verification: model-checking techniques and tools
B Bérard, M Bidoit, A Finkel, F Laroussinie, A Petit, L Petrucci, ...
Springer Science & Business Media, 2013
12362013
Characterization of the expressive power of silent transitions in timed automata
B Bérard, A Petit, V Diekert, P Gastin
Fundamenta Informaticae 36 (2-3), 145-182, 1998
2371998
Towards the automatic verification of PLC programs written in Instruction List
G Canet, S Couffin, JJ Lesage, A Petit, P Schnoebelen
Smc 2000 conference proceedings. 2000 ieee international conference on …, 2000
1762000
Updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
Theoretical Computer Science 321 (2-3), 291-345, 2004
1432004
Are timed automata updatable?
P Bouyer, C Dufourd, E Fleury, A Petit
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
1172000
Timed control with partial observability
P Bouyer, D D’Souza, P Madhusudan, A Petit
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
1002003
An algebraic approach to data languages and timed languages
P Bouyer, A Petit, D Thérien
Information and Computation 182 (2), 137-162, 2003
952003
Infinite traces
P Gastin
LITP Spring School on Theoretical Computer Science, 277-308, 1990
711990
Expressiveness of updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
International Symposium on Mathematical Foundations of Computer Science, 232-242, 2000
652000
Asynchronous cellular automata for infinite traces
P Gastin, A Petit
Automata, Languages and Programming: 19th International Colloquium Wien …, 1992
651992
Removing ε-transitions in timed automata
V Diekert, P Gastin, A Petit
STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science …, 1997
631997
A Kleene/Büchi-like theorem for clock languages
P Bouyer, A Petit
Journal of Automata, Languages and Combinatorics 7 (2), 167-186, 2001
622001
Decomposition and composition of timed automata
P Bouyer, A Petit
Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999
561999
On the power of non-observable actions in timed automata
B Bérard, P Gastin, A Petit
STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science …, 1996
561996
An algebraic characterization of data and timed languages
P Bouyer, A Petit, D Thérien
International Conference on Concurrency Theory, 248-261, 2001
392001
Analysing the PGM protocol with UPPAAL
B Bérard*, P Bouyer, A Petit
International journal of production research 42 (14), 2773-2791, 2004
312004
Decidability of the Star problem in A∗×{b}∗
P Gastin, E Ochmanski, A Petit, B Rozoy
Information Processing Letters 44 (2), 65-71, 1992
251992
An extension of Kleene's and Ochmański's theorems to infinite traces
P Gastin, A Petit, W Zielonka
Theoretical Computer Science 125 (2), 167-204, 1994
241994
Rational and recognizable complex trace languages
V Diekert, P Gastin, A Petit
Information and Computation 116 (1), 134-153, 1995
231995
A Kleene theorem for infinite trace languages
P Gastin, A Petit, W Zielonka
Automata, Languages and Programming: 18th International Colloquium Madrid …, 1991
231991
The system can't perform the operation now. Try again later.
Articles 1–20