Rodrigo Ramos

11 papers A 1B 1Misc 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Day-ahead Schedule Considering the Participation of Electric Vehicles in Primary Frequency Response.
CoRR
Amanda Fernandes, Miguel Carrión, Ruth Domínguez, Rodrigo Ramos, Ahda Pavani, Werbeston Oliveira
2022 J jnl
ISTSat-1, a space-based Automatic Dependent Surveillance-Broadcast demonstration CubeSat mission.
Int. J. Satell. Commun. Netw.
João Paulo Monteiro, Alberto R. Cunha, Alexandre Silva, Carlos Fernandes, Diogo Neves, Fabian Naf, Gonçalo Tavares, José Freitas, João Pinto, Moisés Piedade, Nuno Ramos, Paulo J. S. Gil, Paulo Macedo, Rúben Afonso, Renato Encarnação, Rodrigo Ramos, Tomás Almeida, Rui Manuel Rocha
2016 J jnl
Rigorous development of component-based systems using component metadata and patterns.
Formal Aspects Comput.
Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe
2010 J jnl
Conformance notions for the coordination of interaction components.
Sci. Comput. Program.
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2009 B conf
Systematic Development of Trustworthy Component Systems.
FM
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2008 Misc conf
Framework composition conformance via refinement checking.
SAC
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2007 A conf
Matching Model-Snippets.
MoDELS
Rodrigo Ramos, Olivier Barais, Jean-Marc Jézéquel
2006 — conf
Transformation Laws for UML-RT.
FMOODS
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2006 — conf
Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes.
SBES
Robson Godoi, Rodrigo Ramos, Augusto Sampaio
2005 — conf
A Semantics for UML-RT Active Classes via Mapping into Circus.
FMOODS
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2003 — conf
Class and Capsule Refinement in UML for Real Time.
WMF
Augusto Sampaio, Alexandre Mota, Rodrigo Ramos