@inproceedings{DBLP:journals/corr/abs-2411-14367,
  author       = {Maryam Ghaffari Saadat and
                  Angelo Ferrando and
                  Louise A. Dennis and
                  Michael Fisher},
  editor       = {Matt Luckcuck and
                  Mengwei Xu},
  title        = {ROSMonitoring 2.0: Extending {ROS} Runtime Verification to Services
                  and Ordered Topics},
  booktitle    = {Proceedings Sixth International Workshop on Formal Methods for Autonomous
                  Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November
                  2024},
  series       = {{EPTCS}},
  volume       = {411},
  pages        = {38--55},
  year         = {2024},
  url          = {https://doi.org/10.4204/EPTCS.411.3},
  doi          = {10.4204/EPTCS.411.3},
  timestamp    = {Wed, 29 Jan 2025 13:47:28 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2411-14367.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hNK7CwPmnS2MTLkwX","bibbaseid":"saadat-ferrando-dennis-fisher-rosmonitoring20extendingrosruntimeverificationtoservicesandorderedtopics-2024","author_short":["Saadat, M. G.","Ferrando, A.","Dennis, L. A.","Fisher, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Maryam","Ghaffari"],"propositions":[],"lastnames":["Saadat"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Louise","A."],"propositions":[],"lastnames":["Dennis"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"editor":[{"firstnames":["Matt"],"propositions":[],"lastnames":["Luckcuck"],"suffixes":[]},{"firstnames":["Mengwei"],"propositions":[],"lastnames":["Xu"],"suffixes":[]}],"title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","booktitle":"Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024","series":"EPTCS","volume":"411","pages":"38–55","year":"2024","url":"https://doi.org/10.4204/EPTCS.411.3","doi":"10.4204/EPTCS.411.3","timestamp":"Wed, 29 Jan 2025 13:47:28 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-2411-14367.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/abs-2411-14367,\n author = {Maryam Ghaffari Saadat and\n Angelo Ferrando and\n Louise A. Dennis and\n Michael Fisher},\n editor = {Matt Luckcuck and\n Mengwei Xu},\n title = {ROSMonitoring 2.0: Extending {ROS} Runtime Verification to Services\n and Ordered Topics},\n booktitle = {Proceedings Sixth International Workshop on Formal Methods for Autonomous\n Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November\n 2024},\n series = {{EPTCS}},\n volume = {411},\n pages = {38--55},\n year = {2024},\n url = {https://doi.org/10.4204/EPTCS.411.3},\n doi = {10.4204/EPTCS.411.3},\n timestamp = {Wed, 29 Jan 2025 13:47:28 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2411-14367.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Saadat, M. G.","Ferrando, A.","Dennis, L. A.","Fisher, M."],"editor_short":["Luckcuck, M.","Xu, M."],"key":"DBLP:journals/corr/abs-2411-14367","id":"DBLP:journals/corr/abs-2411-14367","bibbaseid":"saadat-ferrando-dennis-fisher-rosmonitoring20extendingrosruntimeverificationtoservicesandorderedtopics-2024","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.411.3"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6"],"keywords":[],"search_terms":["rosmonitoring","extending","ros","runtime","verification","services","ordered","topics","saadat","ferrando","dennis","fisher"],"title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","year":2024}