Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems.

Davi Monteiro Barbosa, Rmulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilsio Costa Junior

Browse the full ICSE paper archive.