Álvaro Freitas Moreira

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