|
|
Ronaldo
Rodrigues Ferreira rrferreira@acm.org Universidade
Federal do Rio Grande do Sul Instituto
de Informática Porto
Alegre, Brazil |
Student Member since’08 |
I will stay during 6 months starting in 1st
March for an internship at the Fraunhofer IIS, Dresden, Germany, working in the
SystemC-AMS
group under supervision of Karsten
Einwich, granted with a doctoral research scholarship from DAAD. My internship
is in the frame of the FP7 European Project VERDI.
I am a PhD candidate in Computer Science with the
Embedded Systems Lab since 12/2009, under supervision of Prof. Luigi Carro
and Prof. Álvaro Freitas. I am working
with transient fault detection and correction by means of software invariants
and formal models,
granted with a PhD scholarship from CAPES.
I was a Systems Engineer Intern at AIRBUS France (an EADS Company), Toulouse, France, from 03/2009
to 07/2009
under supervision of Eng. Patrice Thebault.
I
was with the Embedded Systems Lab, under supervision of Prof. Luigi Carro,
granted with
an undergraduate scholarship
from CNPq from
05/2007 to 03/2009.
I
have participated in the Brazilian Genome Project, from 08/2004 to 12/2006
under supervision
of Prof. Sandro
L. Bonatto, at PUCRS,
granted with an undergraduate research scholarship from CNPq.
To see my professional LATTES curriculum, click here (in Portuguese) or
for an English version click
here (PDF).
Je parle Français, vous
pouvez m’envoyer vos messages en Français si vous préférez !
Eu falo Português, você pode me contactar em Portugûes, caso
prefira!
Prizes and Awards
·
UFRGS
Young Researcher Prize on Earth and Exact Sciences (2009)
·
Best
Undergrad Work on Software Engineering and Fundamentals of Computer Science of
the UFRGS (2009)
·
Nominated
for the ACM Student Research Competition during OOPSLA’08 – ACM SIGPLAN and
Microsoft Research (2008)
·
Nominated
for the UFRGS’ Young Researcher Prize on Earth and Exact Sciences (2007)
·
Best
Undergrad Research Work on Microelectronics of the UFRGS (2007)
·
Best
Poster Award in the Third International Conference of the AB3C (2007)
Research interests:
·
Software
invariants and model-checking
·
Domain-specific
languages for embedded and real-time systems
·
Automatic
code generation for embedded software
Current Research projects:
·
HW
transient faults detection and correction based on software invariants and
formal models
Past Research projects:
·
Automatic
code generation from Alloy models targeting Java code (click here for a brief description in
Portuguese PDF).
·
SysML for avionics simulation (with AIRBUS France).
Developed Software:
·
Alloy to
Java translator
Download ZIP file here.
·
Trace
Viewer: Leveraging the Analysis of Multiple Chromatograms.
To download and to check the software click here.
Publications
·
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 (ASPLOS
'12), 2012, Londres. ASPLOS
2012 Provocative Ideas Session. New York
: ACM, 2012.
·
FERREIRA, RR ;
AGUIAR, C. Z. ; Moreira, AF ; CARRO, L . Generalization
of Algorithm-Based Fault-Tolerance by Program Transformation. In: 2nd
Workshop on Resilient Architectures (WRA 2011) (co-located with MICRO-44),
2011, Porto Alegre. Proceedings of the 2nd Workshop
on Resilient Architectures, 2011. p. 1-6.
·
ARGYRIDES, C.; FERREIRA, R. R.;
LISBOA, C. A. L.; CARRO, L. Decimal Hamming: A Novel Software-Implemented Technique to Cope with Soft
Errors. In: IEEE International Symposium on Defect and Fault Tolerance in
VLSI and Nanotechnology Systems (DFT 2011). Los Alamitos: IEEE Computer Society Press, p. 11—17,
2011.
·
FERREIRA, R. R.; MOREIRA, A. F.;
CARRO, L. Matrix Control-Flow Algorithm-Based Fault Tolerance.
In: 17th IEEE International On-Line Testing Symposium (IOLTS 2011). Los
Alamitos: IEEE Computer Society, p. 43—48, 2011.
·
FERREIRA, R. R.; AZAMBUJA, J. R. F.;
MOREIRA, A. F.; CARRO, L. Correction of Soft Errors in Control and Data Flow
Program Segments. In: 3rd HiPEAC
Workshop on Design for Reliability (DFR 2011).
·
FERREIRA, R. R.; MOREIRA, A. F.;
CARRO, L. System
Level Hardening by Computing
with Matrices. In: 13rd Euromicro Conference on
Digital System Design: Architectures, Methods and Tools (DSD 2010). Los
Alamitos: IEEE Computer Society, p. 373—379, 2010.
·
FERREIRA, R.; BRISOLARA, L.; MATTOS,
J.; SPECHT, E.; COTA, E.; CARRO, L. Engineering Embedded Software: From
Application Modeling to Software Synthesis. In: GOMES, L.; FERNANDES, J.
(Org.). Behavioral Modeling for Embedded Systems and Technologies:
Applications for Design and Implementation. Hershey: IGI Global Publishing,
chapter 10, p. 245-270, 2009.
·
OLIVEIRA, MFS; 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: 22nd 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.
·
FERREIRA,
RR. Integrated Model-Based Design and Simulation of Critical Embedded Systems.
2009. 91 f. Monograph ( Bachelor in Computer Science ) – Instituto
de Informática, Universidade
Federal do Rio Grande do Sul, Porto Alegre, Brazil
and Avionics and Simulation Products Department, Airbus France SAS, Toulouse,
France. Monograph supervised by Prof. Dr. Luigi Carro
(in side of Univ. Fed. do Rio Grande do Sul) and Eng.
Patrice Thebault (in side of Airbus France SAS).
Abstract available in English, French and Portuguese.
Full Text in English here.
·
FERREIRA,
RR. Automatic code generation and solution
estimate for object-oriented embedded software. In: 23rd 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.
Talks:
·
Uma abordagem para síntese de software embarcado e exploração
de espaço de projeto baseada em modelos alloy (in portuguese). Universidade
Católica de Pelotas, Pelotas/RS 2008. Seminário Ministrado para a série Seminários do Programa de Pós-Graduação em
Informática da UCPel
(PPT).
·
Introdução à Bioinformática (in portuguese). Universidade Federal do
Triângulo Mineiro, Uberaba/MG 2005. Seminário ministrado na Liga de Estudos em Biologia Molecular da
UFTM (PDF).
Institutions
and companies I am or was with:
