| 2008 |
|---|
| 8 | EE | Daniel Gaffé,
Annie Ressouche:
The Clem Toolkit.
ASE 2008: 495-496 |
| 7 | EE | Annie Ressouche,
Daniel Gaffé,
Valérie Roy:
Modular Compilation of a Synchronous Language
CoRR abs/0801.3715: (2008) |
| 2004 |
|---|
| 6 | EE | Sabine Moisan,
Annie Ressouche,
Jean-Paul Rigault:
Towards Formalizing Behavioral Substitutability in Component Frameworks.
SEFM 2004: 122-131 |
| 2001 |
|---|
| 5 | | Sabine Moisan,
Annie Ressouche,
Jean-Paul Rigault:
Blocks, a component framework with checking facilities for knowledge-based systems.
Informatica (Slovenia) 25(4): (2001) |
| 1996 |
|---|
| 4 | | Amar Bouali,
Annie Ressouche,
Valérie Roy,
Robert de Simone:
The FC2TOOLS Set.
AMAST 1996: 595-598 |
| 3 | | Amar Bouali,
Annie Ressouche,
Valérie Roy,
Robert de Simone:
The FC2TOOLS Set.
CAV 1996: 441-445 |
| 2 | | Amar Bouali,
Annie Ressouche,
Valérie Roy,
Robert de Simone:
The FC2TOOLS Set (Tool Demonstration).
TACAS 1996: 396 |
| 1994 |
|---|
| 1 | | Robert de Simone,
Annie Ressouche:
Compositional Semantics of ESTEREL and Verification by Compositional Reductions.
CAV 1994: 441-454 |
