Relatórios técnicos

2019

TR 087 Leandro Ripoll Saldanha, Avelino Francisco Zorzo “SECURITY REQUIREMENTS IN AGILE SOFTWARE DEVELOPMENT: A SYSTEMATIC MAPPING STUDY”. PDF

2018

TR 086 Aline Zanin, Avelino Francisco Zorzo, Henry Cabral Nunes “AN EXAMPLE OF AQUILA USAGE: A DSL FOR MODEL BASED TESTING IN AGILE ENVIRONMENTS”. PDF

2017

TR 085 Alessandra C. S. Dutra,Azriel Majdenbaum, Cássio A. W. Trindade, Daniel A. Callegari, Marcelo Yamaguti “Percepção da Contribuição da AGES para o Aprendizado em Engenharia de Software”. PDF

2015

TR 084 Daniel Dalalana Bertoglio, Avelino Francisco Zorzo, “Um Mapeamento Sistemático sobre Testes de Penetração”. PDF

2014

TR 083 Matheus T. Moreira, Leandro S. Heck, Guilherme Heck, Matheus Gibiluka, Ney L. V. Calazans, Fernando G. Moraes, “The YeAH NoC Router”. PDF

TR 082 Isaque Vacari, Rafael Prikladnicki, “Desenvolvimento de Software na Administração Pública: Uma Revisão Sistemática da Literatura.”. PDF

TR 081 Filipe Denaur de Moraes, Daniel Antonio Callegari, “Automated Detection of Interictal Spikes in EEG: A literature review”. PDF

TR 080 Thais Webber, Adelcio Biazi, Thomas Volpato de Oliveira,Matheus Senna de Oliveira, Plauto de Abreu Neto, Letícia B. Poehls, César Marcon, “Localization Heuristic in Mobile Wireless Networks”. PDF

TR 079 Fauzi de Moraes Shubeita, Thais Webber, Ramon Fernandes, César Marcon, Letícia Bolzani Poehls, “Um Estudo sobre Monitoramento e Controle de Biodigestores de Pequena Escala”. PDF

TR 078 Odorico Machado Mendizabal, Parisa Jalili Marandi, Fernando Luís Dotti, Fernando Pedone  “Recovery in Parallel State-Machine Replication“.  PDF

TR 077 Matheus Trevisan Moreira, Ney Laert Vilar Calazans,  “Proposal of an Exploration of Asynchronous Circuits Templates and their Applications“.  PDF

2013

TR 076 Rasha Ghassan Hasan, Odorico Machado Mendizabal, Fernando Luís Dotti, “Hybrid Synchrony Virtual Networks: Definition and Embedding“.  PDF

TR 075 Matheus Moreira, Felipe Magalhães, Matheus Gibiluka, Fabiano P. Hessel  and Ney Laert V. Calazans, “Power-Efficient Clockless Intrachip Communication Design with an Integrated High to Low Level Flow based on the Balsa Framework“.  PDF

TR 074 Lucelene Lopes and Rebata Vieira, ” Construção automática de hierarquias de conceitos a partir de corpus: Abordagens existentes e suas limitações”.  PDF

TR 073 Luis Carlos Jersak, Adriana Cassia da Costa, and Daniel Antonio Callegari, “A Systematic Review on Mobile Health Care”. PDF

TR 072 Alberto C. S. Wondracek,  Fernando L. Dotti, “Tradução de Modelos Redes de Autômatos Estocásticos
para a Linguagem do NuSMV”. PDF

2012

TR 071 Thais Webber,  César Marcon,  Leonardo A. Amaral, Rubem D. R. Fagundes, Letícia B. Poehls, “Pervasive Computing Integration on Healthcare Environments”. PDF

TR 070 Vinicius Bohrer, Ramon Fernandes, Thais Webber, César Marcon, “WiNeS – A Flexible Framework for Wireless Network Description and Simulation”. PDF

TR 069 Elder M. Rodrigues, Avelino F. Zorzo, Itana M. Gimenez Elisa Y. Nakagawa, Flávio M. Oliveira, José C. Maldonado, “A Software Product Line for Model-Based Testing Tools”. PDF

TR 068 Lucas Hilgert, Fabio Calefato, Fillipo Lanubile, Rafael Prikladnicki, Renata Vieira, Maria José Finatto, Susana Termignoni, “Real-Time Machine Translation for Software Development Teams”. PDF

TR 067 Andre Takeshi Endo , Maicon Bernardino da Silveira, Elder Macedo Rodrigues, Adenilso Simao , Flavio Moreira de Oliveira, Avelino Francisco Zorzo, “Using models to test web service-oriented applications: an experience report”. PDF

2011

TR 066 Fernandes, P.; O’Kelly, M.E.J.; Papadopoulos, C.T.; Sales, A., “Modeling Exponential Reliable Production Lines using Kronecker Descriptors”. PDF

TR 065 Matheus Moreira, Bruno Oliveira,Julian Pontes, Ney Calazans. “Automated versus Manual Design of Asynchronous Circuits in DSM Technologies”.PDF

TR 064 Griebler, Dalvan; Fernandes, Luiz Gustavo Leão. , “Padrões e Frameworks de Programação Paralela em Arquiteturas Multi-Core”.PDF

2010

TR 063 Leandro Costa, Elder Rodrigues, Filipi Teixeira Vilmar Consul, Jean Schmidt, Avelino Zorzo, “Testes de Midleware para Sistema de Agência de Viagens”.PDF

TR 062 Lucelene Lopes.; Renata Vieira,  “Building Domain Specific Corpora in Portuguese Language”. PDF

TR 061 Czekster, Ricardo M.; Fernandes, Paulo; Sales, Afonso; Webber, Thais “Performance Analysis of Global Software Development Teams using a Structured Stochastic Modeling Formalism”. PDF

TR 060 Taciano Perez, César A. F. De Rose, “Non-Volatile Memory: Emerging Technologies And Their Impacts on Memory Systems”. PDF

TR 059  – Rafael A. Glanzner, Rafael Prikladnicki, Jorge L. N. Audy, “Classificando organizações de Desenvolvimento Distribuído de Software no modelo de capacidade WAVE”. PDF

TR 058 – Czekster, Ricardo M.; Fernandes, Paulo; Webber, Thais; “Applying tensor term permutations to improve the numerical solution of structured Markovian models”. PDF

TR 057 – Czekster, Ricardo M.; Fernandes, Paulo; Webber, Thais; “Efficient Vector-Descriptor Product Exploiting Time-Memory Trade-offs. PDF

2009

TR 056 – Lopes, Lucelene; Vieira, Renata; “Aprendizagem de Ontologias a partir de Textos” PDF 

TR 055 – Dotti, F. L., “An approach for the formal development of fault-tolerant systems using CSP” PDF 

TR 054 – Lopes, Lucelene; Vieira, Renata; “ExATOlp – Extrator Automático de Termos para Ontologias em Língua Portuguesa” PDF .

TR 053 – Lopes, Lucelene; Oliveira, M. H. L.; Vieira, Renata; “Análise Comparativa de Métodos de Extração de Termos: Abordagens Linguística Estatística” PDF.

2006

TR 052 – Czekster, R. M.; Fernandes, P.; Webber, T; “The Hybrid Algorithm to Vector-Descriptor Product” PDF.

2005

TR 051 – Carara, E. A.; Moraes, F.G. MPSoC-H – Implementação e Avaliação de Sistema MPSoC Utilizando a Rede Hermes PDF.

TR 050 – Bastos, E. N. F.; Socool, C.; Calazans, N. L. V, Projeto e Implementação da Arquitetura de Comunicação MERCURY: uma NoC intra-chip com topologia toro, filas centrais compartilhadas e modo de chaveamento virtual-cut-through. PDF

TR 049 – Corrêa, M.; Chanin, R.; Sales, A.; Scheer, R.; Zorzo, A, Multilevel Load Balancing in NUMA Computers. PDF

TR 048 – Corrêa, M.; Chanin, R.; Sales, A.; Scheer, R.; Zorzo, A, Performance Evaluation of a Multilevel Load Balancing Algorithm. PDF.

TR 047 – Fernandes, P.; Presotto, R.; Sales, A.; Webber, T, An Alternative Algorithm to Multiply a Vector by a Kronecker Represented Descriptor. PDF.

TR 046 – Chanin, R.; Corrêa M.; Fernandes P.; Sales, A.; Scheer, r.; Zorzo, A, Analytical Modeling for Operating System Schedules on NUMA Systms. PDF.

TR 045 – Lopes, E. C; Bins, J. C, Detectação de Faces e Características Faciais. PDF

2004

TR 044 – Lopes, E. C; Bins, J. C, Estudo de Técnicas Computacionais para o Reconhecimento de Faces. PDF

TR 043 – Duarte, L. M; Dotti, F. L., Development of An Active Network Architecture Using Mobile Agents – A Case Study. PDF

TR 042 – Carvalho, E; Möller, F; Moraes, F. G; Calazans N., Design Frameworks Configuration Controllers for Dynamic And Partial Reconfiguration. PDF.

TR 041 – Redolfi, G; Spagnoli, L. A; Bastos, R. M; Cristal, M; Espindola, A., P., Especificando Informações para Componentes Reutilizáveis. PDF

TR 040 – Mello, A. V; Ost, L. C; Calazans, N. L; Moraes, F. G., Evaluation of Routing Algorithms in Mesh Based NoCs. PDF.

TR 039 – Baldo, L.; Fernandes, L. G; Roisenberg, P; Velho, P.; Weber, T., Parallel PEPS Tool Performance Analysis Using Stochastic Automata Networks. PDF.

2003

TR 038 – Brenner, L.; Sales, A; Webber, T; Fernandes, P. , A Framework to Decompose GSPN models. PDF

TR 037 – Brenner, L.; Sales, A; Fernandes, P., Why you should care about Generalized Tensor Algebra. PDF

TR 036 – Calazans, N. L. V.; Ide, A. N.; Moreno, E. I.; Rodolfo, T. A.; Moraes, F. G., Tutorial e Diretivas para Captura de Projeto, Validação e Prototipação de Módulos de Harware Descritos em SystemC. PDF

TR 035 – Möller, L. H., Moraes, F. G., Calazans, N. L. V.,Ferramentas de Configuração Parcial, Remota e Dinâmica de FPGAs Virtex. PDF

TR 034 – Moraes, F. G.; Calazans, N. L. V.; Mello, A. V.; Möller, L. H.; Ost, L. C., HERMES: an Insfrastructure for Low Area Overhead Packet-switching Networks on Chip. PDF.

TR 033 – Brião, E. W.; Calazans, N. L. V., Tutoriais Sobre Reconfiguração Parcial e Dinâmica usando o Fluxo do Projeto Modular sobre a Plataforma Insight V2MB1000. PDF

TR 032 – Nunes, M. P.; Giraffa, L. M. M., A Educação na Ecologia Digital. PDF.

TR 031 – Bittencourt, J. R.; Giraffa, L. M. M., A Utilização dos Role-Playing Games Digitais no Processo de Ensino-Aprendizagem. PDF

TR 030 – Brenner, L.; Sales, A.; Fernandes, P., MQNA – Markovian Queueing Networks Analyser. PDF

TR 029 – Marczak, S.S.; Giraffa, L. M. M., A Gerência de Informação em Ambientes de Ensino a Distância: Um Estudo Comparativo. PDF.

TR 028 – Marczak, S.S.; Giraffa, L. M. M., Ambientes Inteligentes para Suporte ao Ensino de Programação. PDF.

TR 027 – Cunha, L.S.; Giraffa, L. M. M., Unreal Script Language Syntax. PDF

TR 026 – Spagnoli, L.; Becker, K., Um Estudo Sobre o Desenvolvimento Baseado em Componentes. PDF.

2002

TR 025 – Brenner, L.; Fernandes, P.; Alegretti, C. G. P. Redes de Autômatos Estocásticos: Um Formalismo para Avaliação de Desempenho e Confiabilidade de Sistemas. PDF

TR 024 – Giraffa, L. M. M.; Bolzan, W., Estudo Comparativo Sobre Sistemas Tutores Inteligentes Multiagentes WEB. PDF

TR 023 – Farina, A. G.; Oliveira, F. M. de. A Comparison between Usage Modeling Formalisms for Statistical Software Testing. PDF.

TR 022 – Zorzo, A. F.; Cassol, L. A.; Nodari, A. L.; Oliveira, L. A.; Morais, L. R., Long Term Scheduler for Real Time Industrial Installations. PDF

2001

TR 021 – Gasperin, C. V.; Lima, V. L. S. Fundamentos do Processamento Estatístico da Linguagem Natural. PDF

TR 019 – Giraffa, L. M. M. Modelling and implementing educational environments using an interdisciplinary approach. PDF.

TR 018 – Zamberlam, A. O.; Goulart, R. R. V.; Móra, M. C.; Giraffa, L. M. M. Manual do X-BDI. PDF

TR 017 – Cunha, L. S.; Giraffa, L. M. M. Um estudo sobre o uso de agentes em Jogos Computadorizados Interativos. PDF.

TR 016 – Duarte, L. M.; Dotti, F. L. Estudo de Linguagens de Programação com Suporte à Mobilidade de Código.PDF

TR 015 – Duarte, L. M.; Dotti, F. L. Uma Análise de Lingugens de Especificação para Sistemas Distribuídos. PDF

TR 014 – Juchem, M.; Bastos, R. M. Engenharia de Sistemas Multiagentes: Uma investigação sobre o estado da arte. PDF

TR 013 – Juchem, M.; Bastos, R. M. Arquiteturas de Agentes. PDF.

TR 011 – Goulart, R. R. V.; Giraffa, L. M. M. Arquiteturas de Sistemas Tutores Inteligentes. PDF

TR 010 – Bezerra, E. A.; Vargas, F.; Gough, M. P. Improving Reconfigurable Systems Reliability by Combining Periodical Testing Redundancy Techniques: A Case Study. PDF.

TR 009 – Zamberlan, A. O.; Giraffa, L. M. M.; Mora, M. C. X-BDI: uma ferramenta para programação de agentes BDI. PDF

TR 008 – Zamberlan, A. O.; Giraffa, L. M. M. Modelagem de agentes utilizando a arquitetura BDI. PDF

2000

TR 007 – Oliveira, J.B.; Santa Maria, I. Effective reduction of arithmetical expressions. PDF

TR 006 – Moraes, I.; Zorzo, A. F. Uma arquitetura genérica para aplicações colaborativas. PDF

TR 005 – Boff, E.; Giraffa, L.M.M. Uma proposta metodológica para construção de um ambiente de ensino-aprendizagem cooperativo. PDF

TR 004 – Fernandes, P.; Plateau, B. Modeling Finite Capacity Queueing Networks with Stochastic Automata Networks. PDF

TR 003 – Bezerra, E.; Gough, M. P. A Guide to Migrating from Microprocessor to FPGA Coping with the Support Tool Limitations. PDF

TR 002 – Moraes, F.G.; Ferreira, E.H.; Calazans, N.L.V. Implementação de uma arquitetura load/store em um ambiente de prototipação. PDF

TR 001 – Zorzo, A.F.; Randell, B. Towards a formal specification of dependable multiparty interactions.PDF