Rede de Colaboração
Diretório de grupos de pesquisa
SciELO - artigos em texto completo

Sergio Vale Aguiar Campos
Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (1986), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (1990), mestrado em Ciência da Computação - Carnegie Mellon University (1992) e doutorado em Ciência da Computação - Carnegie Mellon University (1996). Atualmente é professor associado da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: symbolic model checking, verificacao formal, sistemas de tempo real, algoritmos simbolicos e comércio eletrônico. Recentemente começou a atuar em pesquisa na área de Bioinformática.
(Texto informado pelo autor)

Última atualização do currículo em 06/04/2009
Endereço para acessar este CV:
http://lattes.cnpq.br/6438645213502821
Dados pessoais
NomeSergio Vale Aguiar Campos
Nome em citações bibliográficasCAMPOS, S. V. A.
SexoMasculino
Endereço profissionalUniversidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Av. Antônio Carlos, 6627
Pampulha
31270-010 - Belo Horizonte, MG - Brasil
Telefone: (31) 34995860 Fax: (31) 34995858
URL da Homepage: http://www.dcc.ufmg.br/~scampos

Formação acadêmica/Titulação
1990 - 1996Doutorado em Ciência da Computação .
Carnegie Mellon University, CMU, Estados Unidos.
Título: A Quantitative Approach to the Formal Verification of Real-Time Systems, Ano de Obtenção: 1996.
Orientador: Edmund M Clarke.
1990 - 1992Mestrado em Ciência da Computação .
Carnegie Mellon University, CMU, Estados Unidos.
Título: Mestrado sem dissertação, Ano de Obtenção: 1992.
Orientador: Idem acima.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
1987 - 1990Mestrado em Ciências da Computação .
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Um Algoritmo para Exclusão Mútua e sua Implementação, Ano de Obtenção: 1990.
Orientador: Osvaldo Sérgio Farhat de Carvalho.
1983 - 1986Graduação em Ciência da Computação .
Universidade Federal de Minas Gerais, UFMG, Brasil.

Atuação profissional
Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional
2006 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.
Vínculo institucional
1998 - 2006 Vínculo: Servidor Público, Enquadramento Funcional: PROFESSOR ADJUNTO, Regime: Dedicação exclusiva.
Atividades
05/2005 - AtualConselhos, Comissões e Consultoria, Programa de Pós-Graduação em Ciência da Computação - ICEx - UFMG, .
Cargo ou função
Membro Titular do Colegiado do PPGCC.
03/2005 - AtualDireção e administração, Doutorado em Bioinformática - ICB - UFMG, .
Cargo ou função
Coordenador de Curso.
03/2005 - AtualConselhos, Comissões e Consultoria, Doutorado em Bioinformática - ICB - UFMG, .
Cargo ou função
Membro Titular do Colegiado.
8/1998 - AtualPesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Linhas de pesquisa
Desenvolvimento do Compilador/Verificador Verus
Projeto e Verificação automática de sistemas distribuídos e de tempo real
Vídeo sob Demanda
Universalização de acesso à internet
Projeto e análise de sistemas em comércio eletrônico
Bioinformática: Armazenamento e análise de dados biológicos
8/1998 - AtualEnsino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Sistemas Operacionais
Sistemas de Tempo-Real
8/1998 - AtualEnsino, Ciências da Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Sistemas Operacionais
TECC: Verificação Automática
1998 - AtualAtividades de Participação em Projeto, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Projetos de pesquisa
Verificação Automática

Linhas de Pesquisa
1. Desenvolvimento do Compilador/Verificador Verus
2. Projeto e Verificação automática de sistemas distribuídos e de tempo real
3. Vídeo sob Demanda
4. Universalização de acesso à internet
5. Projeto e análise de sistemas em comércio eletrônico
6. Bioinformática: Armazenamento e análise de dados biológicos

Projetos de Pesquisa
Verificação Automática
Situação: Desativado; Natureza: Outra.
Integrantes: Sergio Vale Aguiar Campos - Coordenador.
.

Revisor de periódico
2006 - Atual Periódico: Journal of Computer Science and Technology (Beijing)

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
4. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
5. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Bioinformática / Especialidade: Armazenamento e Análise de Dados Biológicos.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Prêmios e títulos
2008Best Oral Presentation Award, 3rd place, Brazilian Society for Bioinformatics and Computational Biology.
2005Melhor Artigo da Conferência WPERFORMANCE, Workshop em Desempenho de Sistemas Computacionais e de Comunicação.
2004Prêmio Telemar de Inclusão Digital - Segundo Lugar Universidades, Instituto Telemar.
2001Destaque SUCESU 2001 de Informática e Telecomunicações de Minas Gerais, SUCESU.
2001Tecnologia da Informação - Escolhido entre os 100 mais influentes, Info Exame.
2001Melhores de Hoje, Informática, Jornal Hoje em Dia.
1994Prêmio de Melhor Artigo Técnico e Apresentação, Intel Design Technology Conference.
1990Segundo Lugar no Concurso de Tese e Dissertações, Sociedade Brasileira de Computação.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. GOMES, R. R. ; CAMPOS, S. V. A. ; PENA, S. D. . PEDEXPERT: a computer program for the application of Bayesian networks to human paternity testing. Genetics and Molecular Research, v. 8, p. 273-283, 2009.
2. BARBOSA, Daniela V C ; FERNANDES, G. ; PROSDOCIMI, F ; Pena I ; Santana-Santos L ; Coelho Jr O ; SILVA, A. B. ; MUDADO, M. ; NATALE, D. ; FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; ORTEGA, José M . A procedure to recruit members to enlarge protein family databases--the building of UECOG (UniRef-Enriched COG Database) as a model. Genetics and Molecular Research, v. 7, p. 910-924, 2008.
3. FARIACAMPOS, Alessandra C ; GOMES, R. R. ; MORATELLI, F. ; ROLLA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . BNDb - BIomolecules Nucleus Database: An Integrated Proteomics and Transcriptomics Database. Genetics and Molecular Research, v. 6, p. 937-945, 2007.
4. FARIACAMPOS, Alessandra C ; MORATELLI, F. ; MENDES, I. K. ; ORTOLANI, P. ; OLIVEIRA, G. ; CAMPOS, S. V. A. ; ORTEGA, José M ; FRANCO, Glória R . Production of Full-length cDNAs by Sequencing and Analysis of Expressed Sequence Tags from Schistosoma mansoni. Memórias do Instituto Oswaldo Cruz, v. 1, p. In press, 2006.
5. FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; PROSDOCIMI, F ; FRANCO, Glória R ; ORTEGA, José M . Efficient Secondary Database Driven Annotation Using Model Organisms Sequences. In Silico Biology. An International Journal on Computational Molecular Biology, v. 6, p. 34, 2006.
6. COSTA, U. ; CAMPOS, S. V. A. ; VIEIRA, N. ; DEHARBE, D. . Explicit-Symbolic Modelling for Formal Verification. Electronic Notes in Theoretical Computer Science, v. 130, p. 301-321, 2005.
7. CAMPOS, S. V. A. ; GRUMBERG, Orna ; YORAV, Karen ; FADY, Copty . Test Sequence generation and model checking using dynamic transition relations. International Journal on Software Tools for Technology Transfer, Alemanha, v. 6, n. 2, p. 174-182, 2004.
8. PEREIRA, Adriano ; SONG, Mark Alan ; CAMPOS, S. V. A. . The Formal Cafe Methodology and Model Checking Patterns in the Specification of E-Commerce Systems. Electronic Commerce Research, 2004.
9. CAMPOS, S. V. A. ; CLARKE, E. . The Verus Language: representing time efficiently with BDDs. Theoretical Computer Science, v. 253, p. 95-118, 2001.
10. CAMPOS, S. V. A. ; TEIXEIRA, M. ; MINEA, M. ; KUEHLMANN, A. ; CLARKE, E. . Model Checking Semi-Continuous Time Models Using BDDs. Electronic Notes in Theoretical Computer Science, v. 23, p. 1-13, 2001.
11. CAMPOS, S. V. A. ; CLARKE, E. ; GRUMBERG, O. . Selective quantitative analysis and interval model checking: verifyng different facets of a system. Formal Methods In System Design, v. 17, p. 163-192, 2000.
12. CAMPOS, S. V. A. ; HARTONAS-GARMHAUSEN, V. ; CIMATTI, A. ; CLARKE, E. ; GIUNCHIGLIA, F. . Verification of a safety-critical railway interlocking system with real-time constraints. Science Of Computer Programming, v. 36, n. 1, p. 53-65, 2000.
13. CAMPOS, S. V. A. ; CLARKE, E. . Analysis And Verification Of Real-Time Systems Using Quantitative Symbolic Algorithms A Ser Publicado Em 1998. SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER JOURNAL, v. 2, n. 3, p. 260-269, 1999.
14.   CAMPOS, S. V. A. ; CLARKE, E. ; MINEA, M. . Symbolic Techniques For Formally Verifying Industrial Systems. SCIENCE OF COMPUTER PROGRAMMING, v. 29, p. 79-98, 1997.
15.   CAMPOS, S. V. A. ; CLARKE, E. ; MARRERO, W. ; MINEA, M. ; HIRAISHI, H. . Temporal Verification Of Real-Time Systems. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v. E78-D, n. 7, p. 796-801, 1995.
16. CAMPOS, S. V. A. ; CLARKE, E. ; MARRERO, W. ; MINEA, M. . Verus: A Tool For Quantitative Analysis Of Finite-State Real-Time Systems. ACM SIGPLAN NOTICES, v. 30, n. 11, p. 70-78, 1995.
17. CAMPOS, S. V. A. ; CARVALHO, O. . Temis - Um Nucleo Para Desenvolvimento de Programas Paralelos. REVISTA BRASILEIRA DE COMPUTACAO, v. 6, n. 1, p. 33-44, 1990.
Livros publicados/organizados ou edições
1.   MEIRA, W. ; MURTA, C. ; CAMPOS, S. V. A. ; GUEDES, D. O. . Comércio Eletrônico: projeto e desenvolvimento. Editora Campus, 2002.
Capítulos de livros publicados
1.   BEREZIN, S. ; CAMPOS, S. V. A. ; CLARKE, E. . Compositional Reasoning In Model Checking. In: Willem-Paul de Roever; Hans Langmaack; Amir Pnueli. (Org.). Compositionaly: The Significant Difference. : Spring-Verlag, 1998, v. , p. -.
2. CAMPOS, S. V. A. . Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. In: S. Budkowski; A. Cavalli; E. Najm. (Org.). Formal Description Techniques and protocol Specification, Testing and Verification. : Klumer Academic Publishers, 1998, v. 1, p. -.
3. CAMPOS, S. V. A. ; CLARKE, E. ; MINEA, M. . Analysis Of Real-Time Systems Using Symbolic Techniques. In: C. Heitmeyer; D. Mandrioli. (Org.). TRENDS IN SOFTWARE - FORMAL METHODS FOR REAL-TIME COMPUTING. CHICHESTER, ENGLAND: JOHN WILEY & SONS, 1996, v. , p. 217-236.
4.   CAMPOS, S. V. A. ; CLARKE, E. . AMAST Series in Computing: Theories and Experiences for Real-Time Systems Development. In: T. Rus; C. Rattray. (Org.). THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT. SINGAPORE: WORLD SCIENTIFIC PUBLISHING, 1995, v. , p. 129-146.
Textos em jornais de notícias/revistas
1. CAMPOS, S. V. A. . Computadores Telefônicos ou Telefones Computadorizados?. Jornal Hoje em Dia, Belo Horizonte, p. 2 - 2, 02 nov. 1998.
2. CAMPOS, S. V. A. . Os Bugs do Novo Milênio. Jornal Hoje em Dia, Belo Horizonte, p. 2 - 2, 08 mar. 1900.
Trabalhos completos publicados em anais de congressos
1. BORGES, Alex ; ALMEIDA, J ; CAMPOS, S. V. A. . Fighting pollution in P2P live streaming systems. In: IEEE International Conference On Multimedia & Expo, 2008, Hannover. Proc. of the IEEE International Conference On Multimedia & Expo, 2008. p. 481-484.
2. GOMES, R. R. ; COTA, C. ; SONG, Mark Alan ; CAMPOS, S. V. A. . Large Scale Genetic Identity Inference Using Symbolic Model Checking. In: Fifth International Workshop on Constraints in Formal Verification, 2008, Sidney. Proc. of the Fifth International Workshop on Constraints in Formal Verification, 2008.
3. CALDAS, R. ; Barreto R. S. ; CAMPOS, S. V. A. . On the use of X-machine Formal Model to Design Sensor Network Applications. In: IEEE Symposium on Industrial Embedded Systems (SIES2008), 2008, Montpellier. IEEE Symposium on Industrial Embedded Systems (SIES2008), 2008.
4. BARROS, H. ; CAMPOS, S. V. A. ; SONG, Mark Alan ; ZARATE, L. . Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. In: 14th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007, Tucson, AZ, EUA. Proceedings of the 14th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007.
5. FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; GOMES, R. R. ; RATES, B. ; PIMENTA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . A New Approach to the Integration of Proteomics Experimental Data. In: Brazilian Symposium on Bioinformatics, 2007, Angra dos Reis, RJ. Proceedings of the Brazilian Symposium on Bioinformatics, 2007.
6. ROCHA, M. V. ; MAIA, M. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Estratégias Híbridas para Transmissão de Mídia Contínua Interativa com Compartilhamento de Fluxo. In: Simpósio Brasileiro de Redes de Computadores, 2006, Curitiba. Anais do Simpósio Brasileiro de Redes de Computadores, 2006.
7. ROCHA, M. V. ; MAIA, M. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Requisitos de Banda de Rede para Protocolos de Mídia Contínua Otimizados para Interatividade. In: XII Brazilian Symposium on Multimidia and the Web, 2006, Natal. Proceedings of the XII Brazilian Symposium on Multimidia and the Web, 2006.
8. PEREIRA, Adriano ; SONG, Mark Alan ; CAMPOS, S. V. A. ; GALVEZ, L. E. Z. . Formal Verification of Transactional Systems Based on UML Specifications. In: The Seventeenth International Conference on Software Engineering and Knowledge Engineering, 2005, Taipei. Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering, 2005.
9. ROCHA, M. V. ; MAIA, M. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Scalable Media Streaming to Interactive Users. In: ACM Multimedia, 2005, Cingapura. Proceedings of ACM Multimedia, 2005.
10. ROCHA, M. V. ; MAIA, M. ; ALMEIDA, J ; CAMPOS, S. V. A. . Escalabilidade de Protocolos com Compartilhamento de Banda Para Cargas de Mídia Contínua Realistas. In: IV Workshop em Desempenho de Sistemas Computacionais e de Comunicacao (WPerformance), 2005, Porto Alegre. Anais do IV Workshop em Desempenho de Sistemas Computacionais e de Comunicacao (WPerformance), 2005.
11. SONG, Mark Alan ; PEREIRA, Adriano ; CAMPOS, S. V. A. . Formal Verification of Transactional Systems. In: 1st International Conference on Web Information Systems and Technologies, 2005, Miami. Proceedings of the 1st International Conference on Web Information Systems and Technologies, 2005.
12. MAIA, M. ; ROCHA, M. V. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Network bandwidth requirements for optimized streaming media transmission to interactive users. In: Brazilian Symposium on Multimedia and the Web, 2005, Natal. Proc. of the 12th Brazilian Symposium on Multimedia and the Web. New York : ACM Press, 2005. v. 192. p. 283-292.
13. FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; FRANCO, Glória R ; ORTEGA, José M . Automated selection of schistosoma mansoni clones for full length sequencing: algorithm test and inspection of putative kosak consensus. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2004, Caxambu, 2004.
14. OLIVEIRA, Marcos P ; FERNANDES, Antônio O ; CAMPOS, S. V. A. ; ZUQUIM, Ana Luiza ; BECKLER, Alberto R . RMCAN - a protocol for multiprocessor fault tolerant architectures. In: IEEE Latin American Test Workshop, 2004, 2004.
15. VIEIRA, Alex Borges ; GUIMARAES, e ; CUNHA, I ; COSTA, C P ; CAMPOS, S. V. A. ; ALMEIDA, J . Easypres: an easy-to-use tool for creating synchronized multimedia presentations. In: World Conference on Educational Multimedia, Hypermedia & Telecommunications, 2004, Zurich, 2004.
16. PEREIRA, Adriano ; SONG, Mark Alan ; CAMPOS, S. V. A. . Modeling and verifying web based systems - an uml-cafe case study. In: Argentine Symposium on Software Engineering, 2004, Cordoba, 2004.
17. OLIVEIRA, Marcos P ; FERNANDES, Antônio O ; CAMPOS, S. V. A. ; ZUQUIM, Ana Luiza ; MATA, José M . Guaranteeing fault tolerance through scheduling on a can bus. In: International CAN Conference, 2003. Proceedings of the 9th International CAN Conference. v. 9.
18. OLIVEIRA, Marcos P ; FERNANDES, Antônio O ; CAMPOS, S. V. A. ; ZUQUIM, Ana Luiza . Guaranteeing fault tolerance through scheduling on a can bus. In: Test and Fault Tolerant Workshop, 2003. Proceedings of the VI Test and Fault Tolerant Workshop.
19. SANTOS, Daniela A S ; VIEIRA, Alex Borges ; RIBEIRO NETO, Berthier ; CAMPOS, S. V. A. . Performance analysis and optimization of a distributed video on demand service. In: IEEE International Symposium on Performance Analysis of Systems and Software, 2003, 2003.
20. SONG, Mark Alan ; PEREIRA, Adriano ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . UML Cafe: a process to specify and verify e-commerce systems. In: International conference on Electronic Commerce Research, 2003, 2003.
21. SONG, Mark Alan ; PEREIRA, Adriano ; LIMA, Fernanda ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . A software engineering process to specify and verify e-commerce systems. In: International Conference on Software Engineering Research and Practice, 2003, 2003.
22. SONG, Mark Alan ; PEREIRA, Adriano ; LIMA, Fernanda ; GORGULHO, Gustavo ; CAMPOS, S. V. A. . Extending UML to specify and verify e-commerce systems. In: 15th International Conference on Software Engineering and Knowledge Engineering, SEKE, 2003, San Francisco, CA, EUA. Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering, 2003. p. 306-315.
23. SANTOS, Daniela A S ; BORGES, Alex ; RIBEIRO, M ; CARAM, J ; RIBEIRO NETO, Berthier ; CAMPOS, S. V. A. . Architectures for a new generation of VoD servers. In: Brazilian Symposium on Multimedia and Hypermedia Systems, 2002. Proceedings of the VIII Brazilian Symposium on Multimedia and Hypermedia Systems.
24. PEREIRA, Adriano ; SONG, Mark Alan ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . A formal methodology to specify e-commerce systems. In: International Conference on Formal Engineering Methods, 2002, 2002.
25. PEREIRA, Adriano ; SONG, Mark Alan ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . A formal specification methodology for e-commerce systems. In: International Conference on Electronic Commerce Research, 2002, 2002.
26. SONG, Mark Alan ; PEREIRA, Adriano ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . Model checking patterns for e-commerce systems. In: First Seminar on Advanced Research in Eletronic Business, 2002, 2002.
27. MACÊDO, A. ; CAMPOS, S. V. A. ; CARVALHO, C. . Symbolic model checking: a new approach for solving scheduling problems. In: X Latin-Ibero-American Conference on Operations Research and Systems, 2000, Cidade do México. Proceedings of CORS'2000, 2000.
28. BERTINI, L. ; CAMPOS, S. V. A. ; JAMIL, G. ; RIBEIRO NETO, Berthier . Análise de Desempenho do Servidor de Vídeo ALMADEN-VOD. In: Simpósio Brasileiro de Multimídia, 1999. Anais do SBMIDIA'99, 1999.
29. DINIZ, A. L. ; CAMPOS, S. V. A. ; NOGUEIRA, J. M. ; MACHADO, C. M. ; SOUZA, L. . Um Sistema de Gereciamento de Tráfego para Redes Telefônicas de Grande Porte. In: XVII Simpósio Brasileiro de Redes de Computadores, 1999, Salvador. Anais do SBRC'99, 1999.
30. CAMPOS, S. V. A. . Symbolic Model Checking in Pratice. In: XII Symposium on Integrated Circuits and Systems Design, 1999. Proceedings of SBCCI'99, 1999.
31. DINIZ, A. L. ; CAMPOS, S. V. A. ; NOGUEIRA, J. M. ; MACHADO, C. M. ; SOUZA, L. . An Efficient low-cost traffic management system for large switching networks. In: IEEE Latin American Network Operations and Management Symposium, 1999. Proceedings of IEEE Latin American, 1999.
32. CAMPOS, S. V. A. ; RIBEIRO NETO, Berthier ; MACÊDO, A. ; BERTINI, L. . Formal Verification and Analysis of Multimedia System. In: ACM International Multimedia Conference, 1999. Proceedings of ACM'99, 1999.
33. CAMPOS, S. V. A. ; TEIXEIRA, M. ; MINEA, M. ; KUEHKMANN, A. ; CLARKE, E. . Model Checking semi-continous time models using BDDs. In: International Workshop on Symbolic Model Checking, 1999. Proceedings of WSMC'99, 1999.
34. MACÊDO, A. ; CAMPOS, S. V. A. . An Efficient formal verification tool for real-time systems. In: II Workshop on Formal Methods, 1999. Proceedings of WMF'99, 1999. p. 297-308.
35. HARTONAS-GARMHAUSEN, V. ; CAMPOS, S. V. A. . ProbVerus: probabilistic symbolic model checking. In: IV International AMAST Workshop on Real-Time and Probabilistic Systems, 1999. Proceedings of AMAST'99, 1999.
36. CAMPOS, S. V. A. . Shared Variables And Efficient Synchronization Primitives For Synchronous Symbolic Verifiers. In: FORMAL DESCRIPTION TECHNIQUES & PROTOCOL SPECIFICATION, TESTING AND VERIFICATION SYMPOSIUM, 1998. PARIS, FRANCA. p. 0-0.
37. CAMPOS, S. V. A. . Verification Of A Safety-Critical Railway Interlocking System With Real-Time Constraints. In: IEEE 28TH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1998. MUNICH, ALEMANHA. p. 0-0.
38. CLARKE, E. ; MCMILLAN, K. ; CAMPOS, S. V. A. ; HARTONAS-GARMHAUSEN, V. . Symbolic Model Checking. In: Seminário Integrado de Hardware e Software, 1998, Belo Horizonte. Anais do SEMISH'98, 1998. v. 1. p. 0-0.
39. CAMPOS, S. V. A. ; CLARKE, E. ; MINEA, M. . The Verus tool: a quantitative approach to the formal verification of real-time systems. In: Conference on Computer Aided Verification, 1997. Proceedings of CCAV'1997, 1997.
40. CAMPOS, S. V. A. . Selective Quantitative Analysis And Interval Model Checking: Verifyingdifferent Facets Of A System. In: COMPUTER AIDED VERIFICATION, 1996. NEW BRUSWICK, EUA. p. 0-0.
41. CAMPOS, S. V. A. . Deadlock Prevention In Flexible Manufacturing Systems Using Symbolic Model Checking. In: INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, 1996. MINNEAPOLIS, MN, EUA. p. 0-0.
42. CLARKE, E. ; MCMILLAN, K. ; CAMPOS, S. V. A. ; HARTONAS-GARMHAUSEN, V. . Symbolic model checking. In: Conference on Computer Aided Verification, 1996. Proceedings of CCAV'1996, 1996.
43. CLARKE, E. ; HARTONAS-GARMHAUSEN, V. ; CAMPOS, S. V. A. . Deadlock prevention in flexible mana\ufacturing systems using symbolic model checking . In: International Conference on Robotics and Automation, 1996. Proceedings of ICRA'96, 1996.
44. CAMPOS, S. V. A. ; CLARKE, E. ; MARRERO, W. ; MINEA, M. . Verifying The Performance Of The Pci Local Bus Using Symbolic Techniques. In: INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 1995. AUSTIN, EUA. p. 0-0.
45. CAMPOS, S. V. A. . Formally Verifying Arithmetic Circuits - Avoiding The Pentium Fdiv Bug. In: Intel Design and Test Technology Conference, 1995. proceedings of IDTTC, 1995.
46. CAMPOS, S. V. A. ; CLARKE, E. ; MARRERO, W. ; MINEA, M. . Timing Analysis of Industrial real-time systems. In: Workshop on Industrial Strength Formal Specification Techniques, 1995. Proceedings of WISFST'95, 1995.
47. CAMPOS, S. V. A. ; KHAIRA, M. ; MARRERO, W. ; ZHAO, X. ; CLARKE, E. . Formally verifying arithmetic circuits - avoiding the Pentium fdiv bug. In: Intel Design and Test Technology Conference, 1995. Proceedings of IDTTC'95, 1995.
48. CAMPOS, S. V. A. ; KHAIRA, M. ; ZHAO, X. . Formally Verifying Bus Designs. In: Intel Design Technologu Conference, 1994. Proceedings of IDTC'94, 1994.
49. CAMPOS, S. V. A. ; CLARKE, E. ; MARRERO, W. ; MINEA, M. ; HIRAISHI, H. . Computing quantitative chacteristics of finite-state real-time systems. In: IEEE Real-Time Systems Sympoisum, 1994. Proceedings of IEEE RTSS'94, 1994.
50. CAMPOS, S. V. A. ; CARVALHO, O. . Um Algoritmo 0..O(Sqrt{N}) Para Exclusao Mutua. In: VII Brazilian Computer Network Symposium, 1989, Porto Alegre. Anais do BCNS'99, 1989.
Resumos expandidos publicados em anais de congressos
1. FARIACAMPOS, Alessandra C ; BRAVONETO, e ; TORRES, João A ; CAMPOS, S. V. A. ; FRANCO, Glória R ; ORTEGA, José M . Escolha automática de clones de cdna de s. mansoni que potencialmente contêm a região codificadora completa para caracterização e expansão da base de dados cog. In: Congresso da Sociedade Brasileira de Genética, 2002, 2002.
Resumos publicados em anais de congressos
1. BARBOSA, Daniela V C ; TORRES, João A ; CAMPOS, S. V. A. ; ORTEGA, José M . Contribution of aminoacid insertions and deletions to proteobacteria-b and proteobacteria-d molecular evolution. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2004, Caxambu, 2004.
2. TORRES, João A ; BRAVONETO, e ; FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; ORTEGA, José M . Biodados server: a new system to query secondry databases cogs, biocarta and kegg. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2003, 2003.
3. FARIACAMPOS, Alessandra C ; PROSDOCIMI, F ; TORRES, João A ; PEIXOTO, F C ; CAMPOS, S. V. A. ; FRANCO, Glória R ; ORTEGA, José M . Comparison of sequence sets of s. mansoni to d. melanogaster and c. elegans and development of tools for selection of s. mansoni clones for full length sequencing. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2002, Caxambu, 2002.
Artigos aceitos para publicação
1. BARBOSA, Daniela V C ; PROSDOCIMI, F ; Pena I ; Santos L S ; Coelho Jr O ; SILVA, A. B. ; Veloso H ; MUDADO, M. ; NATALE, D. ; CAMPOS, S. V. A. ; ORTEGA, José M . A procedure to recruit members to enlarge Protein Families Databases - the building of UECOG (UniRef-Enriched COG Database) as a modell. Genetics and Molecular Research, 2008.
Apresentações de Trabalho
1. VAL, C. ; SIMOES, A. ; FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. . SIGLa - A Dynamic System to Integrate Laboratory Data Based on Workflow Definition. 2008. (Apresentação de Trabalho/Conferência ou palestra).
Demais tipos de produção bibliográfica
1. CAMPOS, S. V. A. . The Priority Inversion Problem and Real-Time Symbolici Model Cheking. EUA: Carnegie Mellon University, 1993 (Relatório Técnico).
Produção técnica
Softwares sem registro de patente
1. FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; CAMPOS, S. V. A. . BNDb - Biomolecules Network Database. 2006.
2. CAMPOS, S. V. A. ; MACIEL, P. N. . Neosyst - Sistema de Gerência de Negócios para Pequena Empresa. 2005.
3. CAMPOS, S. V. A. . Metasys. 2002.
4. CAMPOS, S. V. A. ; CLARKE, E. . O Sistema de Verificação de Modelos Simbólico (Symbolic Model Checker) Verus. 1997.

Orientações
Orientações em andamento
Tese de doutorado
1. Alex Borges Vieira. Otimização de Protocolos de Transmissão de Dados de Mídia Contínua. Início: 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais. (Orientador).
2. Wesley Dias Maciel. Um Banco de Dados de Associação de Patentes, Moléculas e Atividades Biológicas. Início: 2004. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
3. Daniela Vale Campos Barbosa. Detecção de genes divergentes em espécies próximas através da comparação de proteomas: Helicobacter pylori como modelo. Início: 2003. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. Daniel Oliveira Nascimento. Monitoração Avançada de Redes de Computadores de Grande Escala. 2007. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação - ICEx - UFMG, . Orientador: Sergio Vale Aguiar Campos.
2. João de Abreu e Tôrres. PCT - Uma Ferramenta para Anotação de Proteínas Utilizando Bases Secundárias. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
3. Alex Borges Vieira. Sistema Gerador de Apresentações para Ensino a Distância. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
4. Hugo Valentim Barros. Um Algoritmo Distribuído para Verificação de Modelos com Fronteiras. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
5. Alberto Rubens Beckler. Verificação Formal de Protocolos para Sistemas de Tempo Real Tolerantes a Falhas. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
6. Guilherme Rocha Ribeiro. DEVICE ANYWHERE: Acesso Otimizado a Recursos em Sistemas Distribuídos. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
7. Judson Santos Santiago. Particionamento Simbólico de Programas. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
8. Lamarque Vieira Souza. Técnicas de Compartilhamento de Recursos no Ambiente Metasys. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
9. André Luiz do Vale Soares. Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
10. Tanara Lauschner. Verificação Formal e Análise de Protocolos de Roteamento de Redes Móveis Ad Hoc. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
Tese de doutorado
1. Maurício de Alvarenga Mudado. Uso da Base de Dados Secundária KOG como Ferramenta para Caracterização de Expressão Gênica e Mineração de Dados em Projetos Transcriptoma. 2007. Tese (Doutorado em Bioinformática) - Doutorado em Bioinformática - ICB - UFMG, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Sergio Vale Aguiar Campos.
2. Marcus Vinícius de Melo Rocha. Estratégias Híbridas para Transmissão de Mídia Contínua Interativa com Compartilhamento de Fluxo. 2007. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) - Programa de Pós-Graduação em Ciência da Computação - ICEx - UFMG, . Orientador: Sergio Vale Aguiar Campos.
3. Umberto da Souza Costa. Um Verificador de Modelos Explícito-Simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sergio Vale Aguiar Campos.
4. Mark Alan Song. UML - Cafe, Uma Metodologia para Projeto e Verificação de Sistemas Transacionais. 2004. 130 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
5. Marcos P Oliveira. Tolerância a Falhas através de Escalonamento em um Sistema Multiprocessado. 2004. 183 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Co-Orientador: Sergio Vale Aguiar Campos.
6. Autran Macêdo. Solução Exata de Problemas de Escalonamento Determinísticos por meio de Verificação Simbólica de Modelos. 2002. 104 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.
Página gerada pelo Sistema Currículo Lattes em 18/03/2010 às 2:20:32