Swen Jacobs

Um estudo sobre métodos de aprendizado para protocolos de broadcast em sistemas complexos.

Examinando como autômatos de limiar melhoram a verificação de algoritmos distribuídos.

Uma olhada em redes temporais disjuntivas e seus métodos de verificação.

Uma visão geral dos sistemas parametrizados e seus desafios de verificação.