Álvaro F. Moreira

According to our database, Álvaro F. Moreira authored at least 51 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Modelling Diffusion of Dependent and Conflicting Behaviours with Dynamic Logic.

Gabriel de Senne Amorim, Marlo Souza, Álvaro Freitas Moreira

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2021

Dynamic Preference Logic meets iterated belief change: Representation results and postulates characterization.

Marlo Souza, Renata Vieira, Álvaro F. Moreira

Theor. Comput. Sci., 2021

Belief base change as priority change: A study based on dynamic epistemic logic.

Marlo Souza, Álvaro Freitas Moreira

J. Log. Algebraic Methods Program., 2021

2020

ACQuA: A Parallel Accelerator Architecture for Pure Functional Programs.

Ricardo Coelho, Felipe Tanus, Álvaro F. Moreira, Gabriel L. Nazar

Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020

2019

Bringing Belief Base Change into Dynamic Epistemic Logic.

Marlo Souza, Álvaro F. Moreira

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Generalized Iterated Belief Change in Dynamic Epistemic Logic.

Marlo Souza, Álvaro F. Moreira, Renata Vieira

Proceedings of the 8th Brazilian Conference on Intelligent Systems, 2019

Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach.

Marlo Souza, Álvaro F. Moreira, Renata Vieira

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

EPE-Mobile - A framework for early performance estimation of mobile applications.

Thiago Soares Fernandes, Álvaro Freitas Moreira, Érika F. Cota

Softw. Pract. Exp., 2018

V: a language with extensible record accessors and a trait-based type system.

Arthur Giesel Vedana, Rodrigo Machado, Álvaro Freitas Moreira

RITA, 2018

Tractable Reasoning about Agent Programming in Dynamic Preference Logic.

Marlo Souza, Álvaro F. Moreira, Renata Vieira

Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

2017

Dynamic Preference Logic as a Logic of Belief Change.

Marlo Souza, Álvaro F. Moreira, Renata Vieira

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

A Dynamic Preference Logic for Reasoning about Agent Programming.

Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer

Proceedings of the 2017 Brazilian Conference on Intelligent Systems, 2017

2016

Live-Out Register Fencing: Interrupt-Triggered Soft Error Correction Based on the Elimination of Register-to-Register Communication.

Ronaldo Rodrigues Ferreira, Gabriel L. Nazar, Jean da Rolt, Álvaro F. Moreira, Luigi Carro

ACM Trans. Embed. Comput. Syst., 2016

Preference and Priorities: A Study Based on Contrction.

Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015

Týr: A Dependent Type System for Spatial Memory Safety in LLVM.

Vítor Bujés Ubatuba De Araújo, Álvaro Freitas Moreira, Rodrigo Machado

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

Communication for Agents with Ontological Reasoning.

Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Bit-Flip Aware Control-Flow Error Detection.

Ghazaleh Nazarian, Diego G. Rodrigues, Álvaro F. Moreira, Luigi Carro, Georgi Gaydadjiev

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Integrating Ontology Negotiation and Agent Communication.

Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer

Proceedings of the Ontology Engineering, 2015

Permanent fault detection and diagnosis in the lightweight dual modular redundancy architecture.

Ronaldo Rodrigues Ferreira, Ernesto Sánchez, Jean da Rolt, Gabriel L. Nazar, Álvaro F. Moreira, Luigi Carro, Matteo Sonza Reorda

Proceedings of the 16th Latin-American Test Symposium, 2015

A non-conservative software-based approach for detecting illegal CFEs caused by transient faults.

Diego G. Rodrigues, Ghazaleh Nazarian, Álvaro F. Moreira, Luigi Carro, Georgi Gaydadjiev

Proceedings of the 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2015

2014

Adaptive Parallelism Exploitation under Physical and Real-Time Constraints for Resilient Systems.

Fábio P. Itturriet, Gabriel L. Nazar, Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro

ACM Trans. Reconfigurable Technol. Syst., 2014

Performance Evaluation of Android Applications: A Case Study.

Thiago Soares Fernandes, Érika F. Cota, Álvaro Freitas Moreira

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

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

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Reliable execution of statechart-generated correct embedded software under soft errors.

Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vörtler, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro, Karsten Einwich

Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014

An asynchronous algorithm to improve scheduling quality in the multiagent simple temporal problem.

Vinicius De Antoni, Álvaro F. Moreira

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software.

Rafael Baldiati Parizi, Ronaldo Rodrigues Ferreira, Luigi Carro, Álvaro F. Moreira

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012

Impact on Reliability in the Control-Flow of Programs under Compiler Optimizations.

Rafael Baldiati Parizi, Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro

Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

Identifying Business Rules to Legacy Systems Reengineering Based on BPM and SOA.

Gleison Samuel do Nascimento, Cirano Iochpe, Lucinéia Heloisa Thom, André Kalsing, Álvaro F. Moreira

Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Resilient Adaptive Algebraic Architecture for Parallel Detection and Correction of Soft-Errors.

Fábio P. Itturriet, Ronaldo Rodrigues Ferreira, Gustavo Girão, Gabriel L. Nazar, Álvaro F. Moreira, Luigi Carro

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

2011

Formal Methods at SBES: Evolution and Perspectives.

Daltro José Nunes, Álvaro Freitas Moreira, Leila Ribeiro

Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

Matrix control-flow algorithm-based fault tolerance.

Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro

Proceedings of the 17th IEEE International On-Line Testing Symposium (IOLTS 2011), 2011

Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages.

Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

2010

Ontology Reasoning in Agent-Oriented Programming.

Cláudio Naoto Fuzitaki, Álvaro Freitas Moreira, Renata Vieira

Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

System Level Hardening by Computing with Matrices.

Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

2009

Using software invariants for dynamic detection of transient errors.

Carlos Arthur Lang Lisbôa, Carmela Noro Grando, Álvaro Freitas Moreira, Luigi Carro

Proceedings of the 10th Latin American Test Workshop, 2009

Invariant checkers: An efficient low cost technique for run-time transient errors detection.

Carmela Noro Grando, Carlos Arthur Lang Lisbôa, Álvaro Freitas Moreira, Luigi Carro

Proceedings of the 15th IEEE International On-Line Testing Symposium (IOLTS 2009), 2009

2008

On the Interaction of Advices and Raw Types in AspectJ.

Fernando Barden Rubbo, Rodrigo Machado, Álvaro Freitas Moreira, Leila Ribeiro, Daltro José Nunes

J. Univers. Comput. Sci., 2008

Belief Update in AgentSpeak-DL.

Álvaro F. Moreira, Renata Vieira

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

2007

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language.

Renata Vieira, Álvaro F. Moreira, Michael J. Wooldridge, Rafael H. Bordini

J. Artif. Intell. Res., 2007

CXPath: a Query Language for Conceptual Models of Integrated XML Data.

Diego de Vargas Feijó, Cláudio Naoto Fuzitaki, Álvaro Freitas Moreira, Renata de Matos Galante, Carlos A. Heuser

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

2006

Type-safe Versioned Object Query Language.

Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro

J. Univers. Comput. Sci., 2006

A Query Language for a Versioned Object Oriented Database.

Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro

Proceedings of the XXI Simpósio Brasileiro de Banco de Dados, 2006

An Agent-Oriented Programming Language for Computing in Context.

Renata Vieira, Álvaro F. Moreira, Rafael H. Bordini, Jomi Fred Hübner

Proceedings of the Toward Category-Level Object Recognition, 2006

2005

MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming.

Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi Fred Hübner, Álvaro F. Moreira, Fabio Y. Okuyama, Renata Vieira

J. Artif. Soc. Soc. Simul., 2005

Temporal and versioning model for schema evolution in object-oriented databases.

Renata de Matos Galante, Clesio Saraiva dos Santos, Nina Edelweiss, Álvaro Freitas Moreira

Data Knowl. Eng., 2005

Agent-Oriented Programming with Underlying Ontological Reasoning.

Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner

Proceedings of the Declarative Agent Languages and Technologies III, 2005

2004

Proving BDI Properties of Agent-Oriented Programming Languages.

Rafael H. Bordini, Álvaro F. Moreira

Ann. Math. Artif. Intell., 2004

2003

Data Modification Language for Full Support of Temporal Schema Versioning.

Renata de Matos Galante, Nina Edelweiss, Clesio Saraiva dos Santos, Álvaro Freitas Moreira

Proceedings of the XVIII Simpósio Brasileiro de Bancos de Dados, 2003

Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication.

Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini

Proceedings of the Declarative Agent Languages and Technologies, 2003

2002

Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language.

Rafael H. Bordini, Álvaro F. Moreira

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

2000

A type-based locality analysis for a functional distributed language.

Álvaro F. Moreira

PhD thesis, 2000