Rodrigo Machado

According to our database, Rodrigo Machado authored at least 20 papers between 2001 and 2023.

Collaborative distances:

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

2023

Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction.

João R. Campos, Rodrigo Machado, Marco Vieira

Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

2022

Empirical Studies of an Educational Tool for Project Management based on PMBOK using Problem-Based Learning.

Maicon Bernardino, Lucas Abner, Lucas Pieva, Thiago Araujo, Matheus Dias, Rodrigo Machado

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

2020

Use case evolution analysis based on graph transformation with negative application conditions.

Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra

Sci. Comput. Program., 2020

Testing as a service (TaaS): a systematic literature map.

Gustavo Girardon, Victor Costa, Rodrigo Machado, Maicon Bernardino, Guilherme Legramante, Fábio Paulo Basso, Elder de Macedo Rodrigues, Anibal Neto

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Taxonomy of performance testing tools: a systematic literature review.

Victor Costa, Gustavo Girardon, Maicon Bernardino, Rodrigo Machado, Guilherme Legramante, Anibal Neto, Fábio Paulo Basso, Elder de Macedo Rodrigues

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2018

V: a language with extensible record accessors and a trait-based type system.

Arthur Giesel Vedana, Rodrigo Machado, Álvaro Freitas Moreira

RITA, 2018

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.

Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

The Verigraph System for Graph Transformation.

Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2016

Verigraph: A System for Specification and Analysis of Graph Grammars.

Andrei Costa, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leonardo Marques Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2015

Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars.

Rodrigo Machado, Leila Ribeiro, Reiko Heckel

Theor. Comput. Sci., 2015

Týr: A Dependent Type System for Spatial Memory Safety in LLVM.

Vítor Bujés Ubatuba De Araújo, Álvaro Freitas Moreira, Rodrigo Machado

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems.

Rodrigo Machado, Leila Ribeiro, Reiko Heckel

Proceedings of the Graph Transformation - 8th International Conference, 2015

2013

An Introduction to Lambda Calculus and Functional Programming.

Rodrigo Machado

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

2011

Towards Test Coverage Criteria for Visual Contracts.

Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2009

Aspects for Graph Grammars.

Rodrigo Machado, Luciana Foss, Leila Ribeiro

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars

Rodrigo Machado, Reiko Heckel, Leila Ribeiro

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

2008

On the Interaction of Advices and Raw Types in AspectJ.

Fernando Barden Rubbo, Rodrigo Machado, Álvaro Freitas Moreira, Leila Ribeiro, Daltro José Nunes

J. Univers. Comput. Sci., 2008

2006

Type-safe Versioned Object Query Language.

Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro

J. Univers. Comput. Sci., 2006

A Query Language for a Versioned Object Oriented Database.

Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro

Proceedings of the XXI Simpósio Brasileiro de Banco de Dados, 2006

2001

Running AgentSpeak(L) Agents on SIM_AGENT.

Rodrigo Machado, Rafael H. Bordini

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001