`Travelled to:`

1 × China

1 × Greece

1 × South Africa

1 × Switzerland

2 × Canada

`Collaborated with:`

I.Bourguiba P.Höfner B.Möller Q.Zhang J.Jaskolka J.Desharnais M.Frappier A.Mili

`Talks about:`

scenario (2) algebra (2) featur (2) architectur (1) reconcili (1) sequenti (1) function (1) composit (1) aspectu (1) system (1)

## Person: Ridha Khédri

### DBLP: Kh=eacute=dri:Ridha

### Contributed to:

### Wrote 6 papers:

- SEFM-2012-ZhangKJ #composition #verification
- Verification of Aspectual Composition in Feature-Modeling (QZ, RK, JJ), pp. 109–125.
- SEFM-2008-HofnerKM #algebra
- Algebraic View Reconciliation (PH, RK, BM), pp. 85–94.
- FM-2006-HofnerKM #algebra
- Feature Algebra (PH, RK, BM), pp. 300–315.
- SEFM-2004-KhedriB #architecture #design #functional
- Formal Derivation of Functional Architectural Design (RK, IB), pp. 356–265.
- SEKE-2004-KhedriB #requirements
- Requirements Scenarios Based System-Testing (RK, IB), pp. 252–257.
- ESEC-FSE-1997-DesharnaisFKM #integration
- Integration of Sequential Scenarios (JD, MF, RK, AM), pp. 310–326.