publications [Álvaro Moreira]

Journals

RUBO, F. B., MACHADO, Rodrigo, MOREIRA, Á. F., NUNES, D. J. On the Interaction of Advices and Raw Types in AspectJ. Journal of Universal Computer Science. , v.10, p.3534 - 3555, 2008.

VIEIRA, Renata, MOREIRA, Á. F., WOOLDRIDGE, Michael, BORDINI, Rafael Heitor On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. Journal of Artificial Intelligence Research. , v.29, p.221 - 267, 2007.

MACHADO, Rodrigo, Moreira, Á. F., GALANTE, Renata de Matos, MORO, Mirella Type-safe Versioned Object Query Language. Journal of Universal Computer Science. , v.12, p.938 - 957, 2006.

BORDINI, Rafael Heitor, COSTA, Antônio Carlos da Rocha, Moreira, Á. F., HUBNER, J. F., OKUYAMA, F. Y., VIEIRA, Renata MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming. JASSS. Journal of Artificial Societies and Social Simulation. , v.8, p.7 - , 2005.

GALANTE, Renata de Matos, SANTOS, Clesio Saraiva dos, EDELWEISS, Nina, Moreira, Á. F. Temporal and Versioning Model for Schema Evolution in Object-Oriented Databases. Data & Knowledge Engineering. , v.53, p.99 - 128, 2005.

BORDINI, Rafael Heitor, Moreira, Á. F. Provind BDI Properties of Agent Oriented Programming Languages. Annals of Mathematics and Artificial Intelligence. , v.42, p.197 - 226, 2004.

BORDINI, Rafael Heitor, Moreira, Á. F. Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. Electronic Notes in Theoretical Computer Science. , v.70, p.7 - , 2002.

BORDINI, Rafael Heitor, VIEIRA, Renata, Moreira, Á. F. Fundamentos de Sistemas Multiagentes In: Anais do XXI Congresso da Sociedade Brasileira de Computação (SBC2001), Volume 2, XX Jornada de Atualização em Informática (JAI) ed. : Sociedade Brasileira de Computação, 2001, v.2, p. 3-41.

Conferences

Fabio Itturriet, Gabriel Nazar, Ronaldo Ferreira, Alvaro Moreira, Luigi Carro. Adaptive Parallelism Exploitation under Physical and Real-Time Constraints for Resilient Systems. 7th International Workshop onReconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2012. p. 1-8, York, UK

NASCIMENTO, Gleison ; IOCHPE, C. ; Lucinéia Thom ; André Kalsing ; Álvaro Freitas Moreira . Identifying Business Rules to Legacy Systems Reengineering Based on BPM and SOA. In: International Conference on Computational Science and Its Applicatins, 2012, Salvador. Computational Science and Its Applications ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV - LNCS. Heildelberg: Springer Verlag, 2012. v. 7336. p. 67-82.

Álvaro Freitas Moreira ; VIEIRA, Renata ; BORDINI, Rafael Heitor . Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. In: International Workshop on Declarative Agent Languages and Technologies (DALT), 2012, Taipei. Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers - LNCS. Heidelberg: Springer Verlag, 2011. v. 7169. p. 111-116.

FUZITAKI, C. N. ; Álvaro Moreira ; VIEIRA, Renata . Ontology Reasoning in Agent-Oriented Programming. In: Brazilian Symposium on Artificial Intelligence (SBIA), 2011, São Bernardo do Campo. Advances in Artificial Intelligence SBIA 2010 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings. Berlin/Heidelberg: Springer, 2011. v. 6404. p. 21-30.

Ronaldo Ferreira ; Álvaro Moreira ; Luigi Carro . Matrix control-flow algorithm-based fault tolerance. In: IEEE International On-Line Testing Symposium, 2011, Athens. On-Line Testing Symposium (IOLTS), 2011 IEEE 17th International, 2011. p. 37-42.

Ronaldo Ferreira ; AZAMBUJA, J. R. F. ; Álvaro Moreira ; Carro, L . Correction of Soft Errors in Control and Data Flow Program Segments. In: Workshop on Design for Reliability (DFR), 2011, Creta. 3rd HiPEAC Workshop on Design for Reliability. Held in conjunction with the 6th International Conference on High Performance and Embedded Architectures and Compilers, 2011.

Ronaldo Ferreira ; Álvaro Freitas Moreira ; Luigi Carro . System Level Hardening by Computing with Matrices. In: Digital System Design: Architectures, Methods and Tools (DSD), 2010, Lille, France. Digital System Design: Architectures, Methods and Tools (DSD), 2010 13th Euromicro Conference on, 2010. p. 373-379.

Ronaldo Ferreira ; Álvaro Freitas Moreira ; Luigi Carro . Detecção e Correção de Falhas Transitórias Através da Descrição de Programas Usando Matrizes. In: Workshop de Testes e Tolerância a Falhas (WTF 2010), 2010, Gramado. Anais do XI Workshop de Testes e Tolerância a Falhas. Porto Alegre : Sociedade Brasileira de Computação (SBC). Porto Alegre: SBC, 2010. p. 133-145.

Carlos Lisboa ; Carmela Grando ; Álvaro Freitas Moreira ; Carro, L . Using software invariants for dynamic detection of transient errors. In: IEEE Latin American Test Workshop, 2009, Búzios. Test Workshop, 2009. LATW '09. 10th Latin American, 2009. p. 1-6.

Carmela Grando, Carlos Lisboa, Moreira, Á, Carro, L. Invariant checkers: An efficient low cost technique for run-time transient errors detection In: 15th IEEE International On-Line Testing Symposium, 2009, Sesimbra, Portugal. 15th IEEE International On-Line Testing Symposium. Los Alamitos, California: IEEE Computer Society Press, 2009. p.35 - 40

Carlos Lisboa, Carmela Grando, Álvaro Freitas Moreira, Carro, L. Using software invariants for dynamic detection of transient errors In: IEEE Latin American Test Workshop, 2009, Búzios. Test Workshop, 2009. LATW '09. 10th Latin American. IEEE, 2009. p.1 - 6

MOREIRA, Á. F., VIEIRA, Renata Belief Update in AgentSpeak-DL In: Dagstuhl Seminar 08361 - Programming Multi-Agent Systems, 2008, Dagstuhl. Dagstuhl Seminar Proceedings - Programming Multi-Agent Systems. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008.

FUZITAKI, C. N., MOREIRA, Á. F., GALANTE, Renata de Matos, HEUSER, Carlos Alberto CXPath : a query language for conceptual models of integrated XML data In: International Conference on Software Engineering and Knowledge Engineering, 2007, Boston. Proceedings of International Conference on Software Engineering and Knowledge Engineering. Boston: Skokie : Knowledge Systems Institute, 2007. v.1. p.592 - 597

Moreira, A. F, Cota, E, Gapsary, L, RIBEIRO, Leila, Carro, L, RITT, Marcus, Weber, T. Em Direção a um Modelo para Desenvolvimento de Sistemas Computacionais de Qualidade para Aplicações Onivalentes In: XXXIV Seminário Integrado de Software e Hardware, 2007, Rio de Janeiro. XXVII Congresso da Sociedade Brasileira de Computação. Porto alegre: Sociedade Brasileira de Computação, 2007. p.2262 - 2276

MACHADO, Rodrigo, Moreira, Á. F., GALANTE, Renata de Matos, MORO, Mirella A Query Language for a Versioned Object Oriented Database In: Simpósio Brasileiro de Banco de Dados, 2006, Florianópolis. Anais do XXI Simpósio Brasileiro de Banco de Dados. , 2006. p.72 - 86

Moreira, Á. F., VIEIRA, Renata, BORDINI, Rafael Heitor, HUBNER, J. F. Agent-Oriented Programming with Underlying Ontological Reasoning In: Declarative Agent Languages and Technologies, 2006, Utrecht. Third International Workshop, DALT 2005 - Selected and Revised Papers - LNAI. Berlin Heidelberg: Springer, 2006. v.3904. p.132 - 147

VIEIRA, Renata, Moreira, Á. F., BORDINI, Rafael Heitor, HÜBNER, Jomi An Agent-Oriented Programming Language for Computing in Context In: Professional Practice in Artificial Intelligence - IFIP 19th World Computer Congress, 2006, Santiago. Professional Practice in Artificial Intelligence - IFIP 19th World Computer Congress Professional Practice Stream. Springer, 2006. v.128. p.61 - 70

NASCIMENTO, Gleison, Moreira, Á. F. Identificação de Nomes Ativos em Cálculo-pi baseada em Tipos In: Simpósio Brasileiro de Métodos Formais, 2006, Natal. Anais do Simpósio Brasileiro de Métodos Formais. , 2006. p.89 - 104

MACHADO, Rodrigo, Moreira, Á. F., GALANTE, Renata Type Safe Versioned Object Query Language In: Simpósio Brasileiro de Linguagens de Programação, 2006, Itatiaia. Anais do X Simpósio Brasileiro de Linguagens de Programação. , 2006. p.263 - 276

Moreira, Á. F., VIEIRA, Renata, BORDINI, Rafael H., HÜBNER, Jomi. Agent-Oriented Programming with Underlying Ontological Reasoning In: 3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005) - held in conjunction with AAMAS 2005, 2005, Utrecht. p.132 - 147

Moreira, Á. F., VIEIRA, Renata, BORDINI, Rafael Heitor. Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication In: Workshop on Delcarative Agent Languages and Technologies - DALT2003, 2003, Melbourne. Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Springer Serie: Lecture Notes in Computer Science Subseries: Lecture Notes in Artificial Int. Springer Verlag, 2004. v.2990. p.135 - 154

GALANTE, Renata de Matos, EDELWEISS, Nina, SANTOS, Clesio Saraiva dos, Moreira, Á. F. Data Modification Language for Full Support of Temporal Schema Versioning In: SBBD, 2003, Manaus, AM. Anais do XVIII Simpósio Brasileiro de Banco de Dados. , 2003. v.1. p.114 - 128

Moreira, Á. F., BORDINI, Rafael Heitor. An Operational Semantics for a BDI Agent-Oriented Programming Language In: Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 2002, Toulouse. Proceedings of Workshop on Logics for Agent-Based Systems (LABS-02), held in with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002). , 2002. p.45 - 59

BORDINI, Rafael Heitor, Moreira, Á. F. Proving the Asyimmetry Thesis Principles for a BDI Agent-Oriented Programming Language In: 3rd Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02), held in conjunction with the International Conference on Logic Programming (ICLP2002), part of the 2002 Federated Logic Conference, 2002, Copenhagen. Proceedings of the 3rd Workshop on Computational Logic in Multi-Agent systems (CLIMA-02), held in conjunction with the International Conference on Logic Programming. Datalogiske Skrifter (Writings in computer Science).. Copenhagen: Roskilde University, 2002. v.93. p.94 - 108

Moreira, Á. F. Operational Semantics for Store Consistency In: V Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba. SBPL 2001 - V Simpósio Brasileiro de Linguagens de Programação. , 2001. p.140 - 151

Moreira, Á. F., STECKLER, P. Type-Based Locality Analysis In: WMF 2000 - Workshop de Métodos Formais. realizado em conjunto com o Simpósio Brasileiro de Engenharia de Software, SBES 2000, 2000, João Pessoa, Paraíba. SBES 2000 - Workshops. , 2000. p.157 - 168

Moreira, Á. F., WEBBER, R. F. Uma Axiomatização para DSL - um Linguagem para Descrição de Hardware In: VII SBCCI - Simpósio Brasileiro de Concepção de Circuitos Integrados, 1992, Rio de Janeiro.. , 1992.

Abstracts

NUNES, D. J. ; RIBEIRO, Leila ; Álvaro Freitas Moreira . Formal Methods at SBES: Evolution and Perspectives. In: Brazilian Symposium on Software Engineering (SBES), 2011, São Paulo. Browse Conference Publications > Software Engineering (SBES), … Help Formal Methods at SBES: Evolution and Perspectives This paper appears in: Software Engineering (SBES), 2011 25th Brazilian Symposium on, 2011. p. 1-3.

Flávio Rech Wagner, Lúcio Mauro Duarte, Thales Heimfarth, FOSS, L., MACHADO, Rodrigo, Carro, L, LAMB, L. C., RIBEIRO, Leila, Álvaro Freitas Moreira, Cota, E, Carlos Eduardo Pereira. Uma metodologia de engenharia de software para o desenvolvimento de sistemas emergentes auto-orgnizáveis In: Seminário sobre Grandes Desafios da Computação no Brasil, 2009, Manaus.

MACHADO, Rodrigo, Moreira, Á. F. Protótipo de Interpretador para cTVQL In: II Escola Regional de Banco de Dados, 2006, Passo Fundo. Anais da II Escola Regional de Bando de Dados - ERBD 2006. , 2006. p.81 - 86

MRACK, Marcelo, Moreira, Á. F., PIMENTA, Marcelo Merlim: interfaces CRUD em tempo de execução In: XIII Sessão de Ferramentas do SBES, 2006, Florianópolis. XX Simpósio Brasileiro de Engenharia de Software - Anais da XIII Sessão de Ferramentas. , 2006. p.79 - 84

STECKLER, P., Moreira, Á. F. Optimizing for Local References in Distributed Poly/ML In: 5th LOMAPS Workshop - Analysis and Verification of Multiple-Agent Languages, 1996, Suécia. p.32 - 32

COSTA, Antônio Carlos da Rocha, Moreira, Á. F. Resource Flow Interpretation of Sequent Calculi In: WoLLIC - Workshop on Logic, Language, Information and Computation, 1994, Recife, Pernambuco. 1994. p.13 - 13