Ronaldo Rodrigues Ferreira

I earned the Bachelor ('04) and PhD ('15) degrees both in Computer Science from the Universidade Federal do Rio Grande do Sul (UFRGS), Porto Alegre, Brazil. I currently work as Software Engineer at HP R&D Brazil also in Porto Alegre. I was an intern at Airbus France and at the Fraunhofer Institute for Integrated Circuits in Germany, granted with a DAAD scholarship during his stay in Germany. I am a Marie Curie Fellow, having worked at the Politecnico di Torino in Italy during my PhD. In my PhD I did research on fault tolerance and compilers construction. My current research interest is software engineering for the Internet of Things.

Informações coletadas do Lattes em 29/08/2025

Acadêmico

Formação acadêmica

Doutorado em Computação

2010 - 2015

Universidade Federal do Rio Grande do Sul
Título: The Transactional HW/SW Stack for Fault Tolerant Embedded Computing
Orientador: Luigi Carro
com Coorientador: Álvaro Freitas Moreira. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Graduação em Ciência da Computação

2004 - 2009

Universidade Federal do Rio Grande do Sul
Título: Integrated Model-Based Design and Simulation of Critical Embedded Systems
Orientador: Luigi Carro (co-orientação de Patrice Thebault)
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Formação complementar

2011 - 2011

Empretec. (Carga horária: 60h). , Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre, SEBRAE/RS, Brasil.

2011 - 2011

Bioinformatics to understand studies in genomics. (Carga horária: 30h). , Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP, Brasil.

2009 - 2009

Simulation Processes and Methods Awareness. (Carga horária: 4h). , AIRBUS France, AIRBUS, França.

2009 - 2009

Real-Time Workshop Fundamentals. (Carga horária: 6h). , The MathWorks, MATHWORKS, Estados Unidos.

2009 - 2009

Simulink for Aerospace System Design. (Carga horária: 18h). , The MathWorks, MATHWORKS, Estados Unidos.

2007 - 2007

Filogenia Molecular: Teoria e Prática. (Carga horária: 30h). , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2007 - 2007

Programação Orientada a Aspectos. (Carga horária: 8h). , Universidade Estadual do Oeste do Paraná, UNIOESTE, Brasil.

2005 - 2005

Algoritmos de Memoria Externa. (Carga horária: 15h). , Universidad de Buenos Aires, UBA, Argentina.

2004 - 2004

Extensão universitária em Empreendedorismo - Atitude empreendedora. (Carga horária: 30h). , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2004 - 2004

Genômica Funcional. (Carga horária: 4h). , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Organização de eventos

CARRO, L ; MOSHOVOS, A. ; PRVULOVIC, M. ; GIZOPOULOS, D. ; JALEEL, A. ; BECK, A. S. ; KURSUN, E. ; MAILLARD, N. ; GALUZZI, C. ; NAZAR, G. L. ; FERREIRA, RR . 44th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-44). 2011. (Congresso).

Moreira, AF ; Fuzitaki, CN ; DILLENBURG, FC ; Foss, L ; Duarte, L ; Oliveira, O ; Medrado, R ; FERREIRA, RR . Simpósio Brasileiro de Métodos Formais (SBMF). 2009. (Congresso).

Participação em bancas

Aluno: Arthur de Oliveira Reis

Ferreira, R; Lorenzon, A.. Estudo de utilização de Balanced Scorecard e Business Intelligence como conjunto de metodologias para auxílio à gestão de empresa de Vendas de Espaços em Feiras. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Análise de Inteligência de Negócio) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Demian dos Santos

Ferreira, R; Lorenzon, A.. Planejamento de Segurança de Tecnologia da Informação para Pequenas e Médias Indústrias Metalmecânicas. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Segurança da Informação) - Instituto de Gestão em Tecnologia da Informação.

Aluno: HEITOR ASSMANN

Ferreira, R; Lorenzon, A.. O Uso de Software Livre para Gerenciamento de Infraestrutura de Data Center: Um Estudo de Caso em uma Empresa Pública. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Gestão de Infraestrutura de TI como Serviço) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Marcos Locateli Gontarski

Ferreira, R; Lorenzon, A.. Análise dos Benefícios do Gerenciamento do Ciclo de Vida da Informação. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Gestão de Tecnologia da Informação) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Pedro Fonte Silva

Ferreira, R; Lorenzon, A.. Estudo de Caso sobre a Organização de Trabalho em Equipe de TI Reduzida. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Gerenciamento de Projetos de TI) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Vanderson Trindade Gonçalves

Ferreira, R; Lorenzon, A.. Influência da Qualidade de Dados na Etapa de Teste Frente ao Processo de Desenvolvimento de Soluções de Business Intelligence. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Análise de Inteligência de Negócio) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Vlads Barcelos Godoi

Ferreira, R; Lorenzon, A.. Uma Proposta de Implantação de uma Ferramenta Business Intelligence para Cooperativa Agropecuária. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Análise de Inteligência de Negócio) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Fábio Augusto Bitencourt Ranquetat

Ferreira, R; Lorenzon, A.. O Papel de um Escritório de Processos no âmbito do Poder Legislativo do Estado do Rio Grande do Sul. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Análise de Processos de Negócio) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Fábio Rodrigues Paes

Ferreira, R; Lorenzon, A.. Reduzindo Anormalidades com Gestão à Vista: Implantação do Sistema ANDON em Indústria do Ramo Automotivo. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Gestão de Infraestrutura de TI como Serviço) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Fernanda da Silveira Duarte

Ferreira, R; Lorenzon, A.. Precificação de Software como Serviço em Empresas de Pequeno e Médio Porte do Ramo Tecnológico. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Gestão de Tecnologia da Informação) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Guilherme Luis Eckert

Ferreira, R; Lorenzon, A.. Integração Contínua: Implementação em Times Ágeis. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Engenharia de Software com Métodos Ágeis) - Instituto de Gestão em Tecnologia da Informação.

Aluno: LUÍS CARLOS PETERS MOTTA

Ferreira, R; Lorenzon, A.. Estudo de caso: o uso de software livre para prover recursos de conexão e rede em pequenas e médias empresas. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Gestão de Tecnologia da Informação) - Instituto de Gestão em Tecnologia da Informação.

Aluno: MARCELO LORA DE OLIVEIRA

Ferreira, R; Lorenzon, A.. Ágil ou Tradicional: Um Estudo sobre Metodologias de Gestão de Projetos e Suas Aplicações. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Engenharia de Software com Métodos Ágeis) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Neiva Lusiane Martins Nessi

Ferreira, R; Lorenzon, A.. Censo Escolar Inep: Um Estudo de Caso sobre a Aplicação de Dashboards. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Análise de Inteligência de Negócio) - Instituto de Gestão em Tecnologia da Informação.

Aluno: Vanessa Kapper Gomes

Ferreira, R; Lorenzon, A.. A Contribuição do Design Thinking, da Aprendizagem Significativa e do Gerenciamento de Processos de Negócio na Modelagem de um Processo para Treinamento Técnico. 2016. Monografia (Aperfeiçoamento/Especialização em MBA em Análise de Processos de Negócio) - Instituto de Gestão em Tecnologia da Informação.

Orientou

BRENO LAZARI DA SILVA

Automation of Unit Test Generation from Debug Traces; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, HP Brasil; Orientador: Ronaldo Rodrigues Ferreira;

Eduardo Lima de Oliveira

Unit Test Code Generation from Debug Execution Traces; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, HP Brasil; Orientador: Ronaldo Rodrigues Ferreira;

Larissa Fiorini Martins

Automatic Test Capture from Live Software Debug Executions; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, HP Brasil; Orientador: Ronaldo Rodrigues Ferreira;

Caroline Zingano de Aguiar

Uso de GPU's e CUDA para detecção e correção de falhas transitórias em sistemas embarcados; 2011; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Sul, Seventh Framework Programme European Union; Orientador: Ronaldo Rodrigues Ferreira;

Produções bibliográficas

FERREIRA, RR ; NAZAR, GABRIEL L. ; ROLT, JEAN DA ; Moreira, Á. F. ; CARRO, LUIGI . Live-Out Register Fencing. ACM Transactions on Embedded Computing Systems , v. 15, p. 1-25, 2016.
ITTURRIET, F. ; NAZAR, G. L. ; Ferreira, R ; Moreira, Álvaro F. ; Carro, Luigi . Adaptive Parallelism Exploitation under Physical and Real-Time Constraints for Resilient Systems. ACM Transactions on Reconfigurable Technology and Systems , v. 7, p. 1-17, 2014.
FERREIRA, RR ; Parizi, R ; CARRO, L ; Moreira, AF . Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software. Journal of Aerospace Technology and Management (Online) , v. 5, p. 323-334, 2013.
BECK, A. S. ; LISBOA, C. A. L. ; CARRO, L ; NAZAR, G. L. ; PEREIRA, M. M. ; FERREIRA, RR . Adaptability: The key for Future Embedded Systems. In: Antonio C S B Filho; Carlos A L Lisboa; Luigi Carro. (Org.). Adaptable Embedded Systems. 1ed.New York: Springer, 2012, v. , p. 1-12.
FERREIRA, RR ; CARRO, L . Adaptive Software. In: Antonio C S B Filho; Carlos A L Lisboa; Luigi Carro. (Org.). Adaptable Embedded Systems. 1ed.New York: Springer, 2012, v. , p. 279-304.
Ferreira, Ronaldo ; Brisolara, Lisane ; Mattos, Julio C.B. ; Spech, Emilena ; Cota, Erika . Engineering Embedded Software. In: Luis Gomes; João M. Fernandes. (Org.). Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. 1ed.Hershey: IGI Global Publishing, 2009, v. ch. 10, p. 245-270.
Ferreira, Ronaldo R. ; SANCHEZ, ERNESTO ; ROLT, JEAN DA ; NAZAR, GABRIE L. ; MOREIRA, ALVARO F. ; Carro, Luigi ; REORDA, MATTEO SONZA . Permanent fault detection and diagnosis in the lightweight dual modular redundancy architecture. In: 2015 16th LatinAmerican Test Symposium (LATS), 2015, Puerto Vallarta. 2015 16th Latin-American Test Symposium (LATS). p. 1-6.
Ferreira, R ; ROLT, J. ; NAZAR, G. ; Moreira, AF ; CARRO, L . A Checkpoint-Deterministic Architecture for Reliable and Low-Power Embedded Computing. In: Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH '14), 2014, Orlando. Proceedings, 2014.
Ferreira, Ronaldo ; KLOTZ, T. ; VORTLER, T. ; ROLT, J. ; NAZAR, G. L. ; Moreira, Álvaro F. ; Carro, Luigi ; EINWICH, K. . Reliable execution of statechart-generated correct embedded software under soft errors. In: IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS 2014), 2014, Varsóvia. Proceedings of the 17th IEEE DDECS 2014. Los Alamitos: IEEE, 2014. p. 147-152.
Ferreira, Ronaldo R. ; ROLT, JEAN DA ; NAZAR, GABRIEL L. ; MOREIRA, ALVARO F. ; Carro, Luigi . Adaptive Low-Power Architecture for High-Performance and Reliable Embedded Computing. In: 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2014, Atlanta. 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. p. 538-12.
Parizi, Rafael B. ; FERREIRA, RR ; Carro, Luigi ; Moreira, Álvaro F. . Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software. In: 4th IFIP TC 10 International Embedded Systems Symposium (IESS 2013), 2013, Paderborn. Embedded Systems: Design, Analysis and Verification (IFIP Advances in Information and Communication Technology). Berlin: Springer Berlin Heidelberg, 2013. v. 403. p. 49-60.
RECH, P. ; AGUIAR, C. Z. ; FERREIRA, RR ; SILVESTRI, M. ; GRIFFONI, A. ; CARRO, L . Neutron-Induced Soft Errors in Graphic Processing Units. In: Radiation Effects Data Workshop, 2012, Miami. Proceedings of the IEEE Radiation Effects Data Workshop (REDW 2012). Los Alamitos: IEEE, 2012. p. 1-6.
RECH, P. ; AGUIAR, C. Z. ; FERREIRA, RR ; FROST, C. ; CARRO, L . Neutrons Radiation Test of Graphic Processing Units. In: International On-Line Testing Symposium, 2012, Sitges. Proceedings of the 18th IEEE International On-Line Testing Symposium (IOLTS 2012). Los Alamitos: IEEE, 2012. p. 27-29.
ITTURRIET, F. ; FERREIRA, RR ; GIRAO, G. ; NAZAR, G. ; Moreira, AF ; CARRO, L . Resilient Adaptive Algebraic Architecture for Parallel Detection and Correction of Soft-Errors. In: EUROMICRO Conference on Digital System Design, 2012, Cesme. Proceedings of the 15th EUROMICRO Conference on Digital System Design (DSD 2012). Los Alamitos: IEEE, 2012.
ITTURRIET, F. ; NAZAR, G. ; FERREIRA, RR ; Moreira, AF ; CARRO, L . Adaptive Parallelism Exploitation under Physical and Real-Time Constraints for Resilient Systems. In: International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2012, York. Proceedings of the 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2012). Los Alamitos: IEEE, 2012. p. 1-8.
Parizi, R ; FERREIRA, RR ; CARRO, L ; Moreira, AF . Impact on Reliability in the Control-Flow of Programs under Compiler Optimizations. In: Brazilian Symposium on Computing System Engineering (SBESC), 2012, Natal. Proceedings of the 2012 Brazilian Symposium on Computing System Engineering. Los Alamitos: IEEE, 2012. p. 43-48.
FERREIRA, RR ; AZAMBUJA, J. R. F. ; Moreira, AF ; CARRO, L . Correction of Soft Errors in Control and Data Flow Program Segments. In: HiPEAC Workshop on Design for Reliability, 2011, Heraklion. Proceedings of the 3rd HiPEAC Workshop on Design for Reliability (DFR 2011), 2011.
FERREIRA, RR ; Moreira, AF ; CARRO, L . Matrix Control-Flow Algorithm-Based Fault Tolerance. In: International On-Line Testing Symposium, 2011, Atenas. Proceedings of the 17th IEEE International On-Line Testing Symposium (IOLTS 2011). Los Alamitos: IEEE Computer Society, 2011. p. 37-42.
ARGYRIDES, C. ; FERREIRA, RR ; LISBOA, C. A. L. ; CARRO, L . Decimal Hamming: A Software-Implemented Technique to Cope with Soft Errors. In: International Symposium on Defect and Fault Tolerance in VLSI Systems, 2011, Vancouver. Proceedings of the 26th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT 2011). Los Alamitos: IEEE Computer Society, 2011. p. 1-7.
FERREIRA, RR ; AGUIAR, C. Z. ; Moreira, AF ; CARRO, L . Generalization of Algorithm-Based Fault-Tolerance by Program Transformation. In: Workshop on Resilient Architectures, 2011, Porto Alegre. Proceedings of the 2nd Workshop on Resilient Architectures (WRA 2011) (co-located with MICRO-44), 2011. p. 1-6.
FERREIRA, RR ; Moreira, AF ; CARRO, L . Detecção e Correção de Falhas Transitórias Através da Descrição de Programas Usando Matrizes. In: Workshop de Testes e Tolerância a Falhas, 2010, Gramado. Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010). Porto Alegre: Sociedade Brasileira de Computação (SBC), 2010. p. 133-145.
FERREIRA, RR ; Moreira, AF ; CARRO, L . System Level Hardening by Computing with Matrices. In: EUROMICRO Conference on Digital System Design, 2010, Lille. Proceedings of the 13th Euromicro Conference on Digital System Design (DSD 2010). Los Alamitos: IEEE Computer Society, 2010. p. 373-379.
OLIVEIRA, Marcio Ferreira da Silva ; FERREIRA, RR ; NASCIMENTO, F. A. ; RAMMIG, F. J. ; WAGNER, F. R. . Exploiting the Model-Driven Engineering Approach to Improve Design Space Exploration of Embedded Systems. In: Symposium on Integrated Circuits and System Design, 2009, Natal. Proceedings of the 22nd IEEE/ACM Symposium on Integrated Circuits and System Design (SBCCI 2009). New York: ACM Press, 2009. p. 1-6.
FERREIRA, RR ; SPECHT, E ; BRISOLARA, L. ; MATTOS, J. C. B. ; COTA, EF ; CARRO, L . Exploração do Espaço de Projeto e Síntese de Software Embarcado a partir de Modelos Alloy. In: Conferência Latino Americana de Informática (CLEI'09), 2009, Pelotas. Anais do XXXV CLEI 2009. Pelotas: UFPEL, 2009.
FERREIRA, RR ; MALERBA, C ; SOUZA, AE ; WAYHS, DZ ; ZIRBES, SF ; OLIVEIRA, Marcio Ferreira da Silva . Aspect-Oriented Modelling of the Unmanned Aerial Vehicle's Autonomous Collision Avoidance System. In: II Encontro Paranaense de Computação, 2007, Cascavel. Anais da II EPAC, 2007.
FERREIRA, RR ; ITTURRIET, F. ; AGUIAR, C. Z. ; Moreira, AF ; CARRO, L . Single-Instruction HW/SW Unified Stack for Accelerated and Resilient Application Execution. In: Architectural Support for Programming Languages and Operating Systems, 2012, Londres. ASPLOS 2012 Provocative Ideas Session (ASPLOS 2012). New York: ACM, 2012.
Parizi, R ; FERREIRA, RR ; CARRO, L ; Moreira, AF . Compiler Optimizations Do Impact the Reliability of the Control-Flow of Radiation Hardened Software. In: IV Workshop Sobre os Efeitos da Radiação Ionizante em Componentes Eletrônicos e Fotônicos de Uso Aeroespacial (WERICE 2012), 2012, São José dos Campos. Anais do IV WERICE 2012, 2012. p. 1-4.
FERREIRA, RR ; SPECHT, E ; BRISOLARA, L. ; COTA, EF ; CARRO, L . Automatic Code Generation for Embedded Applications from Verified Alloy Models. In: 23rd South Symposium on Microelectronics - SIM 2008, 2008, Bento Gonçalves. Proceedings of the 23rd SIM. Porto Alegre: Editora da SBC, 2008. p. 45-48.
FERREIRA, RR . Automatic code generation and solution estimate for object-oriented embedded software. In: ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2008) Student Research Competition Session, 2008, Nashville. Companion to the 23rd ACM OOPSLA 2008. New York: ACM Press, 2008. p. 909-910.
FERREIRA, RR ; ROLT, J. ; NAZAR, G. L. ; Moreira, AF ; CARRO, L . Lightweight DMR for SEE Hardening in Low Power Embedded Systems. In: IEEE Nuclear and Space Radiation Effects Conference (NSREC 2014), 2014, Paris. Proceedings of the NSREC 2014. Los Alamitos: IEEE, 2014.
Ferreira, Ronaldo R. ; ROLT, J. ; NAZAR, G. L. ; Moreira, AF ; CARRO, L . MoMa: A Radiation Hardened Architecture based on Branch-Free Control-Flow Resolution and on Transactional Data-Path Execution. In: Intel Compiler, Architecture and Tools Conference, 2013, Haifa. Livro de Resumos, 2013.
ITTURRIET, F. ; FERREIRA, RR ; CARRO, L . Fault-Tolerant Algebraic Architecture for radiation induced soft-errors. In: European Test Symposium, 2012, Annecy. Proceedings of the 17th IEEE European Test Symposium (ETS 2012). Los Alamitos: IEEE, 2012. p. 1.
FERRAREZZI, H. ; FERREIRA, RR ; PATANE, J. S. L. . Use of polymorphic nucleotide sequences as terminal taxa in molecular systematics: an efficient alternative to the exemplar approach. In: XXX Meeting of the Willi Hennig Society, 2011, São José do Rio Preto. Proceedings of the 30th Meeting of the Willi Hennig Society, 2011.
FERREIRA, RR ; CARRO, L . Integração Baseada em Modelos SysML do Projeto e Simulação de Sistemas Aviônicos Embarcados Críticos. In: XXI Salão de Iniciação Científica da UFRGS, 2009, Porto Alegre. CD-ROM de Resumos do XXI SIC da UFRGS. Porto Alegre: Editora da UFRGS, 2009.
FERREIRA, RR ; SPECHT, E ; BRISOLARA, L. ; CARRO, L ; COTA, EF . Geração Automática de Código para Aplicações Embarcadas a partir de Modelos Alloy. In: 15ª Jornada Nacional de Iniciação Científica - 60ª Reunião Anual da Sociedade Brasileira para o Progresso da Ciência (SBPC), 2008, Campinas. Anais da 60ª Reunião Anual da Sociedade Brasileira para o Progresso da Ciência (SBPC). São Paulo: SBPC/UNICAMP, 2008.
FERREIRA, RR ; BRISOLARA, L. ; CARRO, L ; COTA, EF . Geração Automática de Código e Estimativa de Solução para Software Embarcado Orientado a Objetos. In: XX Salão de Iniciação Científica da UFRGS, 2008, Porto Alegre. Anais do XX SIC UFRGS - Sessão Ciências Exatas e da Terra (Engenharia de Software). Porto Alegre: Editora da UFRGS, 2008. p. 21-21.
FERREIRA, RR ; SPECHT, E ; CARRO, L ; COTA, EF . Geração de código Java a partir de modelos Alloy. In: XIX Salão de Iniciação Científica da UFRGS, 2007, Porto Alegre. Anais do XIX SIC da UFRGS. Porto Alegre: Editora da UFRGS, 2007.
FERREIRA, RR ; GRAZZIOTIN, Felipe Gobbi ; FAGUNDES, N. J. R. ; KANITZ, R. ; BONATTO, Sandro Luis . TraceViewer: Leveraging the Analysis of Multiple Chromatograms. In: X-Meeting, 2007, São Paulo. Anais do X-Meeting, 2007.
FERREIRA, RR ; OLIVEIRA, Marcio Ferreira da Silva . Representando o espaço de projetos para sistemas embarcados através de produto categorial de grafos. In: XVIII Salão de Iniciação Científica da UFRGS, 2006, Porto Alegre. Livro de Resumos do XVIII SIC da UFRGS. Porto Alegre: Editora da UFRGS, 2006.
FERREIRA, RR ; GRAZZIOTIN, Felipe Gobbi ; BONATTO, Sandro Luis . SAPO: Um Ambiente Integrado para Análise de Diversidade Genômica. In: 51º Congresso Brasileiro de Genética, 2005, Águas de Lindóia. CD-ROM de Resumos. Ribeirão Preto: SBG, 2005.
FERREIRA, RR ; GRAZZIOTIN, Felipe Gobbi ; BONATTO, Sandro Luis . SAPO: Um Ambiente Integrado para Análise de Diversidade Genômica. In: VI Salão de Iniciação Científica da PUCRS, 2005, Porto Alegre. CDROM de Resumos. Porto Alegre: PUCRS, 2005.
MANDAJI, Marcos ; FERREIRA, RR ; TRENHAGO, Paulo R ; BENFATO, Mara S ; KIST, Tarso B L . Detecção por Flourescência Indireta em Eletroforese Capilar para Detecção de Co-fatores Enzimáticos. In: VI Reunião do Programa de Pós-Graduação em Biologia Celular e Molecular do Centro de Biotecnologia da UFRGS, 2004, Porto Alegre. Livro de Resumos, 2004.
Ferreira, R . Unit Tests Generation from Live Debugging Sessions Interacting with External Data Sources. 2018. (Apresentação de Trabalho/Conferência ou palestra).
Ferreira, R . Programming the Trusted Platform Module 2.0 in C#. 2018. (Apresentação de Trabalho/Conferência ou palestra).
Ferreira, Ronaldo ; Moreira, Álvaro F. ; Carro, Luigi . The Transactional HW/SW Stack for Fault Tolerant Embedded Computing. Porto Alegre: UFRGS, 2015 (Trabalho de Conclusão de Curso).
FERREIRA, RR ; CARRO, L ; THEBAULT, P. . Integrated Model-Based Design and Simulation of Critical Embedded Systems 2009 (Trabalho de Conclusão de Curso).

Outras produções

Ferreira, R ; Pinheiro, E. ; BEHNCK, E. ; BRAMLEY, R. ; Ali, V. . HP SureRun. 2018.

Ferreira, R ; Pinheiro, E. ; Riffel, F. ; MAYER, K. ; Ali, V. ; Mohrman, C. . HP WorkWise. 2016.

FERREIRA, RR ; THEBAULT, P. . SysML Airbus Avionics Toolchain. 2009.

FERREIRA, RR ; SPECHT, E ; CARRO, L . Alloy Compiler. 2008.

FERREIRA, RR ; GRAZZIOTIN, Felipe Gobbi ; FAGUNDES, N. J. R. ; KANITZ, R. ; BONATTO, Sandro Luis . TraceViewer. 2007.

FERREIRA, RR . Introdução à Modelagem e ao Desenvolvimento de Sistemas com UML e C#. 2007. .

FERREIRA, RR . Uma abordagem para síntese de software embarcado e exploração de espaço de projeto baseada em modelos alloy. 2008 (Palestra) .

FERREIRA, RR . Competição Imagine Cup 2008. 2007 (Palestra) .

FERREIRA, RR . Introdução à Bioinformática. 2005 (Seminário Ministrado - FMTM) .

Projetos de desenvolvimento

2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento.
2010 - 2011

FluorGene4 - Desenvolvimento de instrumento para análise de DNA aplicado a diagnóstico in-vitro de doenças infecciosas, Descrição: Projeto desenvolvido com recursos públicos de subvenção econômica aportados pelo SEBRAE/RS no âmbito do edital INOVA 2010 Pequena Empresa RS.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ronaldo Rodrigues Ferreira - Coordenador / Marcos Mandaji - Integrante / Floriano Aguilar Chagas Filho - Integrante / Alice Tagliani Ribeiro - Integrante., Financiador(es): Serviço de Apoio às Micro e Pequenas Empresas de Porto Alegre - Auxílio financeiro.

Prêmios

2014

Marie Curie Research Fellowship under IRSES action, Research Executive Agency - European Union.

2014

Best Paper - Workshop Harsh 2014 co-located with HPCA '14, .

2012

Research Grant For Doctoral Candidates Up To Six Months, Deutscher Akademischer Austauschdienst (DAAD).

2012

Grant for visiting the NASA Ames Research Center, Pró-reitoria de Pós-Graduação (PROPG) da UFRGS.

2009

Destaque no XXI Salão de Iniciação Científica da UFRGS - Sessão Engenharia de Software e Fundamentos da Computação, PROPESQ UFRGS.

2009

Prêmio UFRGS Jovem Pesquisador em Ciências Exatas e da Terra, Pró-Reitoria de Pesquisa UFRGS.

2008

Indicação ao ACM Student Research Prize at OOPSLA, ACM SIGPLAN e Microsoft Research.

2007

Destaque no XIX Salão de Iniciação Científica da UFRGS - Sessão Microeletrônica, PROPESQ UFRGS.

2007

Indicação ao Prêmio UFRGS Jovem Pesquisador em Ciências Exatas e da Terra, Pró-Reitoria de Pesquisa UFRGS.

2007

Best Poster Award in "Genomics, Sequence Analysis, Evolution and Phylogeny" in the Third International Conference of the AB3C, AB3C.

Histórico profissional

Endereço profissional

UBER. , São Paulo Corporate Towers, Vila Nova Conceição, 04543907 - São Paulo, SP - Brasil, Telefone: (51) 995088663, URL da Homepage:

Experiência profissional

2015 - 2018

Hewlett-Packard

Vínculo: Celetista, Enquadramento Funcional: Desenhista de Software, Carga horária: 40

Atividades

04/2015 - 12/2018
Pesquisa e desenvolvimento , Printing and Personal Systems Group, .,Linhas de pesquisa

2015 - 2018

União das Faculdades Integradas de Negócios

Vínculo: Celetista, Enquadramento Funcional: Professor Assistente I, Carga horária: 12

Atividades

01/2016 - 08/2018
Conselhos, Comissões e Consultoria, FACULDADE SÃO FRANCISCO DE ASSIS, .,Cargo ou função, Membro do NDE Curso de Ciência da Computação.
08/2015 - 08/2018
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Estágio em Ciência da Computação I, Linguagens Formais e Autômatos, Lógica Aplicada à Computação, Programação Orientada à Objetos, Teoria da Computação

2009 - 2015

Universidade Federal do Rio Grande do Sul

Vínculo: Estudante de Doutorado, Enquadramento Funcional: Doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

2009 - 2009

Universidade Federal do Rio Grande do Sul

Vínculo: Representante Discente, Enquadramento Funcional: Representante Discente, Carga horária: 0

2007 - 2008

Universidade Federal do Rio Grande do Sul

Vínculo: Colaborador, Enquadramento Funcional: Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Iniciação Científica sob orientação dos professores Luigi Carro e Érika Fernandes Cota. Construção de gerador de código Java a partir de modelos formais Alloy.

Atividades

12/2009 - 01/2015
Pesquisa e desenvolvimento , Instituto de Informática, .,Linhas de pesquisa
08/2009 - 12/2009
Estágios , Instituto de Informática, .,Estágio realizado, Exploração de espaço de projeto em UML sob orientação do Prof. Flávio Rech Wagner..
08/2009 - 12/2009
Conselhos, Comissões e Consultoria, Instituto de Informática, .,Cargo ou função, Representante Discente na Comissão de Pesquisa do Instituto de Informática.
05/2007 - 12/2008
Estágios , Instituto de Informática, .,Estágio realizado, Iniciação Científica sob orientação dos Profs. Luigi Carro e Érika Fernandes Cota. P&D de um gerador de código Java a partir de modelso formais Alloy..

2014 - 2014

Politecnico Di Torino

Vínculo: Bolsista, Enquadramento Funcional: Estágio Sanduíche, Carga horária: 40

Outras informações:
Estágio de doutorado sanduíche sob orientação do professor Matteo Sonza Reorda no Departamento de Automática e Informática do POLITO

Atividades

01/2014 - 12/2014
Estágios , Dipartimento di Automatica e Informatica, .,Estágio realizado, Estágio sanduíche financiado com uma Marie Curie IRSES Fellowship.

2012 - 2012

Fraunhofer-Institut für Integrierte Schaltungen

Vínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 39

Atividades

03/2012 - 08/2012
Estágios , Institutsteil Entwurfsautomatisierung EAS, .,Estágio realizado, Estagiário na divisão EAS do Fraunhofer IIS sob supervisão de Karsten Einwich, fazendo parte do grupo SystemC-AMS. Trabalho desenvolvido dentro do projeto FP7 VERDI..

2009 - 2009

Airbus France

Vínculo: Colaborador, Enquadramento Funcional: Estagiario, Carga horária: 36, Regime: Dedicação exclusiva.

Atividades

03/2009 - 07/2009
Estágios , Energy Simulation Department (EDYYSEN), .,Estágio realizado, Modelagem SysML de simulações de componentes aviônicos das aeronaves A350/380/400M.

2009 - 2009

Sequor Automação Industrial Ltda.

Vínculo: Estágio, Enquadramento Funcional: Desenvolvedor de Software, Carga horária: 30

Outras informações:
Atuo no desenvolvimento de software para linhas de produção industriais com sistemas multi-agentes e data mining.

Atividades

01/2009 - 03/2009
Estágios , Grupo de Desenvolvimento de Software, .,Estágio realizado, Pesquisa em Sistemas Multiagentes para software de automação de linhas de produção industrial.

2009 - 2011

Allevo Genetics

Vínculo: Sócio, Enquadramento Funcional: Analista, Carga horária: 30

2004 - 2007

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Bolsista ITI, Enquadramento Funcional: Bolsista ITI, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Participação como bolsista ITI do CNPq no projeto Genoma Brasil e Genoma Sul para desenvolvimento de ferramentas de bioinformática sob orietação do professor Sandro Luis Bonatto

Atividades

08/2004 - 01/2007
Estágios , Centro de Biologia Genômica e Molecular (CBGM), .,Estágio realizado, Desenvolvimento de software para Bioinformática no projeto Genoma Brasil - Genesul.

2019 - Atual

Uber

Vínculo: Celetista, Enquadramento Funcional: Software Engineer, Carga horária: 40

Atividades

01/2019
Pesquisa e desenvolvimento , Safety and Insurance, .,Linhas de pesquisa