| 2008 |
|---|
| 5 | EE | Laurence Rideau,
Bernard P. Serpette,
Xavier Leroy:
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.
J. Autom. Reasoning 40(4): 307-326 (2008) |
| 2007 |
|---|
| 4 | EE | Georges Gonthier,
Assia Mahboubi,
Laurence Rideau,
Enrico Tassi,
Laurent Théry:
A Modular Formalisation of Finite Group Theory.
TPHOLs 2007: 86-101 |
| 2004 |
|---|
| 3 | EE | Philippe Audebaud,
Laurence Rideau:
TEXmacs as Authoring Tool for Formal Developments.
Electr. Notes Theor. Comput. Sci. 103: 27-48 (2004) |
| 2001 |
|---|
| 2 | EE | Marc Daumas,
Laurence Rideau,
Laurent Théry:
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing.
TPHOLs 2001: 169-184 |
| 1994 |
|---|
| 1 | EE | Michel Auguin,
Mohamed Belhadj,
Judith Benzakki,
C. Carrière,
Guy Durrieu,
Thierry Gautier,
Michel Israël,
Paul Le Guernic,
Michel Lemaître,
E. Martin,
P. Quinton,
Laurence Rideau,
François Rousseau,
Olivier Sentieys:
Towards a multi-formalism framework for architectural synthesis: the ASAR project.
CODES 1994: 25-32 |
