`Travelled to:`

1 × France

`Collaborated with:`

F.Oquendo B.Berthomieu J.Bodeveix S.Dal-Zilio M.Filali F.Vernadat

`Talks about:`

formal (2) architectur (1) descript (1) softwar (1) process (1) languag (1) environ (1) algebra (1) topcas (1) system (1)

## Person: Christelle Chaudet

### DBLP: Chaudet:Christelle

### Contributed to:

### Wrote 2 papers:

- AdaEurope-2009-BerthomieuBCDFV #specification #verification
- Formal Verification of AADL Specifications in the Topcased Environment (BB, JPB, CC, SDZ, MF, FV), pp. 207–221.
- ASE-2000-ChaudetO #algebra #architecture #evolution #named #process
- pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems (CC, FO), pp. 245–248.