Travelled to:1 × Portugal
1 × USA
Collaborated with:P.Dhaussy P.Y.Pillain S.Creff Y.L.Traon B.Baudry
Talks about:softwar (2) context (2) formal (2) framework (1) properti (1) descript (1) pattern (1) definit (1) verif (1) valid (1)
Person: Amine Raji
DBLP: Raji:Amine
Contributed to:
2010
2009Wrote 2 papers:
- ICEIS-ISAS-2010-RajiD #framework #modelling
- User Context Models — A Framework to Ease Software Formal Verifications (AR, PD), pp. 380–383.
- MoDELS-2009-DhaussyPCRTB #validation
- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.