@InProceedings{Ferrando20a,
author="Ferrando, Angelo
and Cardoso, Rafael C.
and Fisher, Michael
and Ancona, Davide
and Franceschini, Luca
and Mascardi, Viviana",
title="ROSMonitoring: A Runtime Verification Framework for ROS",
booktitle="Towards Autonomous Robotic Systems",
year="2020",
publisher="Springer International Publishing",
address="Cham",
pages="387--399",
doi="10.1007/978-3-030-63486-5_40",
isbn="978-3-030-63486-5",
note = {[<span class="fs">FAIR-SPACE</span>, <span class="rain">RAIN</span>, <span class="orca">ORCA</span>]}
}

{"_id":"yFRw6fmfXtazW5ist","bibbaseid":"ferrando-cardoso-fisher-ancona-franceschini-mascardi-rosmonitoringaruntimeverificationframeworkforros-2020","authorIDs":["5YE3qpYL4JZhdYhHi","65scCLCSXnv4KtdNN","Aqb5WGvvm5jTkproZ","BSvSYiAadyXLqzyTT","D5nD7iE8ftrCK3tAa","FiWWhgjiMgfaEjPn6","JETWEoCYwoFLNdgkn","MoNWo7scHtHEjwwAS","QCJzkZ4nx3oTc3jxP","T5dyRj6PXDFb2dBYu","ave2ormdgifxS5Q83","ke9rmTz2zgxMFDJnj","vYzJ2wzB3yovsNA2Y","zYL76LnrArjuMxrGp","zmdxRffuQ48hM88AJ"],"author_short":["Ferrando, A.","Cardoso, R. C.","Fisher, M.","Ancona, D.","Franceschini, L.","Mascardi, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Ferrando"],"firstnames":["Angelo"],"suffixes":[]},{"propositions":[],"lastnames":["Cardoso"],"firstnames":["Rafael","C."],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Ancona"],"firstnames":["Davide"],"suffixes":[]},{"propositions":[],"lastnames":["Franceschini"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Mascardi"],"firstnames":["Viviana"],"suffixes":[]}],"title":"ROSMonitoring: A Runtime Verification Framework for ROS","booktitle":"Towards Autonomous Robotic Systems","year":"2020","publisher":"Springer International Publishing","address":"Cham","pages":"387–399","doi":"10.1007/978-3-030-63486-5_40","isbn":"978-3-030-63486-5","note":"[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>, <span class=\"orca\">ORCA</span>]","bibtex":"@InProceedings{Ferrando20a,\nauthor=\"Ferrando, Angelo\nand Cardoso, Rafael C.\nand Fisher, Michael\nand Ancona, Davide\nand Franceschini, Luca\nand Mascardi, Viviana\",\ntitle=\"ROSMonitoring: A Runtime Verification Framework for ROS\",\nbooktitle=\"Towards Autonomous Robotic Systems\",\nyear=\"2020\",\npublisher=\"Springer International Publishing\",\naddress=\"Cham\",\npages=\"387--399\",\ndoi=\"10.1007/978-3-030-63486-5_40\",\nisbn=\"978-3-030-63486-5\",\nnote = {[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>, <span class=\"orca\">ORCA</span>]}\n}\n\n","author_short":["Ferrando, A.","Cardoso, R. C.","Fisher, M.","Ancona, D.","Franceschini, L.","Mascardi, V."],"key":"Ferrando20a","id":"Ferrando20a","bibbaseid":"ferrando-cardoso-fisher-ancona-franceschini-mascardi-rosmonitoringaruntimeverificationframeworkforros-2020","role":"author","urls":{},"metadata":{"authorlinks":{"cardoso, r":"https://bibbase.org/show?bib=https://rafaelcaue.github.io/publications.bib"}},"downloads":15},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","creationDate":"2020-05-12T08:15:37.780Z","downloads":15,"keywords":[],"search_terms":["rosmonitoring","runtime","verification","framework","ros","ferrando","cardoso","fisher","ancona","franceschini","mascardi"],"title":"ROSMonitoring: A Runtime Verification Framework for ROS","year":2020,"dataSources":["AdmcuDNM8GSatWG9Y","sf65xF3tXwz6TBuoQ","jkPac6coMCnfPS9v6","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend","hbmDF3mowSFP7RzLi","X6oai84Gqtg82PfJ8","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"]}