Rómulo Gadelha de Moura Lima

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Learning Algorithm

Intelligent Systems

Top Venues

Dagstuhl Artifacts Ser.

Publications

Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilásio Costa Junior
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems. SEAMS@ICSE (2017)
Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilásio Costa Junior
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact). Dagstuhl Artifacts Ser. 3 (1) (2017)