Annie Ressouche
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1994–2015
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | Middleware | Safe Composition in Middleware for the Internet of Things. | Ines Sarray, Annie Ressouche, Daniel Gaff, Jean-Yves Tigli, Stephane Lavirotte |
| 2013 | TASE | Algebraic Framework for Synchronous Language Semantics. | Daniel Gaff, Annie Ressouche |
| 2004 | SEFM | Towards Formalizing Behavioral Substitutability in Component Frameworks. | Sabine Moisan, Annie Ressouche, Jean-Paul Rigault |
| 2003 | SMC | SAS architecture: verification oriented formal modeling of concrete critical systems. | Annie Ressouche, Jean-Yves Tigli, Valine Roy, Daniel Cheung-Foo-Wo |
| 1996 | CAV | The FC2TOOLS Set. | Amar Bouali, Annie Ressouche, Valrie Roy, Robert de Simone |
| 1996 | TACAS | The FC2TOOLS Set (Tool Demonstration). | Amar Bouali, Annie Ressouche, Valrie Roy, Robert de Simone |
| 1994 | CAV | Compositional Semantics of ESTEREL and Verification by Compositional Reductions. | Robert de Simone, Annie Ressouche |