Class and Capsule Refinement in UML for Real Time. - Augusto Sampaio 001; Alexandre Mota 001; Rodrigo Ramos (WMF, 2003)

A Semantics for UML-RT Active Classes via Mapping into Circus. - Rodrigo Ramos; Augusto Sampaio 001; Alexandre Mota 001 (FMOODS, 2005)

Transformation Laws for UML-RT. - Rodrigo Ramos; Augusto Sampaio 001; Alexandre Mota 001 (FMOODS, 2006)

Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes. - Robson Godoi; Rodrigo Ramos; Augusto Sampaio 001 (SBES, 2006)

Matching Model-Snippets. - Rodrigo Ramos; Olivier Barais; Jean-Marc Jézéquel (MoDELS, 2007)

Framework composition conformance via refinement checking. - Rodrigo Ramos; Augusto Sampaio 001; Alexandre Mota 001 (SAC, 2008)

Systematic Development of Trustworthy Component Systems. - Rodrigo Ramos; Augusto Sampaio 001; Alexandre Mota 001 (FM, 2009)

Conformance notions for the coordination of interaction components. - Rodrigo Ramos; Augusto Sampaio 001; Alexandre Mota 001 (Sci. Comput. Program., 2010)

Rigorous development of component-based systems using component metadata and patterns. - Marcel Vinícius Medeiros Oliveira; Pedro Antonino; Rodrigo Ramos; Augusto Sampaio 001; Alexandre Cabral Mota; A. W. Roscoe 001 (Formal Aspects Comput., 2016)

Day-ahead Schedule Considering the Participation of Electric Vehicles in Primary Frequency Response. - Amanda Fernandes; Miguel Carrión; Ruth Domínguez; Rodrigo Ramos; Ahda Pavani; Werbeston Oliveira (CoRR, 2022)

ISTSat-1, a space-based Automatic Dependent Surveillance-Broadcast demonstration CubeSat mission. - João Paulo Monteiro; Alberto R. Cunha; Alexandre Silva; Carlos Fernandes 001; Diogo Neves; Fabian Naf; Gonçalo Tavares; José Freitas; João Pinto; Moisés Piedade; Nuno Ramos; Paulo J. S. Gil; et al. (Int. J. Satell. Commun. Netw., 2022)