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

Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems. Barbosa, D. M., de Moura Lima, R. G., Maia, P. H. M., & Junior, E. C. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, of SEAMS '17, pages 24–30, Piscataway, NJ, USA, 2017. IEEE Press.
doi bibtex

@inproceedings{monteiro2017a,
 author = {Barbosa, Davi Monteiro and de Moura Lima, R\^{o}mulo Gadelha and Maia, Paulo Henrique Mendes and Junior, Evil\'{a}sio Costa},
 title = {Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems},
 booktitle = {Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems},
 series = {SEAMS '17},
 year = {2017},
 isbn = {978-1-5386-1550-8},
 location = {Buenos Aires, Argentina},
 pages = {24--30},
 numpages = {7},
 doi = {10.1109/SEAMS.2017.18},
 acmid = {3105508},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA}
}

Downloads: 0

{"_id":"xj77xxwnafgS2Luij","bibbaseid":"barbosa-demouralima-maia-junior-lotusruntimeatoolforruntimemonitoringandverificationofselfadaptivesystems-2017","downloads":0,"creationDate":"2018-12-05T11:21:29.456Z","title":"Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems","author_short":["Barbosa, D. M.","de Moura Lima, R. G.","Maia, P. H. M.","Junior, E. C."],"year":2017,"bibtype":"inproceedings","biburl":"http://davimonteiro.github.io/references.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Barbosa"],"firstnames":["Davi","Monteiro"],"suffixes":[]},{"propositions":["de"],"lastnames":["Moura","Lima"],"firstnames":["Rômulo","Gadelha"],"suffixes":[]},{"propositions":[],"lastnames":["Maia"],"firstnames":["Paulo","Henrique","Mendes"],"suffixes":[]},{"propositions":[],"lastnames":["Junior"],"firstnames":["Evilásio","Costa"],"suffixes":[]}],"title":"Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems","booktitle":"Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","series":"SEAMS '17","year":"2017","isbn":"978-1-5386-1550-8","location":"Buenos Aires, Argentina","pages":"24–30","numpages":"7","doi":"10.1109/SEAMS.2017.18","acmid":"3105508","publisher":"IEEE Press","address":"Piscataway, NJ, USA","bibtex":"@inproceedings{monteiro2017a,\n author = {Barbosa, Davi Monteiro and de Moura Lima, R\\^{o}mulo Gadelha and Maia, Paulo Henrique Mendes and Junior, Evil\\'{a}sio Costa},\n title = {Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems},\n booktitle = {Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems},\n series = {SEAMS '17},\n year = {2017},\n isbn = {978-1-5386-1550-8},\n location = {Buenos Aires, Argentina},\n pages = {24--30},\n numpages = {7},\n doi = {10.1109/SEAMS.2017.18},\n acmid = {3105508},\n publisher = {IEEE Press},\n address = {Piscataway, NJ, USA}\n}\n\n","author_short":["Barbosa, D. M.","de Moura Lima, R. G.","Maia, P. H. M.","Junior, E. C."],"key":"monteiro2017a","id":"monteiro2017a","bibbaseid":"barbosa-demouralima-maia-junior-lotusruntimeatoolforruntimemonitoringandverificationofselfadaptivesystems-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["lotus","runtime","tool","runtime","monitoring","verification","self","adaptive","systems","barbosa","de moura lima","maia","junior"],"keywords":[],"authorIDs":[],"dataSources":["EMCjmq4MtEcbDxzMt"]}