| 2004 |
|---|
| 7 | EE | Kamel Slimani,
Yann Rémond,
Gilles Sicard,
Marc Renaudin:
TAST Profiler and Low Energy Asynchronous Design Methodology.
PATMOS 2004: 268-277 |
| 2003 |
|---|
| 6 | EE | Florence Maraninchi,
Yann Rémond:
Mode-Automata: a new domain-specific construct for the development of safe critical systems.
Sci. Comput. Program. 46(3): 219-254 (2003) |
| 2001 |
|---|
| 5 | | Florence Maraninchi,
Yann Rémond:
Argos: an automaton-based synchronous language.
Comput. Lang. 27(1/3): 61-92 (2001) |
| 2000 |
|---|
| 4 | EE | Florence Maraninchi,
Yann Rémond,
Yannick Raoul:
MATOU: An Implementation of Mode-Automata.
CC 2000: 249-263 |
| 3 | EE | Florence Maraninchi,
Yann Rémond:
Running-modes of real-time systems: a case-study with mode-automata.
ECRTS 2000: 257-264 |
| 1998 |
|---|
| 2 | EE | Florence Maraninchi,
Yann Rémond:
Mode-Automata: About Modes and States for Reactive Systems.
ESOP 1998: 185-199 |
| 1997 |
|---|
| 1 | EE | Florence Maraninchi,
Yann Rémond:
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages.
COMPOS 1997: 424-438 |
