| 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 | 1243 | 2013 |
| 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 | 240 | 1998 |
| 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 | 176 | 2000 |
| Updatable timed automata P Bouyer, C Dufourd, E Fleury, A Petit Theoretical Computer Science 321 (2-3), 291-345, 2004 | 148 | 2004 |
| Are timed automata updatable? P Bouyer, C Dufourd, E Fleury, A Petit Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 118 | 2000 |
| Timed control with partial observability P Bouyer, D D’Souza, P Madhusudan, A Petit Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 101 | 2003 |
| An algebraic approach to data languages and timed languages P Bouyer, A Petit, D Thérien Information and Computation 182 (2), 137-162, 2003 | 97 | 2003 |
| Infinite traces P Gastin LITP Spring School on Theoretical Computer Science, 277-308, 1990 | 72 | 1990 |
| Asynchronous cellular automata for infinite traces P Gastin, A Petit Automata, Languages and Programming: 19th International Colloquium Wien …, 1992 | 65 | 1992 |
| Expressiveness of updatable timed automata P Bouyer, C Dufourd, E Fleury, A Petit International Symposium on Mathematical Foundations of Computer Science, 232-242, 2000 | 64 | 2000 |
| Removing ε-transitions in timed automata V Diekert, P Gastin, A Petit STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science …, 1997 | 64 | 1997 |
| A Kleene/Büchi-like theorem for clock languages P Bouyer, A Petit Journal of Automata, Languages and Combinatorics 7 (2), 167-186, 2001 | 62 | 2001 |
| Decomposition and composition of timed automata P Bouyer, A Petit Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999 | 59 | 1999 |
| 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 | 58 | 1996 |
| An algebraic characterization of data and timed languages P Bouyer, A Petit, D Thérien International Conference on Concurrency Theory, 248-261, 2001 | 39 | 2001 |
| Analysing the PGM protocol with UPPAAL B Bérard*, P Bouyer, A Petit International journal of production research 42 (14), 2773-2791, 2004 | 30 | 2004 |
| Decidability of the Star problem in A∗×{b}∗ P Gastin, E Ochmanski, A Petit, B Rozoy Information Processing Letters 44 (2), 65-71, 1992 | 25 | 1992 |
| 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 | 24 | 1994 |
| Rational and recognizable complex trace languages V Diekert, P Gastin, A Petit Information and Computation 116 (1), 134-153, 1995 | 22 | 1995 |
| A Kleene theorem for infinite trace languages P Gastin, A Petit, W Zielonka Automata, Languages and Programming: 18th International Colloquium Madrid …, 1991 | 22 | 1991 |
Cordelia SchmidResearch director INRIA Verified email at inria.fr
Cordelia SchmidResearch director INRIA Verified email at inria.fr