Rodrigo Machado

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