| 2009 | ||
|---|---|---|
| 2 | Augusto Sampaio, Sidney Nogueira, Alexandre Mota: Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM 2009: 20-48 | |
| 2008 | ||
| 1 | Sidney Nogueira, Augusto Sampaio, Alexandre Mota: Guided Test Generation from CSP Models. ICTAC 2008: 258-273 | |
| 1 | Alexandre Mota (Alexandre Cabral Mota) | [1] [2] |
| 2 | Augusto Sampaio | [1] [2] |