Martin Zimmermann

Uma olhada em métodos de monitoramento em tempo real para desempenho do sistema e segurança.

Descubra como a verificação de modelo HyperLTL melhora a segurança dos sistemas de software.

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

Um olhar sobre técnicas de monitoramento para desempenho confiável de sistemas em tempo real.

A semântica de equipe melhora a verificação de propriedades complexas em sistemas de software.