Alessandro Cimatti

Novos métodos melhoram a compreensão de sistemas lineares Max-Plus em várias aplicações.

Este artigo analisa a verificação de invariantes em sistemas com estados infinitos usando dois algoritmos.

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