Kim Guldstrand Larsen

Explore como a Verificação em Tempo de Execução ajuda a checar o desempenho do sistema através de rastros de eventos.

Um novo framework melhora a segurança nos carros autônomos usando métodos formais.

Uma nova abordagem para gerenciar a voltagem em sistemas de energia usando Gumbel-Consistency Digital Twin.