Research
Current Projects
 |
|
Research interests
- Modeling and Simulation – (Discrete, Parallel, and Distributed)
- Embedded Systems Safety (testing and formal methods)
- Embedded System Design
- Model-Driven Development for Real-time Embedded Systems
Former Projects
- Model-Driven Development for Microcontroller Bootloaders
- Simulation of Joinville City’s Vehicles Traffic
- Rota 2030
- Machine Learning Infrastructure
Undergraduate thesis
- Aplicação da identificação de sistemas para estimação das derivadas de estabilidade e controle de aeronaves de asa fixa. Autor: José Rian Viana Vasconcelos
- Detecção de objetos utilizando sensor LiDAR. Autora: Eloiza Heerdt
- Desenvolvimento de um protótipo de um sistema de controle de acesso via RFID. Autor: Fernando Mendes Peixer
- Arquitetura de comunicação automotiva aplicada para kart elétrico. Autor: Eryk Kooshin Suguiura
- Comunicação entre OPC UA e Modbus TCP. Autor: Gabriel Luiz Martins
- Desenvolvimento de um sistema de monitoramento de máquinas elétricas conectadas para Internet das Coisas Industriais. Autora: Anna Julia Zanotti
- Modelo Baseado em Aprendizado de Máquina para Detecção de Anomalias em Veículos Autônomos. Autora: Tuane Sampaio Machado
- Detecção de anomalias aplicada em internet das coisas industriais. Autor: Vitor Ângelo Russi
- Sistema de Aprendizado de Máquina como Apoio ao Monitoramento de Saúde Estrutural. Autora: Ana Carolina Ribeiro Albino
- Operadores de mutação para modelos de sistemas reativos. Autor: Paulo Henrique Alves Kammradt
- Desenvolvimento de testes para programas em CLP via OPC-UA. Autor: Lucas Jorjan Alves
- Infraestrutura de monitoramento e operação para aprendizado de máquina. Autor: Victor Wilvert Antunes
- Geração de Código Usando Diagramas de Atividade para Sistemas Embarcados. Autor: Jean Marcelo Mira Junior
- Desenvolvimento de uma aplicação web para conversão de modelos utilizando a metodologia BDUF. Autor: Danilo José da Silva
- Plataforma baseada em microserviços para gerenciamento de transformações de modelos. Autor: Samuel Possamai
- Critérios para geração de casos de teste baseados em modelos descritos em PcML. Autora: Beatriz Aruk da Silva
- Desenvolvimento Dirigido a Modelo Para Bootloader de Microcontrolador. Autor: André Luigi Bonote
- Indústria 4.0: adaptação de um modelo de maturidade. Autor: Saúl Andrés Serrano Ossorio
- Modelo de Referência para interface homem máquina no CLP. Autora: Sofia Tami Kitayama Rocha (“Láurea Acadêmica”)
- Desenvolvimento do controle eletrônico do acelerador. Autor: Marco Antônio Zolett Rosso
- Dynamic Response and Pitch Damper Design for a Moderately Flexible, High-Aspect Ratio Aircraft. Autor: Hermann Luis Lebkuchen
- Desenvolvimento de uma tomada conectada com autodiagnóstico para a internet das coisas. Autor: Breno Castro Cardoso
- Modelagem para avaliação de desempenho da rede semafórica de Joinville. Autora: Camila Feliciano
- Implantação e monitoramento de ponta a ponta para sistemas distribuídos remotos. Autora: Vitoria Sedrez
- Aplicação do simulador de tráfego MATSim à cidade de Joinville/SC. Autor: Davi Guggisberg Bicudo
- Modelagem para o cálculo da confiabilidade do tempo de viagem do transporte coletivo por ônibus. Autora: Ana Paula Nunes Duarte
Master Thesis
- Transformação de requisitos escritos em português para propriedades lógicas temporais. Autora: Mariana Araújo Tavares Sathler
