Rómulo Gadelha de Moura Lima

According to our database, Rómulo Gadelha de Moura Lima authored at least 2 papers in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact).

Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilásio Costa Junior

Dagstuhl Artifacts Ser., 2017

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

Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilásio Costa Junior

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017