Inscreva-se nesta coleção para receber e-mails diários com notificação sobre novas adições

Data de publicação	Título	Autor(es)
2004	Mapping mental states into propositional planning	Avelino Francisco Zorzo; Felipe Meneguzzi; Michael Móra
2004	Structured Stochastic Modeling of Fault-Tolerant Systems	Cristiano Bertolini; Leonardo Brenner; Paulo Henrique Lemelle Fernandes, et al
2004	Mutation-like Oriented Diversity for Reliability/Maintainability Improvement: A Distributed System Case Study	Daniel Ordobas Bortolas; Avelino Francisco Zorzo; Eduardo Bezerra, et al
2004	Propositional Planning in BDI Agents	Felipe Meneguzzi; Avelino Francisco Zorzo; Michael Móra
2003	Using Coordinated Atomic Actions for Building Complex Web Applications: a Learning Experience	Avelino Francisco Zorzo; Alexander Romanovsky; Panos Periorellis
2003	On Structuring Integrated Web Applications for Fault Tolerance.	Alexander Romanovsky; Panos Periorellis; Avelino Francisco Zorzo
2009	Reconfiguração de ambientes virtualizados através do uso de Teste Baseado em Modelos e SLAs	Elder M. Rodrigues; Avelino Francisco Zorzo; Flávio M de Oliveira, et al
2009	Derivação de Casos de Testes Funcionais: uma Abordagem baseada em Modelos UML	Alex M. Orozco; Kleinner Oliveria; Flavio M de Oliveira, et al
2008	Specifying Security Aspects in UML Models	Karine Pinho Peralta; Alex M. Orozco; Avelino Francisco Zorzo
2008	Uso de Modelos Preditivos e SLAs para Reconfiguração de Ambientes Virtualizados	Elder M. Rodrigues; Ana T. Winck; Avelino Francisco Zorzo, et al
2014	Uma Abordagem de Análise do Tempo de Resposta para Teste de Desempenho em Aplicações Web	Priscila Guarianti; Maicon Bernardino da Silveira; Avelino Francisco Zorzo, et al
2014	Structural Test Case Generation Based on System Models	Leandro T. Costa; Avelino Francisco Zorzo; Elder Macedo Rodrigues, et al
2013	An Industrial Experience on using Models to Test Web Service-Oriented Applications	André Takeshi Endo; Maicon Bernardino da Silveira; Elder Macedo Rodrigues, et al
2012	PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines	Elder M. Rodrigues; Avelino Francisco Zorzo; Edson A . Oliveira Junior, et al
2012	Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models	Leandro T. Costa; Ricardo Melo Czekster; Flávio M de Oliveira, et al
2012	Uma Abordagem para Geração de Casos de Teste Estrutural Baseada em Modelos	Leandro T. Costa; Flávio M de Oliveira; Elder M. Rodrigues, et al
2011	Generation of scripts for perfomance testing based on UML models	Maicon da Silveira; Elder M. Rodrigues; Avelino Francisco Zorzo, et al
2011	Evaluating Load Generation in Virtualized Environments for Software Performance Testing	NETTO, MARCO A.S.; MENON, SUZANE; VIEIRA, HUGO V., et al
2010	Energy-Aware Scheduling of Parallel Programs	Alexandre Carissimi; Cláudio Geyer; Nicolas Maillard, et al
2010	Balanceamento de recursos em ambientes virtualizados	Leandro T. Costa; Filipe D. Teixeira; Elder M. Rodrigues, et al