Travelled to:1 × China
1 × Germany
1 × Italy
2 × USA
Collaborated with:R.d.Simone D.Gaffé A.Bouali V.Roy S.Moisan J.Rigault
Talks about:composit (2) tool (2) set (2) substitut (1) framework (1) behavior (1) toolkit (1) esterel (1) toward (1) semant (1)
Person: Annie Ressouche
DBLP: Ressouche:Annie
Contributed to:
2008
2004
1996
19961994Wrote 5 papers:
- ASE-2008-GaffeR #tool support
- The Clem Toolkit (DG, AR), pp. 495–496.
- SEFM-2004-MoisanRR #behaviour #component #formal method #framework #towards
- Towards Formalizing Behavioral Substitutability in Component Frameworks (SM, AR, JPR), pp. 122–131.
- CAV-1996-BoualiRRS #set #tool support
- The FC2TOOLS Set (AB, AR, VR, RdS), pp. 441–445.
- TACAS-1996-BoualiRRS #set #tool support
- The FC2TOOLS Set (AB, AR, VR, RdS), p. 396.
- CAV-1994-SimoneR #composition #reduction #semantics #verification
- Compositional Semantics of ESTEREL and Verification by Compositional Reductions (RdS, AR), pp. 441–454.