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 | 1236 | 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 | 237 | 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 | 143 | 2004 |

Are timed automata updatable? P Bouyer, C Dufourd, E Fleury, A Petit Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 117 | 2000 |

Timed control with partial observability P Bouyer, D D’Souza, P Madhusudan, A Petit Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 100 | 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 | 95 | 2003 |

Infinite traces P Gastin LITP Spring School on Theoretical Computer Science, 277-308, 1990 | 71 | 1990 |

Expressiveness of updatable timed automata P Bouyer, C Dufourd, E Fleury, A Petit International Symposium on Mathematical Foundations of Computer Science, 232-242, 2000 | 65 | 2000 |

Asynchronous cellular automata for infinite traces P Gastin, A Petit Automata, Languages and Programming: 19th International Colloquium Wien …, 1992 | 65 | 1992 |

Removing ε-transitions in timed automata V Diekert, P Gastin, A Petit STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science …, 1997 | 63 | 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 | 56 | 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 | 56 | 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 | 31 | 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 | 23 | 1995 |

A Kleene theorem for infinite trace languages P Gastin, A Petit, W Zielonka Automata, Languages and Programming: 18th International Colloquium Madrid …, 1991 | 23 | 1991 |