Cristiano Bertolini

Produção Bibliográfica

    2019 (Total: 2)
  • ISSN FERRAMENTA PARA APOIO AO SUPORTE TÉCNICO EM UMA REDE FTTX EMPREGANDO RACIOCÍNIO BASEADO EM CASOS (REVISTA DE SISTEMAS E COMPUTAÇÃO - RSC)
  • ISSN Protótipo de um Aplicativo Mobile para Reconhecimento de Vestimenta para Pessoas Cegas (REVISTA EDUCAÇÃO ESPECIAL)
    2018 (Total: 2)
  • ISSN Desenvolvimento de uma Ferramenta Web para Migração e Visualização de Dados Abertos do DATASUS (REVISTA ELETRÔNICA DE SISTEMAS DE INFORMAÇÃO E GESTÃO TECNOLÓGICA)
  • ISSN Um estudo sobre Técnicas de Teste de Software no Framework Laravel (REVISTA ELETRÔNICA DE SISTEMAS DE INFORMAÇÃO E GESTÃO TECNOLÓGICA)
    2017 (Total: 2)
  • ISSN DISCIPLINA DE PROJETO DE SOFTWARE DO CURSO DE SISTEMAS DE INFORMAÇÃO: relato de experiências realizadas (REVISTA DA UNIVERSIDADE VALE DO RIO VERDE)
  • ISSN INDISSOCIABILIDADE ENTRE ENSINO, PESQUISA E EXTENSÃO: Relato de Experiências do Curso de Sistemas de Informação da UFSM/Frederico Westphalen (Revista de Extensão da UNESC)
    2016 (Total: 1)
  • ISSN Implementação do Nível G do MPS.BR na Empresa Digifred Sistemas (REVISTA ELETRÔNICA ARGENTINA-BRASIL DE TECNOLOGIAS DA INFORMAÇÃO E DA COMUNICAÇÃO)
    2015 (Total: 2)
  • ISSN Formação docente na área de informática: a experiência do Curso de Sistemas de Informação da UFSM Frederico Westphalen (Experiência. Revista Científica de Extensão)
  • ISSN Uma Proposta de um Processo de Teste em uma Empresa de Pequeno Porte (Revista Junior de Iniciação Científica em Ciências Exatas e Engenharia)
    2008 (Total: 1)
  • ISSN Uma Estratégia para teste de Conformidade Automático em Sistemas Embarcados (Internacional Qualis C). (Revista IEEE América Latina)
    2019 (Total: 1)
  • ISSN Um estudo sobre governança de tecnologia da informação no campus de Frederico Westphalen-RS da Universidade Federal de Santa Maria (NAVUS Revista de Gestão e Tecnologia)
    2019 (Total: 1)
  • Ensino de Lógica de Programação para Cegos (Promoção da Aprendizagem e Tecnologias Educacionis: Aprendizagem no Ensino Superior, Acessibilidade e Ações Afirmativas)
    2013 (Total: 1)
  • Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets (Foundations of Health Information Engineering and Systems)
    2012 (Total: 3)
  • Infeasible Code Detection (Verified Software: Theories, Tools, Experiments)
  • Towards a Formal Integrated Model of Collaborative Healthcare Workflows (Foundations of Health Informatics Engineering and Systems)
  • Trends in Model-based GUI Testing (Advances in Computers)
    2017 (Total: 3)
  • Introdução a algoritmos
  • Lógica Matemática
  • Matemática I
    2018 (Total: 2)
  • Educação a Distância, Sala de Aula Invertida e Aprendizagem Baseada em Problemas: possibilidades para o ensino de programação de computadores (VII Congresso Brasileiro de Informática na Educação)
  • Potencialidades e Desafios do Curso de Licenciatura em Computação a Distância da UFSM/UAB (VII Congresso Brasileiro de Informática na Educação)
    2017 (Total: 2)
  • Análise de Desempenho e de Dados de um Provedor de Internet (15ª Escola Regional de Redes de Computadores)
  • Avaliação Experimental dos Brokers Apache Flume e Kafka no Contexto de Big Data (15ª Escola Regional de Redes de Computadores)
    2015 (Total: 3)
  • Análise Comparativa dos Acidentes de Trabalho no Brasil a partir de Dados Abertos (Computer on the Beach 2015)
  • FredSaúde: Sistema de Mapeamento de Saúde do Município de Frederico Westphalen (VI Encontro Anual de Tecnologia da Informação)
  • Um Sistema para Visualização e Monitoramento dos Casos de Malária no Brasil (Computer on the Beach 2015)
    2012 (Total: 2)
  • doi COMPASS tool vision for a system of systems Collaborative Development Environment (2012 7th International Conference on System of Systems Engineering (SoSE))
  • doi Lightweight Static Analysis for GUI Testing (2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE))
    2011 (Total: 1)
  • Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation (IEEE International Conference on Software Testing Verification and Validation Workshop)
    2010 (Total: 3)
  • doi A Framework for GUI Testing Based on Use Case Design (2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW))
  • doi Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis (2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE))
  • International Conference on Software Testing, Verification and Validation (International Conference on Software Testing, Verification and Validation (ICST))
    2009 (Total: 2)
  • doi An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (2009 International Conference on Software Testing Verification and Validation (ICST))
  • doi Using Probabilistic Model Checking to Evaluate GUI Testing Techniques ()
    2008 (Total: 1)
  • Using Refinement Checking as System Testing (XI Iberoamerican Workshop on Requirements Engineering and Software Environments)
    2004 (Total: 2)
  • Structured Stochastic Modeling of Fault-Tolerant Systems (12th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS))
  • Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis (2nd IEEE International Conference on Software Enginerring and Formal Methods)
    2000 (Total: 1)
  • Análise Estruturada e Análise Orientada a Objetos: um estudo comparativo (II Simpósio de Informática do Planalto Médio)
    2014 (Total: 2)
  • Sistema para Visualização dos Casos de Malária no Brasil. (V Encon- tro Anual de Tecnologia da Informação (EATI))
  • Visualização de Dados Sobre Acidentes de Trabalho (V Encon- tro Anual de Tecnologia da Informação (EATI))
    2000 (Total: 6)
  • Análise Estruturada e Análise Orientada a Objetos: um Estudo Comparativo (XII Mostra e Salão de Iniciação Científica da UFRGS)
  • Implementação de um Protocolo para Gerenciamento de Arquivos Replicados (I Salão de Iniciação Científica da PUCRS)
  • Investigando a UML Através de um Estudo Prático (X Mostra de Iniciação Científica)
  • O Uso de Técnicas de Replicação de Arquivos em Aplicações Web (XV Jornada Acadêmica Integrada)
  • Um Caso de Estudo Usando UML (VI Seminário de Iniciação Científica - UNISC)
  • Um Modelo de Replicação de Arquivos Usando Java RMI (XV Congresso Regional de Iniciação Científica e Tecnológica em Engenharia e I Feira de Protótipos)

Produção Técnica

    2015 (Total: 1)
  • VI Encontro Anual de Tecnologia da informação
    2014 (Total: 1)
  • V Encontro Anual de Tecnologia da informação
    2007 (Total: 1)
  • Pernambuco School on Software Engineering (PSSE 2007)
    2001 (Total: 1)
  • IX Escola Regional de Informática da SBC - Região Sul
    2015 (Total: 6)
  • I Encontro do grupo de Desenvolvederos Google do Médio Alto Uruguai
  • II Encontro do grupo de Desenvolvederos Google do Médio Alto Uruguai
  • III Jornada Acadëmica de Sistemas de Informação
  • IV Workshop de Qualificação Docente do Curso de Sistemas de Informação
  • Semana Nacional da Pessoa com Deficiëncia Intelectual e Múltipla 2015: Acessibilidade Digital
  • V Encontro do grupo de Desenvolvederos Google do Médio Alto Uruguai
    2014 (Total: 1)
  • II Jornada Acadëmica de Sistemas de Informação
    2012 (Total: 3)
  • EATI 2012 - Comitê Técnico do Programa
  • ICST 2013 - Program Committee
  • TESTBEDS 2013 - Program Committee
    2011 (Total: 2)
  • EATI 2011 - Comitê Técnico do Programa
  • TESTBEDS 2011 - Program Committee
    2013 (Total: 2)
  • Projeto para Criação do Polo de EaD da UAB/UFSM em Frederico Westphalen
  • Projeto Pedagógico do Curso de Licenciatura em Computação (EaD) - CESNORS/UFSM
    2019 (Total: 1)
  • Revisor de periódico 'Information and Software Technology'
    2018 (Total: 1)
  • Revisor de periódico 'Information and Software Technology'
    2017 (Total: 1)
  • Revisor de periódico 'Information and Software Technology'
    2016 (Total: 1)
  • Revisor de periódico 'Information and Software Technology'
    2015 (Total: 1)
  • Revisor de periódico 'Information and Software Technology'
    2014 (Total: 1)
  • Revisor de periódico 'Information and Software Technology'
    2013 (Total: 1)
  • Revisor de periódico 'Information and Software Technology'
    2012 (Total: 1)
  • Revisor de periódico 'Innovations in Systems and Software Engineering (Print)'

Produção Artística

Não informado

Orientações Concluídas

    2019 (Total: 1)
  • ColabAD: Sistema Colaborativo de Audiodescrição
    2018 (Total: 3)
  • Proposta de uma Criptomoeda para Gamificação de Eventos
  • Sistema de Coleta de informações para Inventário Florestal
  • Sistema de Diagnóstico do protocolo de comunicação DMX
    2017 (Total: 1)
  • Uma Proposta de Integração de Processo e Ferramentas de Teste de Software no Framework Laravel
    2016 (Total: 4)
  • Análise de Desempenho e de Dados de um Provedor de Internet
  • Avaliação dos Brokers Kafka e Apache Flume no Contexto de Big Data
  • Desenvolvimento de um Aplicativo para Reconhecimento e Sugestão de Cores para Deficientes Visuais
  • Um Sistema Web para Visualização de Dados do DATASUS
    2015 (Total: 3)
  • Formal Analysis of a Bio-Inspired Wireless Sensor Network Routing Algorithm
  • Governança de TI: um Estudo na UFSM campus Frederico Westphalen
  • Um Processo de Classificação de Regras de Acessibilidade
    2014 (Total: 2)
  • Implementação do MPS.BR na empresa Digifred Sistemas para Gestão Pública: Um Estudo de Caso
  • Uma Proposta de um Processo de Teste em uma Empresa de Pequeno Porte
    2009 (Total: 2)
  • Desenvolvimento de Aplicações em Android
  • Uma Análise de Metodologias Ágeis no Desenvolvimento de Software
    2008 (Total: 1)
  • Aplicando Teste de Usabilidade como Critério para Avaliação de Sistemas: um Estudo de Caso