Álvaro Freitas Moreira

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 4

Top Topics

Physical Constraints

Embedded Software

Top Venues

ACM Trans. Reconfigurable Technol. Syst.

J. Log. Algebraic Methods Program.

Electron. Notes Theor. Comput. Sci.

Publications

Marlo Souza, Álvaro Freitas Moreira
Belief base change as priority change: A study based on dynamic epistemic logic. J. Log. Algebraic Methods Program. 122 (2021)
Arthur Giesel Vedana, Rodrigo Machado, Álvaro Freitas Moreira
V: a language with extensible record accessors and a trait-based type system. RITA 25 (3) (2018)
Thiago Soares Fernandes, Álvaro Freitas Moreira, Érika F. Cota
EPE-Mobile - A framework for early performance estimation of mobile applications. Softw. Pract. Exp. 48 (1) (2018)
Vítor Bujés Ubatuba De Araújo, Álvaro Freitas Moreira, Rodrigo Machado
Týr: A Dependent Type System for Spatial Memory Safety in LLVM. Electron. Notes Theor. Comput. Sci. 324 (2016)
Thiago Soares Fernandes, Érika F. Cota, Álvaro Freitas Moreira
Performance Evaluation of Android Applications: A Case Study. SBESC (2014)
Fábio P. Itturriet, Gabriel L. Nazar, Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro
Adaptive Parallelism Exploitation under Physical and Real-Time Constraints for Resilient Systems. ACM Trans. Reconfigurable Technol. Syst. 7 (3) (2014)
Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vörtler, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro, Karsten Einwich
Reliable execution of statechart-generated correct embedded software under soft errors. DDECS (2014)
Ronaldo Rodrigues Ferreira, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro
Adaptive Low-Power Architecture for High-Performance and Reliable Embedded Computing. DSN (2014)
Rafael B. Parizi, Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro
Impact on Reliability in the Control-Flow of Programs under Compiler Optimizations. SBESC (2012)
Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro
Matrix control-flow algorithm-based fault tolerance. IOLTS (2011)
Daltro José Nunes, Álvaro Freitas Moreira, Leila Ribeiro
Formal Methods at SBES: Evolution and Perspectives. SBES (2011)
Cláudio Naoto Fuzitaki, Álvaro Freitas Moreira, Renata Vieira
Ontology Reasoning in Agent-Oriented Programming. SBIA (2010)
Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro
System Level Hardening by Computing with Matrices. DSD (2010)
Carlos Arthur Lang Lisbôa, Carmela Noro Grando, Álvaro Freitas Moreira, Luigi Carro
Using software invariants for dynamic detection of transient errors. LATW (2009)
Carmela Noro Grando, Carlos Arthur Lang Lisbôa, Álvaro Freitas Moreira, Luigi Carro
Invariant checkers: An efficient low cost technique for run-time transient errors detection. IOLTS (2009)
Fernando Barden Rubbo, Rodrigo Machado, Álvaro Freitas Moreira, Leila Ribeiro, Daltro José Nunes
On the Interaction of Advices and Raw Types in AspectJ. J. Univers. Comput. Sci. 14 (21) (2008)
Diego de Vargas Feijó, Cláudio Naoto Fuzitaki, Álvaro Freitas Moreira, Renata de Matos Galante, Carlos A. Heuser
CXPath: a Query Language for Conceptual Models of Integrated XML Data. SEKE (2007)
Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro
A Query Language for a Versioned Object Oriented Database. SBBD (2006)
Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro
Type-safe Versioned Object Query Language. J. Univers. Comput. Sci. 12 (7) (2006)
Renata de Matos Galante, Clesio Saraiva dos Santos, Nina Edelweiss, Álvaro Freitas Moreira
Temporal and versioning model for schema evolution in object-oriented databases. Data Knowl. Eng. 53 (2) (2005)
Renata de Matos Galante, Nina Edelweiss, Clesio Saraiva dos Santos, Álvaro Freitas Moreira
Data Modification Language for Full Support of Temporal Schema Versioning. SBBD (2003)