| |
| 2009 | ||
|---|---|---|
| 3 | EE | Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu: Timed verification of the generic architecture of a memory circuit using parametric timed automata. Formal Methods in System Design 34(1): 59-81 (2009) |
| 2006 | ||
| 2 | EE | Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu: Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. FORMATS 2006: 113-127 |
| 1 | EE | Jean-Pierre Jouannaud, Weiwen Xu: Automatic Complexity Analysis for Programs Extracted from Coq Proof. Electr. Notes Theor. Comput. Sci. 153(1): 35-53 (2006) |
| 1 | Remy Chevallier | [2] [3] |
| 2 | Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz) | [2] [3] |
| 3 | Laurent Fribourg | [2] [3] |
| 4 | Jean-Pierre Jouannaud | [1] |