Rodrigo Machado

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 13

Top Topics

Spatial Locality

Rewriting Rules

Graph Transformation

Educational Tool

Top Venues

Graph Transformation, Specifications, and Nets

Sci. Comput. Program.

Publications

João R. Campos, Rodrigo Machado, Marco Vieira
Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction. LADC (2023)
Maicon Bernardino, Lucas Abner, Lucas Pieva, Thiago Araujo, Matheus Dias, Rodrigo Machado
Empirical Studies of an Educational Tool for Project Management based on PMBOK using Problem-Based Learning. SBES (2022)
Victor Costa, Gustavo Girardon, Maicon Bernardino, Rodrigo Machado, Guilherme Legramante, Anibal Neto, Fábio Paulo Basso, Elder de Macedo Rodrigues
Taxonomy of performance testing tools: a systematic literature review. SAC (2020)
Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra
Use case evolution analysis based on graph transformation with negative application conditions. Sci. Comput. Program. 198 (2020)
Gustavo Girardon, Victor Costa, Rodrigo Machado, Maicon Bernardino, Guilherme Legramante, Fábio Paulo Basso, Elder de Macedo Rodrigues, Anibal Neto
Testing as a service (TaaS): a systematic literature map. SAC (2020)
Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra
Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions. CoRR (2019)
Arthur Giesel Vedana, Rodrigo Machado, Álvaro Freitas Moreira
V: a language with extensible record accessors and a trait-based type system. RITA 25 (3) (2018)
Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets (2018)
Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado
The Verigraph System for Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Andrei Costa, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leonardo Marques Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado
Verigraph: A System for Specification and Analysis of Graph Grammars. SBMF (2016)
Vítor Bujés Ubatuba De Araújo, Álvaro Freitas Moreira, Rodrigo Machado
Týr: A Dependent Type System for Spatial Memory Safety in LLVM. Electron. Notes Theor. Comput. Sci. 324 (2016)
Rodrigo Machado, Leila Ribeiro, Reiko Heckel
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. ICGT (2015)
Rodrigo Machado, Leila Ribeiro, Reiko Heckel
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. Theor. Comput. Sci. 594 (2015)
Rodrigo Machado
An Introduction to Lambda Calculus and Functional Programming. WEIT (2013)
Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado
Towards Test Coverage Criteria for Visual Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Rodrigo Machado, Reiko Heckel, Leila Ribeiro
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars RULE (2009)
Rodrigo Machado, Luciana Foss, Leila Ribeiro
Aspects for Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Fernando Barden Rubbo, Rodrigo Machado, Álvaro Freitas Moreira, Leila Ribeiro, Daltro José Nunes
On the Interaction of Advices and Raw Types in AspectJ. J. Univers. Comput. Sci. 14 (21) (2008)
Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro
A Query Language for a Versioned Object Oriented Database. SBBD (2006)
Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro
Type-safe Versioned Object Query Language. J. Univers. Comput. Sci. 12 (7) (2006)
Rodrigo Machado, Rafael H. Bordini
Running AgentSpeak(L) Agents on SIM_AGENT. ATAL (2001)