Publicações

Artigos completos publicados em periódicos:

Hanke, Lucas A. ; BOTELHO, C. ; BRAZ, F. A. F. ; BATISTA, P. ; FLATSCHART, A. F. ; NODA, R. ; CARNEIRO, A. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . FluxTransgenics: a flexible LIMS-based tool for management of plant transformation experimental data. Plant Methods, v. 10, p. 2, 2014.

CAMPOS, S. V. A. ; VIEIRA, Alex Borges ; Almeida, Rafael Barra ; ALMEIDA, Jussara M. ; Almeida, Jussara M. . SimplyRep: A simple and effective reputation system to fight pollution in P2P live streaming. Computer Networks (1999), v. 57, p. 1019-1036, 2013.

BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase. IEEE/ACM Transactions on Computational Biology and Bioinformatics (Print), v. 10, p. 1530-1541, 2013.

BORGES, Alex ; Gomes, Pedro ; Nacif, José ; Mantini, Rodrigo ; Almeida, Jussara M. ; Campos, Sérgio . Characterizing SopCast client behavior. Computer Communications, v. 35, p. 1004-1016, 2012.

CREPALDE, M. A. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Modeling and analysis of cell membrane systems with probabilistic model checking. BMC Genomics, v. 12, p. S14, 2011.

MACIEL, W. D. ; FARIACAMPOS, Alessandra C ; GONCALVES, M. A. ; Campos, Sérgio V.A. . Can the vector space model be used to identify biological entity activities?. BMC Genomics, v. 12, p. S1, 2011.

FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; VAL, C. ; THORUN, P. ; ABREU, V. ; BATISTA, P. ; MENDONCA, P. ; ALVES, V. ; RODRIGUES, M. ; PIMENTA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . PRODIS: a proteomics data management system with support to experiment tracking. BMC Genomics, v. 12, p. S15, 2011.

CAMPOS, S. V. A. ; Lana-Peixoto, Marco A. ; Talim, Lívia Edwiges ; Faria-Campos, Alessandra C. ; Rocha, Cristiane F. ; Hanke, Lucas A. ; Talim, Natália ; Batista, Paulo Henrique ; Araujo, Carolina R. ; Kleinpaul, Rodrigo . NMO-DBr: the Brazilian Neuromyelitis Optica Database System. Arquivos de Neuro-Psiquiatria (Impresso), v. 69, p. 687-692, 2011.

SIMOES, A. ; FARIACAMPOS, Alessandra C ; DELAAT, D. M. ; ABREU, V. ; CAMPOS, S. V. A. . SIGLa: an adaptable LIMS for multiple laboratories. BMC Genomics, v. 11, p. 8, 2010.

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.

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.

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.

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.

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.

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.

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.

CAMPOS, S. V. A. ; CLARKE, E. . The Verus Language: representing time efficiently with BDDs. Theoretical Computer Science, v. 253, p. 95-118, 2001.

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.

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.

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.

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.

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.

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.

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.

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

CAMPOS, S. ; Campos, Sérgio . Advances in Bioinformatics and Computational Biology, 9th Brazilian Symposium on Bioinformatics. 1. ed. Springer: Heidelberg, 2014. v. 1. 153p .

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:

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. -.

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. -.

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.

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:

CAMPOS, S. V. A. ; Computadores Telefônicos ou Telefones Computadorizados?. Jornal Hoje em Dia, Belo Horizonte, p. 2 – 2, 02 nov. 1998.

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:

FERREIRA, B. ; BRAZ, F. A. F. ; Campos, Sérgio ; LOUREIRO, A. . A Probabilistic Model Checking Analysis of Vehicular Ad-hoc Networks. In: 81st Vehicular Technology Conference: VTC2015, 2015, Glasgow. Proceedings of the 81st Vehicular Technology Conference, 2015.

ANTUNA, L. ; ARAIZA-ILLAN, D. ; EDER, K. ; CAMPOS, S. V. A. . Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms. In: 16th Towards Autonomous Robotics Systems, 2015, Liverpool. Proceedings of the 16th Towards Autonomous Robotics Systems, 2015.

Eduardo Ferreira ; RAUSCH-FERNANDES, H. ; FARIACAMPOS, Alessandra C ; PIETRA, E. ; Lilian Santos ; Campos, Sérgio V.A. . Medical Data Mining: a case study of a Paracoccidioidomicosis Patient s Database. In: 16th International Conference on E-health Networking, Application & Services, 2014, Natal. 16th International Conference on E-health Networking, Application & ServicesProceedings of the, 2014.

FARIACAMPOS, Alessandra C ; Hanke, Lucas A. ; Vinicius Garcia ; Campos, Sérgio V.A. . FluxMED: An Adaptable and Extensible Electronic Health Record System. In: Brazilian Symposium on Bioinformatics, 2014, Belo Horizonte. Lecture Notes in Bioinformatics, 2014. v. 8429.

Demian Oliveira ; BRAZ, F. A. F. ; FERREIRA, B. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool. In: Brazilian Symposium on Bioinformatics, 2014, Belo Horizonte. Lecture Notes in Bioinformatics, 2014. v. 8429.

BRAZ, F. A. F. ; FERREIRA, B. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na+/K+-ATPase Complex. In: Brazilian Symposium on Bioinformatics, 2013, Recife. 8th Brazilian Symposium on Bioinformatics, 2013.

SILVA, A. S. F. ; Batista, Paulo Henrique ; COSTA, A. M. M. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. ; VILELA NETO, O. . NanoTrack – Sistema de Gerenciamento de Dados de Nanoestruturas com Plugins Inteligentes. In: VII e-Science workshop – Congresso da Sociedade Brasileira de Computação CSBC 2013, 2013, Maceió. VII e-Science workshop – Congresso da Sociedade Brasileira de Computação CSBC 2013, 2013.

OLIVEIRA, J. ; MIGUEL, E. ; CUNHA, I. ; VIEIRA, Alex Borges ; ROCHA, M. V. ; Campos, Sérgio V.A. . Can P2P Live Streaming Systems Coexist with Free Riders?. In: IEEE International Conference on Peer-to-Peer Computing, 2013, Trento, Itália. IEEE International Conference on Peer-to-Peer Computing 2013, 2013.

BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase. In: Brazilian Symposium on Bioinformatics, 2012, Campo Grande, MS. Proceedings of the 2012 Brazilian Symposium on Bioinformatics, 2012.

BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Palytoxin Inhibits the Sodium-Potassium Pump An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal, RN. Anais do Simpósio Brasileiro de Métodos Formais, 2012.

SILVA, A. S. F. ; Batista, Paulo Henrique ; ANDRADE, T. K. C. ; VILELA NETO, O. ; Campos, Sérgio V.A. ; FARIACAMPOS, Alessandra C . NanoTrack Sistema Inteligente de Gerenciamento de Dados de Síntese de Nanoestruturas. In: VI Workshop de e-Science – XXXII Congresso da Sociedade Brasileira de Computação, 2012, Curitiba. VI Workshop de e-Science – XXXII Congresso da Sociedade Brasileira de Computação, 2012.

BRAZ, F. A. F. ; FERREIRA, B. ; Campos, Sérgio V.A. . A Probabilistic Model Checking Approach to Investigate Vehicular Networks. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Brazilian Symposium on Formal Methods, 2012.

Gomes, Pedro ; VIEIRA, Alex Borges ; Campos, Sérgio . Verification of P2P Live Streaming Systems Using Symmetry-based Semiautomatic Abstractions. In: International Conference on High Performance Computing and Simulation (HPCS/MOSPAS), 2012, Madrid. Proceedings of the International Conference on High Performance Computing and Simulation (HPCS/MOSPAS), 2012.

GONCALVES, M. A. ; BORGES, Alex ; ALMEIDA, J. ; silva, a. p. ; CAMPOS, S. V. A. . Caracterização das Propriedades Dinâmicas da Estrutura da Rede Sobreposta do SopCast. In: WPerformance – X Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2011, Natal. WPerformance – X Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2011.

GONCALVES, M. A. ; BORGES, Alex ; ALMEIDA, J. ; neto h. m. ; silva, a. p. ; CAMPOS, S. V. A. . Characterizing Dynamic Properties of the SopCast Overlay Network. In: 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, 2011, Garching. Proceedings of the 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, 2011.

SILVEIRA, D. R. ; Campos, Sérgio V.A. . Syndrome-Fortuna: A viable approach on Linux random number generation. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2011, Brasília. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2011.

OLIVEIRA, J. ; BORGES, Alex ; GOMES, P. ; CAMPOS, S. V. A. ; CAMPOS, S. . Centralidade em Redes P2P de Transmissão ao Vivo. In: VI Workshop de Redes Dinâmicas e Sistemas P2P (WP2P), 2010, Porto Alegre. VI Workshop de Redes Dinâmicas e Sistemas P2P (WP2P),, 2010.

BORGES, Alex ; GOMES, P. ; ROCHA, M. V. ; ALMEIDA, J. ; CAMPOS, S. V. A. . Modelo de Comportamento dos Participantes do SopCast. In: Simpósio Brasileiro de Sistemas Multimídia e Web – Webmedia, 2009, Fortaleza. Anais do XV Simpósio Brasileiro de Sistemas Multimídia e Web (Webmedia), 2009.

OLIVEIRA, J. ; BORGES, Alex ; CAMPOS, S. V. A. . Poluição de conteúdo em sistemas P2P Live Streaming. In: Simpósio Brasileiro de Sistemas Multimídia e Web – Webmedia, 2009, Fortaleza. Anais do XV Simpósio Brasileiro de Sistemas Multimídia e Web (Webmedia), 2009.

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.

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.

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.

BORGES, Alex ; ALMEIDA, J. ; CAMPOS, S. V. A. . Combate a Poluição em Sistemas P2P de Mídia Contínua ao Vivo. In: O Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC),, 2008, Rio de Janeiro. Proc. SBRC, 2008.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

CAMPOS, S. V. A. ; Symbolic Model Checking in Pratice. In: XII Symposium on Integrated Circuits and Systems Design, 1999. Proceedings of SBCCI’99, 1999.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

CAMPOS, S. V. A. ; KHAIRA, M. ; ZHAO, X. . Formally Verifying Bus Designs. In: Intel Design Technologu Conference, 1994. Proceedings of IDTC’94, 1994.

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.

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:

OLIVEIRA, J. ; VIANA, R. ; BORGES, Alex ; ROCHA, M. V. ; Campos, Sérgio V.A. . TVPP: A Research Oriented P2P Live Streaming System. In: Simpósio Brasileiro de Redes de Computadores, 2013, Brasília. SBRC 2013 – Salão de Ferramentas, 2013.

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:

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.

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.

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:

FARIACAMPOS, Alessandra C ; Hanke, Lucas A. ; BATISTA, P. ; Vinicius Garcia ; CAMPOS, S. V. A. . An innovative electronic health records system for rare and complex diseases. BMC Bioinformatics, 2015.

FARIACAMPOS, Alessandra C ; BALOTTIN, L. ; ZUIN, G. ; Vinicius Garcia ; BATISTA, P. ; GRANJEIRO, J. M. ; CAMPOS, S. V. A. . FluxCTTX: A LIMS-Based Tool for Management and Analysis of Cytotoxicity Assays Data. BMC Bioinformatics, 2015.

Apresentações de Trabalho:

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).

Outras produções bibliográficas:

CAMPOS, S. V. A. ; The Priority Inversion Problem and Real-Time Symbolici Model Cheking. EUA: Carnegie Mellon University, 1993 (Relatório Técnico).