@inproceedings{monteiro2016,
  title={Lotus@Runtime: Uma Ferramenta para Monitoramento e Verificação em Tempo de Execução para Sistemas Autoadaptativos. In: Simpósio Brasileiro de Computação Ubíqua e Pervasiva},
  author={D. Monteiro and R. G. D. M. Lima and P. H. M. Maia and E. Costa},
  booktitle={VIII Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP)},
  year={2016}
}

{"_id":"Kn798WWjgGHLsrkhK","bibbaseid":"monteiro-lima-maia-costa-lotusruntimeumaferramentaparamonitoramentoeverificaoemtempodeexecuoparasistemasautoadaptativosinsimpsiobrasileirodecomputaoubquaepervasiva-2016","downloads":0,"creationDate":"2018-12-05T11:21:29.458Z","title":"Lotus@Runtime: Uma Ferramenta para Monitoramento e Verificação em Tempo de Execução para Sistemas Autoadaptativos. In: Simpósio Brasileiro de Computação Ubíqua e Pervasiva","author_short":["Monteiro, D.","Lima, R. G. D. M.","Maia, P. H. M.","Costa, E."],"year":2016,"bibtype":"inproceedings","biburl":"http://davimonteiro.github.io/references.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Lotus@Runtime: Uma Ferramenta para Monitoramento e Verificação em Tempo de Execução para Sistemas Autoadaptativos. In: Simpósio Brasileiro de Computação Ubíqua e Pervasiva","author":[{"firstnames":["D."],"propositions":[],"lastnames":["Monteiro"],"suffixes":[]},{"firstnames":["R.","G.","D.","M."],"propositions":[],"lastnames":["Lima"],"suffixes":[]},{"firstnames":["P.","H.","M."],"propositions":[],"lastnames":["Maia"],"suffixes":[]},{"firstnames":["E."],"propositions":[],"lastnames":["Costa"],"suffixes":[]}],"booktitle":"VIII Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP)","year":"2016","bibtex":"@inproceedings{monteiro2016,\n title={Lotus@Runtime: Uma Ferramenta para Monitoramento e Verificação em Tempo de Execução para Sistemas Autoadaptativos. In: Simpósio Brasileiro de Computação Ubíqua e Pervasiva},\n author={D. Monteiro and R. G. D. M. Lima and P. H. M. Maia and E. Costa},\n booktitle={VIII Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP)},\n year={2016}\n}\n\n","author_short":["Monteiro, D.","Lima, R. G. D. M.","Maia, P. H. M.","Costa, E."],"key":"monteiro2016","id":"monteiro2016","bibbaseid":"monteiro-lima-maia-costa-lotusruntimeumaferramentaparamonitoramentoeverificaoemtempodeexecuoparasistemasautoadaptativosinsimpsiobrasileirodecomputaoubquaepervasiva-2016","role":"author","urls":{},"metadata":{"authorlinks":{}}},"search_terms":["lotus","runtime","uma","ferramenta","para","monitoramento","verifica","tempo","execu","para","sistemas","autoadaptativos","simp","sio","brasileiro","computa","qua","pervasiva","monteiro","lima","maia","costa"],"keywords":[],"authorIDs":[],"dataSources":["EMCjmq4MtEcbDxzMt"]}