membro de https://brcris.ibict.br/individual/comm_ee459614-d3fc-461b-b7eb-f628e356a377 Centro de Tecnologia Biomédica (CTBio-UFMG) Grupo de Pesquisa Engenharia de Computadores Grupo de Pesquisa Verificação Automática Grupo de Pesquisa
publicações selecionadas PALETA - A System for Cell Library Generation Analysis and Synthesis of Concurrent Digital Circuits Using Control-Flow Expressions
theses/dissertations advising LACCES: Uma Ferramenta para a Descrição da Arquitetura de Sistemas Embutidos LifeWear: Monitor de Sinais Vitais Multiparamétrico Vestível Gerenciamento Dinâmico de Energia em Redes de Sensores Sem Fio: Uma Abordagem Orientada à Aplicação PEARL - Instrumentação de Sistemas Embutidos em Java Gerência de Energia Baseada em Adaptação de QoS em Sistemas Embutidos de Tempo Real Um núcleo inteligente para processamento distribuído de resolvedores SAT em verificação por equivalência SIMCOR ? Sistema de Monitoramento Remoto de Sinais Cardiovasculares Sistema de Monitoramento Remoto de Sinais Cardiovasculares Desenvolvimento de Dispositivo Nó-Sensor com Arquitetura Reconfigurável Telefonia IP para Ambientes Móveis Usáveis SaPHIRE - Um sistema de prototipação em hardware/software reconfigurável Processo para aquisição de produtos e serviços de software para administração pública do Estado de Minas Gerais BeanWatcher: Uma Ferramenta para Geração de Aplicações de Monitoração em Ambientes Sem Fio Agente Proxy Embutido para Gerência de UPS Um protocolo de roteamento para sistemas embutidos distribuidos Um sistema de monitoramento remoto de pacientes usando rede sem fio Análise de Algoritmos SAT para verificação de problemas multivalorados Projeto de Sistemas a Nivel Conceitual Análise de Algoritmos SAT para Resolução de Problemas Multivalorados Desenvolvimento de Dispositivo Nó Sensor com Arquitetura Reconfigurável para Redes de Sensores sem Fio Saphire: Sistema de Prototipação em Hardware reconfigurável Aplicações MIDP em Aparelhos Móveis Celulares e Monitoramento Remoto de Bio-Sinais: Considerações e Desenvolvimento de uma Solução. PEARL - Instrumentação Virtual de Sistemas Embutidos em Java SNMP para Asserções em Hardware Uma Arquitetura Reconfiguravel Para Prototipacao de Sistemas de Hardware e Software Telefonia IP para Ambientes Móveis Compactos Processador de asserções para depuração de circuitos integrados em tempo de execução Geração e Otimização de Código para Sistemas Embutidos Especificado sem SDL Data Fusion Implementation in Sensor Networks applyed to Health Monitoring Fusão de Dados para Rede de Sensores Aplicada à Monitoração Pessoal de Saúde JADE - Um Ambiente Integrado para Especificação, Simulação e Validação de Sistemas Reativos Beanwatcher: uma ferramenta para o desenvolvimento de aplicações de monitoração em redes de sensores sem fio Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalências "Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal"