Rodrigo Ramos

According to our database, Rodrigo Ramos authored at least 11 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

ISTSat-1, a space-based Automatic Dependent Surveillance-Broadcast demonstration CubeSat mission.

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

Int. J. Satell. Commun. Netw., 2022

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

2016

Rigorous development of component-based systems using component metadata and patterns.

Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe

Formal Aspects Comput., 2016

2010

Conformance notions for the coordination of interaction components.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

Sci. Comput. Program., 2010

2009

Systematic Development of Trustworthy Component Systems.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

Proceedings of the FM 2009: Formal Methods, 2009

2008

Framework composition conformance via refinement checking.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Matching Model-Snippets.

Rodrigo Ramos, Olivier Barais, Jean-Marc Jézéquel

Proceedings of the Model Driven Engineering Languages and Systems, 2007

2006

Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes.

Robson Godoi, Rodrigo Ramos, Augusto Sampaio

Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

Transformation Laws for UML-RT.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

A Semantics for UML-RT Active Classes via Mapping into Circus.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2003

Class and Capsule Refinement in UML for Real Time.

Augusto Sampaio, Alexandre Mota, Rodrigo Ramos

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003