 | 2009 |
|---|
| 6 |       | Rodrigo Ramos,
Augusto Sampaio,
Alexandre Mota:
Systematic Development of Trustworthy Component Systems.
FM 2009: 140-156 |
| 2008 |
|---|
| 5 | | Rodrigo Ramos,
Augusto Sampaio,
Alexandre Mota:
Framework composition conformance via refinement checking.
SAC 2008: 119-125 |
| 2007 |
|---|
| 4 | | Rodrigo Ramos,
Olivier Barais,
Jean-Marc Jézéquel:
Matching Model-Snippets.
MoDELS 2007: 121-135 |
| 2006 |
|---|
| 3 | | Rodrigo Ramos,
Augusto Sampaio,
Alexandre Mota:
Transformation Laws for UML-RT.
FMOODS 2006: 123-137 |
| 2005 |
|---|
| 2 | | Rodrigo Ramos,
Augusto Sampaio,
Alexandre Mota:
A Semantics for UML-RT Active Classes via Mapping into Circus.
FMOODS 2005: 99-114 |
| 2004 |
|---|
| 1 | | Augusto Sampaio,
Alexandre Mota,
Rodrigo Ramos:
Class and Capsule Refinement in UML for Real Time.
Electr. Notes Theor. Comput. Sci. 95: 23-51 (2004) |
