| 2010 | ||
|---|---|---|
| j2 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Conformance notions for the coordination of interaction components. Sci. Comput. Program. 75(5): 350-373 (2010) | |
| 2009 | ||
| c5 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Systematic Development of Trustworthy Component Systems. FM 2009: 140-156 | |
| 2008 | ||
| c4 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Framework composition conformance via refinement checking. SAC 2008: 119-125 | |
| 2007 | ||
| c3 | ||
| 2006 | ||
| c2 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Transformation Laws for UML-RT. FMOODS 2006: 123-137 | |
| 2005 | ||
| c1 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: A Semantics for UML-RT Active Classes via Mapping into Circus. FMOODS 2005: 99-114 | |
| 2004 | ||
| j1 | Augusto Sampaio, Alexandre Mota, Rodrigo Ramos: Class and Capsule Refinement in UML for Real Time. Electr. Notes Theor. Comput. Sci. 95: 23-51 (2004) | |
| 1 | Olivier Barais | |
| 2 | Jean-Marc Jézéquel | |
| 3 | Alexandre Mota (Alexandre Cabral Mota) | |
| 4 | Augusto Sampaio |
Colors in the list of coauthors
Last update Tue May 21 16:38:18 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page