Davi Monteiro
Davi Monteiro
PhD Student, Lero research centre, University of Limerick
Verified email at lero.ie - Homepage
TitleCited byYear
Lotus@ runtime: a tool for runtime monitoring and verification of self-adaptive systems
DM Barbosa, RGDM Lima, PHM Maia, E Costa
2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017
132017
Beethoven: an event-driven lightweight platform for microservice orchestration
D Monteiro, R Gadelha, PHM Maia, LS Rocha, NC Mendonça
European Conference on Software Architecture, 191-199, 2018
32018
An analysis of the empirical Software Engineering over the last 10 editions of Brazilian Software Engineering Symposium
D Monteiro, R Gadelha, T Alencar, B Neves, I Yeltsin, T Gomes, M Cortés
Proceedings of the 31st Brazilian Symposium on Software Engineering, 44-53, 2017
32017
Uma abordagem baseada em eventos para adaptaç ao automática de aplicaç oes para a nuvem
MA Vasconcelos, DM Barbosa, PHM Maia, NC Mendonça
VEM 2013: I Workshop Brasileiro de Visualizaçao, Evoluçao e Manutençao de …, 2013
12013
Lotus@ Runtime: Uma Ferramenta para Monitoramento e Verificação em Tempo de Execução para Sistemas Autoadaptativos
DM Barbosa, PHM Maia, EC Júnior
Anais do VIII Simpósio Brasileiro de Computação Ubíqua e Pervasiva, 120-129, 2020
2020
Scen@ rist: an approach for verifying self-adaptive systems using runtime scenarios
R Gadelha, L Vieira, D Monteiro, F Vidal, PH Maia
Software Quality Journal, 1-43, 0
The system can't perform the operation now. Try again later.
Articles 1–6