| 2005 | ||
|---|---|---|
| 3 | EE | Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano: BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. SEFM 2005: 373-382 |
| 2004 | ||
| 2 | EE | Samuel Colin, Georges Mariano, Vincent Poirriez: Duration Calculus: A Real-Time Semantic for B. ICTAC 2004: 431-446 |
| 2003 | ||
| 1 | EE | Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano: BHDL: Circuit Design in B. ACSD 2003: 241-242 |
| 1 | Ammar Aljer | [1] |
| 2 | Jean-Louis Boulanger | [1] |
| 3 | Samuel Colin | [2] [3] |
| 4 | Philippe Devienne | [1] |
| 5 | Rafael Marcano | [3] |
| 6 | Dorian Petit | [3] |
| 7 | Vincent Poirriez | [2] [3] |
| 8 | Jérôme Rocheteau | [3] |
| 9 | Sophie Tison | [1] |