Dalton Dario Serey Guerrero

Idiomas

Áreas de atuação

Participação em bancas

Orientou

Produções bibliográficas

• BRUNET, JOAO ; MURPHY, GAIL C. ; SEREY, DALTON ; FIGUEIREDO, JORGE . Five years of Software Architecture Checking: A Case Study of Eclipse. IEEE Software , v. 99, p. 1-1, 2014.

• Rodrigues, Cássio L. ; Silva, Karina R. G. ; Cunha, Henrique N. ; Figueiredo, Jorge C. A. ; GUERRERO, D. D. S. ; Melcher, Elmar . Enhancing IP cores specifications using hierarchical composition and set theory. Design Automation for Embedded Systems , p. 1, 2011.

• Soares, G. A. ; Gheyi, R. ; GUERRERO, D. D. S. ; Massoni, T. L. . Making program refactoring safer. IEEE Software , v. 27, p. 52-57, 2010.

• Andréa P Mendonça ; Medeiros, D. C. de ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; Evandro B. da Costa . Dealing with Requirements Specification: A Case Study with Novice Programming Students. IEEE multidisciplinary engineering education magazine , v. 5, p. 3-10, 2010.

• COLAÇO, E. ; OLIVEIRA, M. ; SOARES, A. ; BRASILEIRO, Francisco Vilar ; GUERRERO, D. D. S. . Using a File Work Set Model to Speed up the Retrieval of Peer-to-Peer Backup Systems. Operating Systems Review , v. 42, p. 64-70, 2008.

• GUERRA, Fabrício Vale de Azevedo ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net. Electronic Notes in Theoretical Computer Science , v. 130, p. 187-209, 2005.

• DEARAUJOLIMA, E ; GUERRERO, D. D. S. ; Figueiredo, Jorge C. A. . Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. Electronic Notes in Theoretical Computer Science , v. 95, p. 287-305, 2004.

• LIMA, E. F. de A. ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Comparative Study of Mobile Agent Design Patterns: a Coloured Petri Nets Approach. Electronic Notes in Theoretical Computer Science , v. 95, p. 287-305, 2003.

• GUERRERO, D. D. S. ; PERKUSICH, Angelo ; FIGUEIREDO, Jorge César Abrantes de . An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment. Lecture Notes in Computer Science , v. 2001, p. 338-354, 2001.

• SILVA JÚNIOR, Rogério Dourado ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Design by Contract com JML. In: Unisinos. (Org.). Jornadas de Atualização em Informática, JAI. Porto Alegre: SBC, 2005, v. 1, p. 1455-1499.

• SANTOS, KATYUSCO DE F. ; GUERRERO, DALTON D.S. ; FIGUEIREDO, JORGE C.A. DE . Using Developers Contributions on Software Vocabularies to Identify Experts. In: 2015 12th International Conference on Information Technology New Generations (ITNG), 2015, Las Vegas. 2015 12th International Conference on Information Technology - New Generations, 2015. p. 451.

• MONTEIRO, João Arthur Brunet ; MURPHY, Gail. C. ; Terra, R. ; Guerrero, Dalton D. S. ; Figueiredo, Jorge C. A. . Do Developers Discuss Design?. In: The 11th Working Conference on Mining Software Repositories - Mining Challenge, 2014, Hyderabad. Proceedings of The 11th Working Conference on Mining Software Repositories - Mining Challenge, 2014.

• REGO, M. G. ; REBOUCAS, A. D. D. S. ; Guerrero, Dalton D. S. . Can Computers Compare Student Code Solutions as Well as Teachers?. In: Special Interest Group on Computer Science Education Symposium (SIGCSE 2014), 2014, Atlanta. Proceedings of the SIGCSE 2014 Symposium, 2014.

• LUSTOSA NETO, V. ; COELHO, R. S. ; LEITE, L. B. ; Guerrero, Dalton D. S. ; Andréa P Mendonça . POPT: A Problem-Oriented Programming and Testing Approach for Novice Students. In: International Conference on Software Engineering, 2013, San Francisco, USA. Proceedinds of the International Conference on Software Engineering, 2013.

• Terra, R. ; MONTEIRO, João Arthur Brunet ; Valente, M. T. de O. ; Miranda, L. ; Guerrero, Dalton D. S. ; Castilho, D. ; BIGONHA, R. S. . Measuring the Structural Similarity between Source Code Entities. In: 25th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2013, Boston. Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013. v. 1. p. 753-758.

• Valente, M. T. de O. ; SANTOS, G. J. S. ; SANTOS, Katyusco F. ; Guerrero, Dalton D. S. ; ANQUETIL, N. . TopicViewer: Evaluating Remodularizations Using Semantic Clustering. In: Sessão de ferramentas do Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2013, Brasília. Anais do IV Congresso Brasileiro de Software: Teoria e Prática, 2013. v. 1. p. 1-6.

• MELO, I. ; MONTEIRO, João Arthur Brunet ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Verificação de Conformidade Arquitetural com Testes de Design - Um Estudo de Caso. In: I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software (VEM / CBsoft), 2013, Brasília. Anais do I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software, 2013. v. 1. p. 30-37.

• REGO, M. G. ; WANDERLEY, L. F. ; LEMOS, F. W. ; ARAUJO, E. C. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Eu Sei o que Vocês Fizeram (Agora e) na Aula Passada: o TSTView no Acompanhamento de Exercícios de Programação. In: XXIV Simpósio Brasileiro de Informática na Educação, 2013, Maceió. Anais do XXIV Simpósio Brasileiro de Informática na Educação, 2013.

• ARAUJO, E. C. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Avaliando a Legibilidade de Programas de Iniciantes. In: Workshop de Educação e Informática - WEI / CSBC 2013, 2013, Maceió. Anais do Workshop de Educação e Informática - WEI / CSBC 2013, 2013.

• ARAUJO, E. C. ; REGO, M. G. ; MENEZES, A. ; FERREIRA, I. ; RIBEIRO, I. ; FAGNER, A. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . O Papel do Hábito de Estudo no Desempenho do Aluno de Programação. In: Workshop de Educação em Informática - WEI / CSBC 2013, 2013, Maceió. Anais do Workshop de Educação em Informática - WEI / CSBC 2013, 2013.

• RODRIGUES, J. R. R. ; REGO, M. G. ; Guerrero, Dalton D. S. . Compreendendo o Processo de Codificação de um Exercício de Programação em Python. In: Workshop de Educação em Informática - WEI / CSBC 2013, 2013, Maceió. Anais do Workshop de Educação em Informática - WEI / CSBC 2013, 2013.

• MELO, I. ; MONTEIRO, João Arthur Brunet ; FIGUEIREDO, Jorge César Abrantes de ; Guerrero, Dalton D. S. . Verificação de Conformidade Arquitetural com Testes de Design - Um Estudo de Caso. In: I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software, 2013, Brasília. I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software, 2013. v. 1. p. 30-37.

• MONTEIRO, João Arthur Brunet ; BITTENCOURT, Roberto Almeida ; Guerrero, Dalton D. S. ; Figueiredo, Jorge C. A. . On the Evolutionary Nature of Architectural Violations. In: 19th Working Conference on Reverse Engineering, 2012, Kingston. Proceedings of the 19th Working Conference on Reverse Engineering, 2012. p. 257-266.

• CAVALCANTI, D. T. ; SANTOS, Katyusco F. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Using Software Vocabulary to Rank Classes that are Probably Impacted by a Bug Report. In: 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012, Riva del Gardia. Proceedings of the 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012. p. 16-20.

• SANTOS, Katyusco F. ; Guerrero, Dalton D. S. ; Figueiredo, Jorge C. A. ; BITTENCOURT, Roberto Almeida . Towards a Prediction Model for Source Code Vocabulary. In: 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012, Riva del Gardia. Proceedings of the 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012. p. 41-45.

• REBOUCAS, A. D. D. S. ; SILVA, G. F. ; LOPES, R. V. ; Guerrero, Dalton D. S. . DistSysTest: Padrão de Desenvolvimento de Testes de Sistema Automáticos de Aplicações Distribuídas. In: 9th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP),, 2012, Natal. Proceedings of the SugarLoafPloP 2012, 2012.

• CAVALCANTI, D. T. ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . A Case Study on the SImilariry Between Source Code and Bug Report Vocabularies. In: VIII Workshop de Manutenção de Software Moderna - SBQS, 2011. Anais do VIII Workshop de Manutenção de Software Moderna, 2011. v. 1. p. 1-8.

• SANTOS, Katyusco F. ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Understanding the Occurrence of Vocabulary Terms in Java Code.. In: VIII Workshop de Manutenção de Software Moderna - SBQS, 2011, Curitiba. VIII Workshop de Manutenção de Software Moderna - SBQS, 2011. v. 1. p. 565-570.

• FRAGA, Edigley ; BRASILEIRO, Francisco Vilar ; GUERRERO, D. D. S. . Estimando o Valor de uma Grade Entre Pares para a Execução de Aplicações do Tipo Saco de Tarefas. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2011, Porto Alegre. Anais do Workshop em Clouds, Grids e Aplicações, 2011.

• MONTEIRO, João Arthur Brunet ; Figueiredo, Jorge C. A. ; GUERRERO, D. D. S. . Structural Conformance Checking with Design Tests: An Evaluation of Usability and Scalability. In: International Conference on Software Maintenance - ICSM2011, 2011, Williamsburg, VA. Proceedings of the 2011 International Conference on Software Maintenance - ICSM 2011, 2011. v. 1. p. 143-149.

• CARELLI, Mirna ; BITTENCOURT, Roberto Almeida ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . The Hybrid Technique for Object-Oriented Software Change Impact Analysis. In: 14th European Conference on Software Maintenance and Reengineering, 2010, Madrid, ESP. Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010. p. 252-255.

• Gomes e Souza, R. R. ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Modular Network Models for Class Dependencies in Software. In: 14th European Conference on Software Maintenance and Reengineering, 2010, Madrid, ESP. Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010. p. 245-249.

• Nascimento, M. R. ; Andréa P Mendonça ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Teaching Programming for High School Students: A Distance Education Experience. In: 40th Annual Frontiers in Education Conference, 2010, Washingtog DC, USA. Proceedings of the 40th Annual Frontiers in Education Conference, 2010. p. F1J-1-F1J-6.

• BITTENCOURT, Roberto Almeida ; SANTOS, G. J. S. ; GUERRERO, D. D. S. ; MURPHY, Gail. C. . Improving Automated Mapping in Reflexion Models using Information Retrieval Techniques. In: WCRE 2010 - 17th Working Conference on Reverse Engineering, 2010, Beverly, Massachussets, USA. Proceedings of the 17th Working Conference on Reverse Engineering. Los Alamitos: IEEE CS Press, 2010. p. 163-172.

• LEDO, Anderson ; Waldemar P. F. Neto ; Ramalho, Franklin ; Guerrero, Dalton D. S. . Checking UML Design Patterns in Java Implementations. In: SBCARS - Brazilian Symposium on Software Components, Architectures and Reuse, 2010, Salvador. Proceedings of the SBCARS 2010, 2010.

• MONTEIRO, João Arthur Brunet ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Design Tests: An Approach to Programmatically Verify the Design of your Code Against Design Rules. In: 31st International Conference on Software Engineering, 2009, Vancouver. Proceedings of the 31st International Conference on Software Engineering - ICSE 2009, 2009. p. 255-258.

• RODRIGUES, Cássio Leonardo ; Karina R. G. da Silva ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Improving Functional Verification of Embedded Systems Using Hierarchical Composition and Set Theory. In: 24th Annual ACM Symposium on Applied Computing, 2009, Waikiki Beach. Proceedings of 24th Annual ACM Symposium on Applied Computing, 2009. v. 1. p. 823-827.

• Andréa P Mendonça ; GUERRERO, D. D. S. ; Evandro B. da Costa . Problem Oriented Programming: An Approach to Teach Programming to Beginner Students. In: VI International Conference on Engineering and Computer Education, 2009, Buenos Aires. Proceedings of the VI International Conference on Engineering and Computer Education, 2009. v. 1. p. 1-6.

• BITTENCOURT, Roberto Almeida ; GUERRERO, D. D. S. . Comparison of Graph Clustering Algorithms for Recovering Software Architecture Module Views. In: 13th European Conference on Software Maintenance and Reengineering, 2009, Kaiserslautern. Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009. v. 1. p. 1-6.

• BITTENCOURT, Roberto Almeida ; DAMASIO, J. F. ; SANTOS, G. J. S. ; TRIGUEIRO FILHO, A. ; NOBREGA FILHO, J. M. ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Design Suite: Towards an Open Scientific Investigation Environment for Software Architecture Recovery. In: VI Workshop de Manutenção de Software Moderna - Simpósio Brasileiro de Qualidade de Software, 2009, Ouro Preto. Anais do VI Workshop de Manutenção de Software Moderna - Simpósio Brasileiro de Qualidade de Software. Ouro Preto, 2009. v. 1. p. 1-8.

• Andréa P Mendonça ; GUERRERO, D. D. S. ; Evandro B. da Costa . An approach for problem specification and its application in an introductory programming course. In: IEEE International Conference on Frontiers in Education, 2009, San Antonio, Texas. Proceedings of the 39th IEEE International Conference on Frontiers in Education. Piscataway, NJ, USA: IEEE Press, 2009. p. 1529-1534.

• Andréa P Mendonça ; Oliveira, C. ; GUERRERO, D. D. S. ; Evandro B. da Costa . Difficulties in Solving Ill-Defined Problems: a Case Study with Introductory Computer Programming Students. In: IEEE International Conference on Frontiers in Education, 2009, San Antonio, Texas, USA. Proceedings of the 39th IEEE International Conference on Frontiers in Education. Piscataway, NJ: IEEE Press, 2009. p. 1171-1176.

• Andréa P Mendonça ; Medeiros, D. C. de ; GUERRERO, D. D. S. ; Evandro B. da Costa . Tratando Especificação de Requisitos com Estudantes Iniciantes de Programação. In: Fórum de Educação em Engenharia de Software do XXIII Simpósio Brasileiro de Engenharia de Software, 2009, Fortaleza, CE, Brasil. Anais do SBES 2009, 2009.

• SOUTO, S. F. ; GUERRERO, D. D. S. . Automock: Interaction-Based Mock Code Generation. In: Latin American Depandability Computing, 2009, 2009, João Pessoa, PB, Brasil. Proceedings of the LADC 2009, 2009.

• Soares, G. A. ; Massoni, T. L. ; CORNÉLIO, Márcio ; Guerrero, Dalton D. S. . SafeRefactor - Tool for Checking Refactoring Safety. In: Simpósio Brasileiro de Engenharia de Software, 2009, Fortaleza. Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2009.

• HATTORI, Lile Palma ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . On the Precision and Accuracy of Impact Analysis Technique. In: 7th International Conference on Computer and Information Science, 2008, Portland. Proceedings of the 7th International Conference on Computer and Information Science, 2008. v. 1. p. 1-10.

• Ramalho, Franklin ; MONTEIRO, João Arthur Brunet ; Waldemar P. F. Neto ; GUERRERO, D. D. S. . UML-based Design Test Generation. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing - The Software Engineering Track, 2008. v. 1. p. 735-740.

• OLIVEIRA, M. ; CIRNE FILHO, Walfredo da Costa ; BRASILEIRO, Francisco Vilar ; GUERRERO, D. D. S. . On the Impact of the Data Redundancy Strategy on the Recoverability of Friend-to-Friend Backup Systems. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2008, Rio de Janeiro. Anais do 26o. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Porto Alegre: Sociedade Brasileira de Computação, 2008. v. 1. p. 1-14.

• COLAÇO, E. ; OLIVEIRA, M. ; SOARES, A. ; GUERRERO, D. D. S. ; BRASILEIRO, Francisco Vilar . Um Modelo de Conjunto de Trabalho de Arquivos Aplicado à Recuperação de Backup P2P. In: Workshop de Sistemas Operacionais, 2008, Belém. Anais do 5o. Workshop de Sistemas Operacionais. Porto Alegre: Sociedade Brasileira de Computação, 2008. v. 1. p. 1-14.

• SOARES, P. ; OLIVEIRA, M. ; GUERRERO, D. D. S. ; BRASILEIRO, Francisco Vilar . Solomon: Incentivando o Compartilhamento e Maior Disponibilidade em Sistemas de Armazenamento Entre-Pares. In: Workshop de Peer-to-Peer, 2008, Rio de Janeiro. Anais do IV Workshop de Peer-to-Peer. Porto Alegre: Sociedade Brasileira de Computação, 2008. v. 1. p. 1-12.

• RODRIGUES, Cássio Leonardo ; Fábio J. A. Morais ; Leandro M. de Lima ; Karina R. G. da Silva ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. ; Elmar U. Melcher . Functional Verification Methodology using Hierarchical Coloured Petri Nets-based Testbenches. In: IEEE International Conference on Systems, Man, and Cybernetics, 2008, Cingapura. Proceedings of IEEE SMC'2008, 2008. v. 1. p. 1-7.

• Andréa P Mendonça ; Evandro B. da Costa ; GUERRERO, D. D. S. . Elicitação de Requisitos - Evidências de uma Problemática na Formação dos Estudantes de Computação. In: Fórum de Educação em Engenharia de Software, 2008, Campinas. Monografias em Ciência da Computação. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro, 2008. v. 40. p. 65-73.

• RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; CABRAL, Jairson Marinho ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids. In: 33rd Annual Conference of the IEEE Industrial Electronics Society (IECON-2007), 2007, Taipei. Proceedings of the 33rd Annual Conference of the IEEE Industrial Electronics Society, 2007. v. 1. p. 1-12.

• HERBSTER, Raul Fernandes ; PERKUSICH, Angelo ; ALMEIDA, Hyggo Oliveira de ; GUERRERO, D. D. S. . Integrating Open Source Tools for Developing Embedded Linux Applications. In: Fórum Internacional Software Livre, International Track, 2006, Porto Alegre. Anais do VII Workshop de Software Livre, 2006. p. 229-236.

• GUERRERO, D. D. S. ; RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; CABRAL, Jairson Marinho ; FIGUEIREDO, Jorge César Abrantes de . A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids.. In: IEEE International Conference on Software Engineering and Formal Methods, 2006, Pune. Proceedings of 4th IEEE International Conference on Software Engineering and Formal Methods, 2006. v. 1. p. 56-70.

• GUERRERO, D. D. S. ; BARBOSA, Paulo Eduardo e Silva ; FIGUEIREDO, Jorge César Abrantes de . Verificação Distribuída de Modelos: Uma Abordagem com Grades Computacionais.. In: XI Workshop de Teses e Dissertações em Engenharia de Software, 2006, Florianópolis. Anais do XI Workshop de Teses e Dissertações em Engenharia de Software, 2006. v. 1. p. 13-18.

• GUERRERO, D. D. S. ; OLIVEIRA, Elthon Allex da Silva ; FIGUEIREDO, Jorge César Abrantes de . Extração de Modelos Comportamentais de Programas Java Concorrentes Anotados. In: Workshop de Teses e Dissertações em Engenharia de Software, 2005, Uberlândia. Anais do WTES05, 2005. v. 2005.

• SILVA JÚNIOR, Rogério Dourado ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Uma Abordagem Rigorosa para o Desenvolvimento de Sistemas em Processos Ágeis. In: Workshop de Teses e Dissertações em Engenharia de Software, 2005, Uberlândia. Anais do WTES05, 2005. v. 2005.

• RODRIGUES, Cássio Leonardo ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Model Checking in Object Oriented Petri Nets. In: IEEE International Conference on Systems, Man and Cybernetics, 2004, The Hague. Proceedings of the IEEE SMC04 Conference, 2004. v. 3. p. 1015-1021.

• GUERRA, Fabrício Vale de Azevedo ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Extensão Temporizada para Redes de Petri Orientadas a Objetos. In: Workshop de Teses e Dissertações em Engenharia de Software, 2004, Brasília. Anais do IX Workshop de Teses e Dissertações em Engenharia de Software, 2004. v. 1.

• RODRIGUES, Cássio Leonardo ; GUERRA, Fabrício Vale de Azevedo ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; SILVA, Taciano de Morais . Modeling and Verification of Mobility Issues Using Object-Oriented Petri Nets. In: 3rd International Information and Telecommunication Technologies Symposium, 2004, São Carlos. Proceedings of the Third International Information and Telecommunication Symposium, 2004. v. 1. p. 10-18.

• RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . RPOO Model Checker. In: Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004, Brasília. Anais do XVIII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004. v. 1.

• GUERRA, Fabrício Vale de Azevedo ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Timed Extension for an Object Oriented Petri Net Language. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. Anais do SBMF'2004, 2004. v. 1. p. 132-148.

• RODRIGUES, Cássio Leonardo ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; SILVA, T. DE M. . Proceedings of the 33rd Annual Conference of the IEEE Industrial Electronics Society. In: 3rd International Information and Telecommunication Technologies Symposium, 2004, São Carlos. Proceedings of the 3rd International Information and Telecommunication Technologies Symposium, 2004. v. 1. p. 103-111.

• LIMA, E. F. de A. ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Comparative Study of Mobile Agent Design Patterns: a Coloured Petri Nets Approach. In: VI Workshop de Métodos Formais, 2003, Campina Grande. Anais do VI Workshop de Métodos Formais, 2003. v. 1. p. 212-227.

• RODRIGUES, Cássio Leonardo ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Verificação de Modelos em Redes de Petri Orientadas a Objetos. In: VIII Workshop de Teses em Engenharia de Software, 2003, Manaus. Anais do VIII Workshop de Teses em Engenharia de Software, 2003. v. 1.

• CANEDO, Edna Dias ; SANTOS, José Amancio Macedo ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Experimenting a Notation Based on Petri Nets and Object-Oriented Concepts. In: I Brazilian Petri Net Meeting, 2002, Natal. Anais do I Brazilian Petri Net Meeting, 2002. v. 1. p. 10-18.

• GALLINDO, Érica de Lima ; GUERRERO, D. D. S. ; PERKUSICH, Angelo ; FIGUEIREDO, Jorge César Abrantes de . Aplicação de uma Notação Baseada em Redes de Petri e Orientação a Objetos: um Experimento de Modelagem. In: Workshop on Formal Methods, 2001, Rio de Janeiro. Anais do IV WMF - Workshop de Métodos Formais, 2001. v. 1. p. 13-24.

• COSTA, Sandro Alex Damasceno ; GUERRERO, D. D. S. ; PERKUSICH, Angelo ; FIGUEIREDO, Jorge César Abrantes de . Inheritance Issues in Object Oriented Petri Net Models. In: IEEE International Conference on Systems, Man and Cybernetics, 1998, San Diego. Proceedings of 1998 International Conference on Systems Man and Cybernetics, 1998. v. I. p. 196-201.

• GUERRERO, D. D. S. ; PERKUSICH, Angelo ; FIGUEIREDO, Jorge César Abrantes de ; MEDEIROS, Ana Karla Alves de . An Object-Oriented Petri Net Modelling Tool and Abstraction Mechanisms for Cooperative Systems. In: IEEE International Conference on Systems Man and Cybernetics, 1998, San Diego. Proceedings of the 1998 IEEE International Conference on Systems Man and Cybernetics, 1998. v. 1. p. 420-426.

• COSTA, Sandro Alex Damasceno ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; PERKUSICH, Angelo . Aspectos de Herança em Uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri. In: Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. Anais do Simpósio Brasileiro de Engenharia de Software 1998, 1998. v. 1. p. 297-312.

• GUERRERO, D. D. S. ; PERKUSICH, Angelo ; FIGUEIREDO, Jorge César Abrantes de . Modeling a Cooperative Environment Based on an Object-Based Modular Petri Net. In: The 9th International Conference on Software Engineering and Knowledge Engineering, 1997, Madrid. Proceedings of The 9th International Conference on Software Engineering and Knowledge Engineering, 1997. p. 240-247.

• GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; PERKUSICH, Angelo . Object-Based High-Level Petri Nets as a Formal Approach to Distributed Information Systems. In: IEEE International Conference on Systems Man and Cybernetics, 1997, Orlando. Proceedings of the IEEE International Conference on Systems Man and Cybernetics, 1997. p. 3383-3388.

• SOUTO, S. F. ; RIBEIRO, R. M. ; GUERRERO, D. D. S. . Generating Mock-Based Test Automatically. In: Latin American Workshop on Aspect-Oriented Software Development, 2009, Fortaleza, CE, Brasil. Proceedings of the Latin American Workshop on Aspect-Oriented Software Development 2009, 2009.

• MONTEIRO, João Arthur Brunet ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Checking Code Against Design Rules with Design Tests. In: Fourth Latin-American Symposium on Dependable Computing, 2009, João Pessoa, PB, Brasil. Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009.

• SILVA, Taciano de Morais ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; SANTOS, José Amancio Macedo . Simulação de Modelos de RPOO: Entrada de Dados e Simulador de Redes de Petri. In: X Encontro de Iniciação Científica da UFPB, 2002. Anais do X Encontro de Iniciação Científica da UFPB. v. 1.

Projetos de pesquisa

• 2008 - 2008

  AutoTest - Qualificação e Automação de Teste de Software, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Dalton Dario Serey Guerrero - Coordenador / Francisco Vilar Brasileiro - Integrante / João Arthur Brunet Monteiro - Integrante / Pryscilla Dora Selister - Integrante / Sabrina de F. Souto - Integrante / Cícero Alan Leite Cruz - Integrante / Melina Mongiovi - Integrante / Paulo Rômulo Alves Barros - Integrante / Giovanni Farias da Silva - Integrante., Financiador(es): Hewlett-Packard Brasil - Matriz - Auxílio financeiro.

• 2007 - 2010

  DesignChecker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo do projeto é o desenvolvimento de uma ferramenta que permita a verificação e o rastreamento da evolução do desenho de um projeto de software, viabilizando a verificação de conformidade entre o código fonte e o desenho, a identificação das diferenças entre dois momentos distintos na evolução e a medição do impacto em alterações ao longo do processo. Além disso, proporcionar ganhos no processo de manutenção de software onde a única documentação existente é o próprio código fonte.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Dalton Dario Serey Guerrero - Coordenador / Jorge César Abrantes de Figueiredo - Integrante / Cássio Leonardo Rodrigues - Integrante / Ana Emília Victor Barbosa - Integrante / Lile Palma Hattori - Integrante / Amanda Saraiva Bezerra - Integrante / João Arthur Brunet Monteiro - Integrante / Mirna Carelli - Integrante / Roberto Almeida Bittencourt - Integrante / Waldemar Pires Ferreira Neto - Integrante / Franklin de Souza Ramalho - Integrante / Adauto Trigueiro Filho - Integrante / Gustavo Jansen de Souza Santos - Integrante / Jemerson Figueiredo Damásio - Integrante., Financiador(es): Braxis It Services - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 2

• 2005 - 2007

  DVeritas: Verificação de Modelos RPOO Distribuída, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Dalton Dario Serey Guerrero - Coordenador.

• 2004 - Atual

  Projeto Ourgrid, Descrição: Veja www.ourgrid.org. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Dalton Dario Serey Guerrero - Integrante / Walfredo da Costa Cirne Filho - Coordenador / Francisco Vilar Brasileiro - Integrante / Jacques Philippe Sauvé - Integrante., Financiador(es): Hewlett Packard - Cooperação.

• 2003 - 2008

  OurGrid, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Dalton Dario Serey Guerrero - Coordenador.

• 2003 - Atual

  Projeto Móbile/CNPq, Descrição: Neste projeto nos propomos a investigar a adequação da utilização de métodos formais no desenvolvimento de software baseado em agentes móveis. Mais especificamente, nos propomos a utilizar uma classe de redes de Petri orientadas a objetos (RPOO) na modelagem, anàlise, projeto e verificação de sistemas de software, em especial aqueles com características de mobilidade. Nos propomos ainda a desenvolver ferramentas, métodos e técnicas que permitam a utilização de RPOO em cenários práticos. Testes deverão ser gerados a partir de artefatos expressos em RPOO, garantindo a confiabilidade e consistência dos sistemas desenvolvidos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Dalton Dario Serey Guerrero - Integrante / Jorge César Abrantes de Figueiredo - Coordenador / José Amancio Macedo Santos - Integrante / Taciano de Morais Silva - Integrante / Emerson Ferreira de Araújo Lima - Integrante / Cássio Leonardo Rodrigues - Integrante., Financiador(es): Universidade Federal de Campina Grande - Remuneração / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 1

• 2003 - Atual

  Projeto Veritas, Descrição: As redes de Petri de Alto Nível têm se mostrado como uma solução adequada à modelagem de sistemas concorrentes e distribuídos, graças a sua capacidade gráfica e matemática de representar as propriedades desses sistemas. As formalizações de redes de Petri de alto nível, porém, não oferece bons mecanismos para a estruturação e decomposição de modelos. O paradigma de orientação a objetos (OO) é uma solução adequada para tal problema. O que se almeja com redes de Petri e OO é uma combinação de significados de cada um dos paradigmas, de modo a preservar o que há de mais vantajoso em cada um deles: métodos de análise da teoria de redes de Petri e mecanismos de estruturação e decomposição do paradigma OO. RPOO - Redes de Petri Orientadas a Objetos - é o resultado da integração de redes de Petri e OO desenvolvido no Grupo de Métods Formais, da Universidade Federal de Campina Grande. Neste projeto nos propomos a desenvolver técnicas de verificação formal de modelos RPOO, através da análise do espaço de estados. Nos propomos ainda a implementar um protótipo de um verificador de modelos RPOO.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Dalton Dario Serey Guerrero - Coordenador.

Projetos de desenvolvimento

• 2010 - 2012

  e-Pol, Descrição: Projeto de P&D em cooperação com a Polícia Federal em que será desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído e evolução de software.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Dalton Dario Serey Guerrero - Coordenador.

• 2010 - 2012

  e-Pol, Descrição: Projeto de P&D em cooperação com a Polícia Federal em que será desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído e evolução de software.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Dalton Dario Serey Guerrero - Coordenador.

Prêmios