lvaro Freitas Moreira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2007–2024
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECAI | Modelling Diffusion of Dependent and Conflicting Behaviours with Dynamic Logic. | Gabriel de Senne Amorim, Marlo Souza, lvaro Freitas Moreira |
| 2014 | DDECS | Reliable execution of statechart-generated correct embedded software under soft errors. | Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vrtler, Jean da Rolt, Gabriel L. Nazar, lvaro Freitas Moreira, Luigi Carro, Karsten Einwich |
| 2014 | DSN | Adaptive Low-Power Architecture for High-Performance and Reliable Embedded Computing. | Ronaldo Rodrigues Ferreira, Jean da Rolt, Gabriel L. Nazar, lvaro Freitas Moreira, Luigi Carro |
| 2011 | IOLTS | Matrix control-flow algorithm-based fault tolerance. | Ronaldo Rodrigues Ferreira, lvaro Freitas Moreira, Luigi Carro |
| 2010 | DSD | System Level Hardening by Computing with Matrices. | Ronaldo Rodrigues Ferreira, lvaro Freitas Moreira, Luigi Carro |
| 2009 | IOLTS | Invariant checkers: An efficient low cost technique for run-time transient errors detection. | Carmela Noro Grando, Carlos Arthur Lang Lisba, lvaro Freitas Moreira, Luigi Carro |
| 2007 | SEKE | CXPath: a Query Language for Conceptual Models of Integrated XML Data. | Diego de Vargas Feij, Cludio Naoto Fuzitaki, lvaro Freitas Moreira, Renata de Matos Galante, Carlos A. Heuser |