Papers

• Rodrigo Ramos, Augusto Sampaio and Alexandre Mota. Framework Composition Conformance via Refinement Checking. 23rd Annual ACM Symposium on Applied Computing(SAC), pages 119-125, Fortaleza, Ceará, Brazil, March 16-20, 2008.

• Brice Morin, Olivier Barais, Jean-Marc Jezequel and Rodrigo Ramos. Towards a Generic Aspect-Oriented Modeling Framework.  3rd Workshop on Models and Aspects - Handling Crosscutting Concerns in MDSD (Satellite workshop at the ECOOP 2007), Berlin, Germany, August, 2007
  

• Rodrigo Ramos, Olivier Barais and Jean-Marc Jezequel. Matching Model-Snippets.  10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, Tennesse, September, 2007. [DBLP / DOI / BibTex]
  

• Rodrigo Ramos, Augusto Sampaio and Aleandre Mota. Rigorous Development with UML-RT.  19th Brazilian Contest on Dissertations and Thesis (CTD'06), SBC, 2006. (pdf) [classified among the 10 Best Computer Science Master's Thesis Nationwide in 2005 in this contest of the Brazilian Computing Society]
  

• Robson. Godoi, Rodrigo Ramos and Augusto Sampaio. An extension of the RUP for rigorous modeling of concurrent systems. In the XI Brazilian Symposium on Software Engineering (SBES'06), Florianópolis, Brasil (2006) (pdf) (bib) [In portuguese with an english abstract]

• Rodrigo Ramos, Augusto Sampaio and Alexandre Mota. Transformation Laws for UML-RT. Proc. 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’06), Vol. 4037 of LNCS, Bologna, Italy, Springer (2006) 123-138. [DBLP / DOI / BibTex]

• Rodrigo Ramos, Augusto Sampaio and Alexandre Mota. A Semantics for UML-RT Active Classes via Mapping into Circus. Proc. 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’05), Vol. 3535 of LNCS, Athens, Greece,Springer (2005) 99-114. [DBLP / DOI / BibTeX]

• Thiago Santos, Rodrigo Ramos and Börje Karlsson. Using Patterns to Restructure Legacy Applications.Proc. 4th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP'04), SPA Track, Fortaleza, Brazil (2004) (pdf) [in Portuguese]
  

• Helena Marques, Rodrigo Ramos and Ismênia Silva. Adaptation for Development in Distributed Software Factories. Proc. 7o Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes (IDEAS2004), Arequipa, Perú, Peruvian Computer Society and National University of San Agustin (2004) 3-7 (pdf) (bibtex) [in Portuguese]

• Augusto Sampaio, Alexandre Mota and Rodrigo Ramos. Class and Capsule Refinement in UML for Real Time. Volume 95 of Electronic Notes in Theoretical Computer Science. Elsevier Science (2004) 23–51 [Extended Version] [DBLP / BibTeX]

• Augusto Sampaio, Alexandre Mota and Rodrigo Ramos. Class and Capsule Refinement in UML for Real Time.In.: Proceedings of 4th Brazilian Workshop on Formal Methods.Campina Grande, Brazil (2003) 16-34

Master Thesis

• Rodrigo Ramos. Rigorous Development with UML-RT. Master’s Thesis, Federal University of Pernambuco, Recife Brazil (2005). (in Portuguese). [classified among the 10 Best Computer Science Master's Thesis Nationwide in 2005 in a contest of the Brazilian Computing Society]

Technical Reports

• Rodrigo Ramos. Automatic Generation of Java Assertions from Z Specifications. Recife, Brazil, Informatics Center of Federal University of Pernambuco (2002) [in portuguese]