Publicações
Bioinformática:
Os projetos de Bioinformática do Luar contemplam diversos temas, tendo como objetivo apoiar pesquisadores e profissionais no desenvolvimento de ferramentas computacionalmente eficientes para auxiliar na solução de problemas complexos ligados à área de bioinformática. Eles variam desde soluções para softwares de apoio na área de Medicina Veterinária a evolução molecular de bactérias.
Referências:
LIMA, J. S. ; RIBEIRO, D. C. S. Z. ; NETO, H. A. ; CAMPO, S. V. A. ; LEITE, M. O. ; FORTINI, M. E. DE R. ; DE CARVALHO, BEATRIZ P. M. ; ALMEIDA, M. V. O. ; FONSECA, L. M. . A machine learning proposal method to detect milk tainted with cheese whey. JOURNAL OF DAIRY SCIENCE, v. 1, p. 1, 2022.
NETO, H. A. ; TAVARES, W. L. F. ; RIBEIRO, D. C.S.Z. ; ALVES, R. C.O. ; FONSECA, L. M. ; CAMPOS, S. V.A. . On the utilization of deep and ensemble learning to detect milk adulteration. BioData Mining, v. 12, p. 1-13, 2019.
MAGALHÃES, M. J. ; MARTINS, L. F. ; SENRA, R. L. ; DOS SANTOS, T. F. ; OKANO, D. S. ; PEREIRA, P. R. G. ; FARIA-CAMPOS, A. ; CAMPOS, S. V. A. ; GUIMARÃES, J. D. ; BARACAT-PEREIRA, M. C. . Differential abundances of four forms of BSP1 in the seminal plasma of Bos taurus indicus bulls with different patterns of semen freezability. Theriogenology, v. 16, p. 102, 2016.
GAMES, P. D. ; DASILVA, E. Q. G. ; BARBOSA, M. DE O. ; ALMEIDA-SOUZA, H. O. ; FONTES, P. P. ; DEMAGALHÃES-JR, M. J. ; PEREIRA, P. R. G. ; PRATES, M. V. ; FRANCO, G. R. ; FARIA-CAMPOS, A. ; CAMPOS, S. V. A. ; BARACAT-PEREIRA, M. C. . Computer aided identification of a Hevein-like antimicrobial peptide of bell pepper leaves for biotechnological use. BMC GENOMICS, v. 17, p. 1-13, 2016.
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, D. V C ; FERNANDES, G. ; PROSDOCIMI, F. ; PENA I ; SANTANA-SANTOS L. ; COELHO JR. O. ; SILVA, A. B. ; MUDADO, M. ; NATALE, D. ; FARIACAMPOS, A. C. ; CAMPOS, S. V. A. ; ORTEGA, J. 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, A. C ; MORATELLI, F. ; MENDES, I. K. ; ORTOLANI, P. ; OLIVEIRA, G. ; CAMPOS, S. V. A. ; ORTEGA, J. M. ; FRANCO, G. 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, A. C. ; CAMPOS, S. V. A. ; PROSDOCIMI, F ; FRANCO, G. R ; ORTEGA, J. 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.
CAMPOS, S.V. A. ; CAMPOS, S. V. A. . Advances in Bioinformatics and Computational Biology, 9th Brazilian Symposium on Bioinformatics. 1. ed. Springer: Heidelberg, 2014. v. 1. 153p.
PIMENTA, C. G. ; FARIA-CAMPOS, A. C. ; ROCHA, J. N. ; DIAS, A. A. M. ; DA GLÓRIA DE SOUZA, D. ; REZENDE, C. A. ; MEDEIROS, G. M. D. ; CAMPOS, S. V. A. . ViMT – Development of a Web-Based Vivarium Management Tool. Lecture Notes in Computer Science. 11ed.: Springer International Publishing, 2018, v. , p. 58-65.
FARIACAMPOS, A. C. ; BRAVONETO, E. ; TORRES, J. A. ; CAMPOS, S. V. A. ; FRANCO, G. R. ; ORTEGA, J. 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.
CARNIVALI, G. ; CAMPOS, S. V. A. . Does the Ataxia group have genetic similarities?. In: XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL – ENMC, 2020, Petrópolis. XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL – ENMC, 2020.
NETO, H. A. ; TAVARES, W. L. F. ; RIBEIRO, D. C. S. Z. ; LIMA, J. S. ; CAMPOS, S. V. A. ; FONSECA, L. M. . Detection of adulteration in milk using infrared spectros- copy and machine learning. In: American Dairy Science Annual Meeting, 2019, Cincinnati, Ohio. Journal of Dairy Science, 2019. v. 102. p. 38-38.
RIBEIRO, D. C. S. Z. ; TAVARES, W. L. F. ; NETO, H. A. ; CAMPOS, S. V. A. ; FONSECA, L. M. . Use of infrared spectroscopy to estimate the lactose content in hydrolyzed milk. In: American Dairy Science Annual Meeting, 2019, Cincinnati, Ohio. Journal of Dairy Science, 2019. v. 102. p. 38-38.
LIMA, J. S. ; RIBEIRO, D. C. S. Z. ; TAVARES, W. L. F. ; NETO, H. A. ; CAMPOS, S. V. A. ; FONSECA, L. M. . Machine learning applied to Fourier-transform infrared spectroscopy for detection of cheese whey addition to raw milk. In: American Dairy Science Annual Meeting, 2019, Cincinnati, Ohio. Journal of Dairy Science, 2019. v. 102. p. 38-39.
BARBOSA, D. V. C. ; TORRES, J. A. ; CAMPOS, S. V. A. ; ORTEGA, J. 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, J. A. ; BRAVONETO, E. ; FARIACAMPOS, A. C. ; CAMPOS, S. V. A. ; ORTEGA, J. 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, A. C. ; PROSDOCIMI, F. ; TORRES, J. A. ; PEIXOTO, F C ; CAMPOS, S. V. A. ; FRANCO, G. R. ; ORTEGA, J. 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.
Referências:
FARIACAMPOS, A. C. ; HANKE, L. A. ; BATISTA, P. ; VINICIUS G. ; CAMPOS, S. V. A. . An innovative electronic health records system for rare and complex diseases. BMC Bioinformatics, 2015.
EDUARDO F. ; RAUSCH-FERNANDES, H. ; FARIACAMPOS, A. C ; PIETRA, E. ; LILIAN S. ; CAMPOS, S. 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.
FARIACAMPOS, A. C. ; HANKE, L. A. ; VINICIUS G. ; CAMPOS, S. 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.
FluxMed:
A quantidade de dados gerados por hospitais e centros de pesquisa para a saúde é de extrema importância. Estes dados consistem em informações sobre pacientes e pesquisas realizadas instalações incluem prontuários, documentos, aprovações, autorizações, entre outros e pode ser grande e difícil de obter. O uso de ferramentas computacionais para auxiliar nesta gestão é comum em algumas instituições. Este projeto propõe o desenvolvimento de uma ferramenta para este fim, utilizando como base de um Sistema de Gerenciamento de Informações de Laboratório LIMS ou para gerenciar as atividades do Centro de Pesquisas Clínicas (CPC) do Hospital das Clínicas da UFMG e os dados da pesquisa de pacientes de doenças que atendem à mesma instituição.Os sistemas LIMS são sistemas de laboratório de gerenciamento de dados que se adaptam facilmente à pesquisa clínica específica. Em particular, propomos a utilização de uma forma flexível de workflows orientados a LIMS, permitindo flexibilidade e estabelecimento de novos protocolos de pesquisa e de forma rápida e eficiente. O sistema chamado Flux-MED tem os seguintes ramos: Flux-CPC para a gestão de pesquisas e estudos realizados a CPC; FluxNMO-DBR: um sistema de gerenciamento e análise de dados de pacientes neuromielite óptica; FluxPCM: um sistema de gerenciamento de dados de pacientes paracoccidioidomiciosos. permitindo o estabelecimento de novos protocolos de pesquisa e de forma rápida e eficiente.
MEDCOM:
Telemedicina Plena Através do Registro e Acompanhamento de Dados Médicos Específicos de COVID-19 e Outras Doenças.
Este projeto tem como objetivo o desenvolvimento de um sistema que permita o acesso remoto a pacientes e médicos. Todos os dados específicos dos médicos serão armazenados, o sistema será flexível o suficiente para ser adaptado de forma rápida a novas especialidades médicas. Todos os envolvidos, médicos, pacientes e outros poderão acessar e atualizar dados de acordo com seus perfis de segurança, permitindo, por exemplo, que um paciente insira um resultado de exame pelo telefone, exame que será analisado remotamente pelo médico. Todos os dados serão integrados, permitindo a identificação de pacientes que precisam atendimento especial ou o cálculo de estatísticas de saúde aumentando a efetividade do atendimento remoto e da análise dos seus dados.
Referências:
FARIA-CAMPOS, A. ; FEU, H. P. ; NOIA, J. V. ; FLATSCHART, A. F. ; GRANJEIRO, J. M. ; CAMPOS, S. V. A. . BPL++ – A quality management and assurance support system. In: 11o Congresso Brasileiro de Metrologia, 2021, Rio de Janeiro. Anais do 11o Congresso Brasileiro de Metrologia, 2021.
RAUSCH-FERNANDES, H. ; GOMES, G. ; OLIVEIRA, A. C. ; CAMPOS, S. V. A. . Statistical Model Checking in Drug Repurposing for Alzheimer?s Disease. In: Brazilian Symposium on Formal Methods, 2020, Ouro Preto, MG. Proceedings of the Brazilian Symposium on Formal Methods, 2020.
GRUNWELL, D. ; BATISTA, P. H. ; CAMPOS, S. V. A. ; SAHAMA, T. . Managing and sharing health data through information accountability protocols. In: 17th International Conference on E-health Networking, Application and Services (Healthcom), 2015, Boston, EUA. Proceedings of the 17th International Conference on E-health Networking, Application and Services (Healthcom), 2015.
Referências:
FARIACAMPOS, A. C ; ALPHONSOS, A. ; TEIXEIRA, G. ; LEITE, G. ; LIMA, M. E. ; DIAS, C. C. ; CAMPOS, S. V. A. . Protocol data management in biology laboratories. BRAZILIAN JOURNAL OF INFORMATION SCIENCE, v. 14, p. 173-190, 2020. Material Complementar.
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).
Sistemas de Informação Biomédicos:
Sistemas biomédicos são cada dia mais complexos e importantes. Este projeto trata do estudo e desenvolvimento de técnicas e ferramentas para fazer uma gestão eficiente de sistemas biomédicos em diversas áreas, incluindo experimentações laboratoriais e atendimentos médicos.
HANKE, L. A. ; BOTELHO, C. ; BRAZ, F. A. F. ; BATISTA, P. ; FLATSCHART, A. F. ; NODA, R. ; CARNEIRO, A. ; FARIACAMPOS, A. C. ; CAMPOS, S. V. A. . FluxTransgenics: a flexible LIMS-based tool for management of plant transformation experimental data. Plant Methods, v. 10, p. 2, 2014
FARIACAMPOS, A. C. ; RAUSCH-FERNANDES, H. ; VAL, C. ; THORUN, P. ; ABREU, V. ; BATISTA, P. ; MENDONCA, P. ; ALVES, V. ; RODRIGUES, M. ; PIMENTA, A. ; FRANCO, G. 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, M. A. ; TALIM, L. E. ; FARIA-CAMPOS, A. C. ; ROCHA, C. F. ; HANKE, L. A. ; TALIM, N. ; BATISTA, P. H. ; ARAUJO, C. R. ; KLEINPAUL, R. . NMO-DBr: the Brazilian Neuromyelitis Optica Database System. Arquivos de Neuro-Psiquiatria (Impresso), v. 69, p. 687-692, 2011.
FARIACAMPOS, A. C. ; GOMES, R. R. ; MORATELLI, F. ; ROLLA, A. ; FRANCO, G. 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.
ALFARO-ESPINOZA, E. ; PAIVA, L. F. ; FARIA-CAMPOS, A. ; BARACAT-PEREIRA, M. C. ; CAMPOS, S. V. A. . FluxPRT: An Adaptable and Extensible Proteomics LIMS. In: Brazilian Symposium of Bioinformatics, 2021, online. Advances in Bioinformatics and Computational Biology. Heidelberg: Springer, 2021. v. 13063. p. 125-130.
SILVA, A. S. F. ; BATISTA, P. H. ; COSTA, A. M. M. ; FARIACAMPOS, A. C. ; CAMPOS, S. 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.
FARIACAMPOS, A. C. ; RAUSCH-FERNANDES, H. ; GOMES, R. R. ; RATES, B. ; PIMENTA, A. ; FRANCO, G. 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.
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).
SIGLa:
O projeto SIGLa busca a construção de um LIMS para Biologia desenvolvido utilizando dados Proteômicos como modelo. SIGLa utiliza em seu núcleo um sistema de workflow, permitindo ao usuário critérios, parâmetros e instrumentos utilizados, bem como resultados encontrados publicações associados. O sistema foi desenvolvido utilizando uma interface web e usa o Shark como a primeira ferramenta para gestão do workflow. Posteriormente, as funcionalidades do sistema serão estendidas para incluir outros tipos de experimentações biológicas além da Proteômica.
Referências:
SIMOES, A. ; FARIACAMPOS, A. C ; DELAAT, D. M. ; ABREU, V. ; CAMPOS, S. V. A. . SIGLa: an adaptable LIMS for multiple laboratories. BMC Genomics, v. 11, p. 8, 2010.
Referências:
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.
Divulgação Científica:
Considerando-se o caráter acadêmico do trabalho feito no LUAR e a resposta a ser dada a sociedade sobre este trabalho, periodicamente o LUAR participa de eventos para divulgação científica. Esta participação tem a finalidade de divulgar os conhecimentos científicos gerados no LUAR para a sociedade, ajudar a democratizar o acesso ao conhecimento científico e inspirar pessoas a seguiterem a carreira científica. Um dos exemplos deste tipo de ação foram as reportagens do projeto “Computador Popular” coordenado pelo prof. Sérgio.
EMBRAER:
Aeronaves remotamente pilotadas têm se tornado mais importantes a cada dia. O desenvolvimento de um sistema para essas aeronaves tem um custo elevado devido ao potencial grande de número de erros e da dificuldade em encontrá-los e corrigí-los. Métodos tradicionais de análise e validação incluem testes e simulações, mas a cobertura de falhas destes métodos é muito baixa, porque o número de comportamento possível em um sistema aumenta exponencialmente enquanto oseu tamanho aumenta linearmente. Uma alternativa a estes métodos de validação tradicionais são métodos formais, que têm como característica explorar exaustivamente todas as possíveis execuções de um sistema avaliado. Desta forma, os resultados obtidos são garantidos, ao contrário de testes e simulações, que exploram somente uma parcela dos padrões possíveis. Algoritmos e estruturas de dados eficientes garantem que as ferramentas modernas podem ser capazes de analisar os sistemas de complexidade industrial. Este projeto tem como objetivo desenvolver uma metodologia baseada na aplicação de métodos formais para projetar e analisar sistemas de aeronaves remotamente pilotadas. Uma fase inicial a partir da modelagem de um sistema já existente, que será posteriormente refinado e acrescido de funcionalidades para gerar um sistema mais realista e adequado para aplicações reais da Embraer. Além disso, será desenvolvido no projeto uma ferramenta de tradução automática de descrições de sistemas aeronáuticos em Simulink para ferramentas de verificação formal, que permitir a automatização deste tipo de análise no futuro. Esperamos ao fim do projeto propor um sistema de aeronaves remotamente pilotadas que está correto por construção, e desenvolver ferramentas e metodologias que facilitam a aplicação destes métodos em outros tipos de sistemas aeronáuticos. A certificação de propriedades formais dar-se-á mediante a aplicação de duas técnicas bem conforme: a verificação de modelos, e a interpretação abstrata de programas.
Referências:
GUAJARDO, U. ; BRYAN, A. ; ARECHIGA, N. ; CAMPOS, S. V. A. ; CHOW, J. ; JACKSON, D. ; KONG, S. ; LITT, G. ; POLLOCK, J. . Certified Perception for Autonomous Cars. In: 6TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS, 2021, Nashville. PROCEEDINGS OF THE 6TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS, 2021.
SARDINHA, L. H. ; ORLANDI, V. B. ; VILELA NETO, O. ; CAMPOS, S. V. A. . Simplified Model for Automatic QCA Circuitry Verification. In: 30th Symposium on Integrated Circuits and System Design – SBCCI 2017, 2017, Fortaleza. Proceeding of the 30th Symposium on Integrated Circuits and System Design – SBCCI 2017, 2017.
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.
FERREIRA, B. ; CAMPOS, S. V. A. ; CUNHA, F. D. ; LOUREIRO, A. ; BRAZ, F. A. F. . Intelligent Service to Perform Overtaking in Vehicular Networks. In: ISCC 2015 – The Twentieth IEEE Symposium on Computers and Communications, 2015, Larnaca. Proceedings of the Twentieth IEEE Symposium on Computers and Communications, 2015.
FERREIRA, B. ; BRAZ, F. A. F. ; CAMPOS, S. V. A. . A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. In: Brazilian Symposium of Formal Methods, 2014. Proceedings of the Brazilian Symposium of Formal Methods, 2014.
BRAZ, F. A. F. ; FERREIRA, B. ; CAMPOS, S. 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.
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.
Referências:
VILALLONGA, G. D. ; RIESCO, D. E. ; ALMEIDA, A.C. G. ; RODRIGUES, A. M. ; CAMPOS, S. V. A. . In Silico Laboratory Experiments using Statistical Model Checking: A new model of the Palytoxin-Induced Pump Channel as Case Study. IEEE-ACM Transactions on Computational Biology and Bioinformatics, v. 1, p. 1-1, 2020.
VILALLONGA, G. D. ; DE ALMEIDA, A.C. G. ; RIBEIRO, K. T. ; CAMPOS, S. V. A. ; RODRIGUES, A. M. . Hypothesized diprotomeric enzyme complex supported by stochastic modelling of palytoxin-induced Na/K pump channels. Royal Society Open Science, v. 5, p. 172155, 2018.
BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, A. C ; CAMPOS, S. 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.
CREPALDE, M. A. ; FARIACAMPOS, A. C ; CAMPOS, S. V. A. . Modeling and analysis of cell membrane systems with probabilistic model checking. BMC Genomics, v. 12, p. S14, 2011.
MACIEL, W. D. ; FARIACAMPOS, A. C ; GONCALVES, M. A. ; CAMPOS, S. V. A. . Can the vector space model be used to identify biological entity activities? BMC Genomics, v. 12, p. S1, 2011.
Verificação Formal:
Verificação Formal é uma metodologia para modelar e análise de sistemas computadorizados e determinar se dadas propriedades são verdadeiras ou não no dado modelo. Os algoritmos de verificação exploram o espaço de estados do sistema exaustivamente e determinação com certeza a validade das propriedades para os modelos. Representações eficientes incluem solvers de BDD’s e SAT, e são capazes de analisar satisfatoriamente um número de sistemas reais complexos. Nesse projeto, estamos estudando novas representações para o modelo e novas formas de modelagem de sistemas para melhorar a eficiência de verificação.
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, O. ; YORAV, K. ; FADY, C. . 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.
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.
CONRADO, D. ; FARIACAMPOS, A. C. ; SERUFO, J. C. ; SANTOS, V. ; CAMPOS, S. V. A. . A System for Storage and Georeferenciation of Dengue Vector Surveillance. In: Medinfo ? World Congress on Medical and Health Informatics, 2021, Taiwan. Proceedings of the World Congress on Medical and Health Informatics, 2021.
FERREIRA, B. ; BRAZ, F. A. F. ; CAMPOS, S. V. A. ; 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.
DEMIAN O. ; BRAZ, F. A. F. ; FERREIRA, B. ; FARIACAMPOS, A. C ; CAMPOS, S. 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, A. C. ; CAMPOS, S. 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.
BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, A. C. ; CAMPOS, S. 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, A. C. ; CAMPOS, S. 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.
SILVEIRA, D. R. ; CAMPOS, S. 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.
CALDAS, R. ; BARRETO R. S. ; CORDEIRO, L. ; CAMPOS, S. V. A. . A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. In: IADIS Applied Computing Conference, 2011, Rio de Janeiro. Proceedings of the IADIS Applied Computing Conference, 2011.
GOMES, R. R. ; COTA, C. ; SONG, M. A. ; 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.
ARROS, H. ; CAMPOS, S. V. A. ; SONG, M. A. ; 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.
SILVA, E. S. E. ; LEAO, R. ; RIBEIRO NETO, B. ; CAMPOS, S. V. A. . Performance Issues of Multimedia Applications. In: IFIP International Symposium on Computer Performance Modeling, Measurement and Evaluation, 2002. Proceedings of the IFIP International Symposium on Computer Performance Modeling, Measurement and Evaluation, 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.
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, B. ; 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 manufacturing 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. ; 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. ; 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. . 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. ; 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.
CAMPOS, S. V. A. ; The Priority Inversion Problem and Real-Time Symbolici Model Cheking. EUA: Carnegie Mellon University, 1993 (Relatório Técnico).
Tecnologias para Transmissão Par a Par ao Vivo:
Este projeto tem como objetivo estudar e desenvolver técnicas para transmissão de vídeo ao vivo utilizando tecnologias par-a-par. No projeto foi desenvolvido um sistema para testes e estudados aspectos importantes como o comportamento dos nós, identificando os chamados “super nós” que contribuem em grande parte para o sucesso da transmissão. Sua identificação e localização na rede foram estudados para otimizar a transmissão. Outros aspectos são estudados como por exemplo o
efeito de poluição na transmissão, ocasionada por dados incorretos, transmitidos devido à erros ou por ação de agentes mal intencionados.
Referências:
MIGUEL, E. C. ; SILVA, C. M. ; COELHO, F. C. ; CUNHA, Í. F. S. ; CAMPOS, S. V. A. . Construction and maintenance of P2P overlays for live streaming. MULTIMEDIA TOOLS AND APPLICATIONS (DORDRECHT. ONLINE), v. -, p. -, 2021.
CAMPOS, S. V. A. ; VIEIRA, A. B. ; ALMEIDA, R. B. ; ALMEIDA, J. M. ; ALMEIDA, J. M. . SimplyRep: A simple and effective reputation system to fight pollution in P2P live streaming. Computer Networks (1999), v. 57, p. 1019-1036, 2013.
BORGES, A. ; GOMES, P. ; NACIF, J. ; MANTINI, R. ; ALMEIDA, J. M. ; CAMPOS, S. V. A. . Characterizing SopCast client behavior. Computer Communications, v. 35, p. 1004-1016, 2012.
CAMPOS, S. V.A. ; MINEA, M. . Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021. 1. ed. Heidelberg: Springer, 2021. v. 1. 149p.
MIGUEL, E. ; CARVALHO, F. ; MORGAN, B. ; CALADO, M. ; CUNHA, I. ; CAMPOS, S. V. A. . Join rate improvements in P2P live streaming based on topological aspects during Flash Crowds. In: XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017, Belém, PA. Anais do XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017.
MIGUEL, E. ; CUNHA, I. ; SILVA, C. ; CARVALHO, F. ; CAMPOS, S. V. A. . Resource-constrained P2P Streaming Overlay Construction for Efficient Joining Under Flash Crowds. In: The 22nd IEEE Symposium on Computers and Communications, 2017, Creta. Proceedings of the 22nd IEEE Symposium on Computers and Communications, 2017.
OLIVEIRA, J. ; CUNHA, I. ; MIGUEL, E. ; CAMPOS, S. V. A. . AERO: Adaptive Emergency Request Optimization in CDN-P2P Live Streaming. In: IEEE Globecom, 2017, Cingapura. Proceedings of the IEEE Globecom, 2017.
AMERICO, A. ; VAZ, A. ; ALVIM, M. S. ; CAMPOS, S. V. A. ; MCIVER, A. . Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. In: Simpósio Brasileiro de Métodos Formais, 2017, Recife. Anais do XX Simpósio Brasileiro de Métodos Formais, 2017. p. 142-158.
MIGUEL, E. ; CUNHA, I. ; CAMPOS, S. V. A. . Ingressos em Redes P2P para Vídeo ao Vivo. In: Workshop de Redes P2P, Dinâmicas, Sociais e Orientadas a Conteúdo, 2016, Salvador. Anais do Workshop de Redes P2P, Dinâmicas, Sociais e Orientadas a Conteúdo, 2016.
OLIVEIRA, J. ; MIGUEL, E. ; CUNHA, I. ; VIEIRA, A. B. ; ROCHA, M. V. ; CAMPOS, S. 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.
GOMES, P. ; VIEIRA, A. B. ; CAMPOS, S. V. A. . 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, A. ; 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, A. ; 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.
OLIVEIRA, J. ; BORGES, A. ; GOMES, P. ; CAMPOS, S. V. A. ; CAMPOS, S. V. A. . 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, A. ; 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, A. ; 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.
VIEIRA, A. B. ; GOMES, P. ; ROCHA, M. ; ALMEIDA, J. ; CAMPOS, S. V. A. . A behaviour model of the SopCast users. In: the XV Brazilian Symposium, 2009, Fortaleza. Proceedings of the XV Brazilian Symposium on Multimedia and the Web – WebMedia ’09, 2009. p. 1.
VIEIRA, A. B. ; CAMPOS, S. V. A. ; ALMEIDA, J. . Fighting Attacks in P2P Live Streaming. Simpler is Better. In: IEEE INFOCOM 2009 IEEE Conference on Computer Communications Workshops, 2009, Rio de Janeiro. IEEE INFOCOM Workshops 2009, 2009. p. 1.
CAMPOS, S.; NEVES, J. ; ZARATE, L. ; SONG, M. . Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. In: 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), 2009, San Francisco. 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009. p. 89.
BORGES, A. ; 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.
BORGES, A. ; 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.
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, A. ; SONG, M. A. ; 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, M. A. ; PEREIRA, A. ; 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, A. C. ; CAMPOS, S. V. A. ; FRANCO, G. R. ; ORTEGA, J. 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, M. P. ; FERNANDES, A. 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, A. B. ; 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, A. ; SONG, M. A. ; 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, M. P. ; FERNANDES, A. O. ; CAMPOS, S. V. A. ; ZUQUIM, A. L. ; MATA, J. 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, M. P. ; FERNANDES, A. O. ; CAMPOS, S. V. A. ; ZUQUIM, A. L. . 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, D. A. S. ; VIEIRA, A. B. ; RIBEIRO NETO, B. ; 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.
SANTOS, D. A. S. ; BORGES, A. ; RIBEIRO, M. ; CARAM, J. ; RIBEIRO NETO, B. ; 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.
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.
OLIVEIRA, J. ; VIANA, R. ; BORGES, A. ; ROCHA, M. V. ; CAMPOS, S. 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.
Referências:
MEIRA, W. ; MURTA, C. ; CAMPOS, S. V. A. ; GUEDES, D. O. . Comércio Eletrônico: projeto e desenvolvimento. Editora Campus, 2002.
SONG, M. A. ; PEREIRA, A. ; GORGULHO, G. ; 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, M. A. ; PEREIRA, A. ; LIMA, F. ; GORGULHO, G. ; 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.
Comércio Eletrônico:
Este projeto estuda maneiras eficientes para o desenvolvimento de sistemas de comércio eletrônico, com ênfase no uso de métodos formais para garantir a corretude dos sistemas desenvolvidos.
SONG, M. A. ; PEREIRA, A. ; LIMA, F. ; GORGULHO, G. ; 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.
PEREIRA, A. ; SONG, M. A. ; MEIRA, W. ; CAMPOS, S. V. A. . Formal-CAFE Methodology: an E-commerce System? s Case Study. In: International Conference on Electronic Commerce Research, 2003. Proceedings of the International Conference on Electronic Commerce Research, 2003.
PEREIRA, A. ; SONG, M. A. ; GORGULHO, G. ; MEIRA, W. ; CAMPOS, S. V. A. . A formal methodology to specify e-commerce systems. In: International Conference on Formal Engineering Methods, 2002, 2002.
PEREIRA, A. ; SONG, M. A. ; GORGULHO, G. ; MEIRA, W. ; CAMPOS, S. V. A. . A formal specification methodology for e-commerce systems. In: International Conference on Electronic Commerce Research, 2002, 2002.
SONG, M. A. ; PEREIRA, A. ; GORGULHO, G. ; MEIRA, W. ; CAMPOS, S. V. A. . Model checking patterns for e-commerce systems. In: First Seminar on Advanced Research in Eletronic Business, 2002, 2002.