@inproceedings{DBLP:conf/rv/FerrandoDA0M18,
  author       = {Angelo Ferrando and
                  Louise A. Dennis and
                  Davide Ancona and
                  Michael Fisher and
                  Viviana Mascardi},
  editor       = {Christian Colombo and
                  Martin Leucker},
  title        = {Verifying and Validating Autonomous Systems: Towards an Integrated
                  Approach},
  booktitle    = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
                  Cyprus, November 10-13, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11237},
  pages        = {263--281},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03769-7\_15},
  doi          = {10.1007/978-3-030-03769-7\_15},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/FerrandoDA0M18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"6GDT38eirWTxYyhiL","bibbaseid":"ferrando-dennis-ancona-fisher-mascardi-verifyingandvalidatingautonomoussystemstowardsanintegratedapproach-2018","downloads":1,"creationDate":"2018-12-19T08:54:41.672Z","title":"Verifying and Validating Autonomous Systems: Towards an Integrated Approach","author_short":["Ferrando, A.","Dennis, L. A.","Ancona, D.","Fisher, M.","Mascardi, V."],"year":2018,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Louise","A."],"propositions":[],"lastnames":["Dennis"],"suffixes":[]},{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]}],"editor":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Colombo"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Leucker"],"suffixes":[]}],"title":"Verifying and Validating Autonomous Systems: Towards an Integrated Approach","booktitle":"Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings","series":"Lecture Notes in Computer Science","volume":"11237","pages":"263–281","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-030-03769-7\\_15","doi":"10.1007/978-3-030-03769-7_15","timestamp":"Wed, 07 Dec 2022 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/rv/FerrandoDA0M18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rv/FerrandoDA0M18,\n author = {Angelo Ferrando and\n Louise A. Dennis and\n Davide Ancona and\n Michael Fisher and\n Viviana Mascardi},\n editor = {Christian Colombo and\n Martin Leucker},\n title = {Verifying and Validating Autonomous Systems: Towards an Integrated\n Approach},\n booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,\n Cyprus, November 10-13, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11237},\n pages = {263--281},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-030-03769-7\\_15},\n doi = {10.1007/978-3-030-03769-7\\_15},\n timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/rv/FerrandoDA0M18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ferrando, A.","Dennis, L. A.","Ancona, D.","Fisher, M.","Mascardi, V."],"editor_short":["Colombo, C.","Leucker, M."],"key":"DBLP:conf/rv/FerrandoDA0M18","id":"DBLP:conf/rv/FerrandoDA0M18","bibbaseid":"ferrando-dennis-ancona-fisher-mascardi-verifyingandvalidatingautonomoussystemstowardsanintegratedapproach-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-03769-7\\_15"},"metadata":{"authorlinks":{"ferrando, a":"https://angeloferrando.github.io/website/"}},"downloads":1},"search_terms":["verifying","validating","autonomous","systems","towards","integrated","approach","ferrando","dennis","ancona","fisher","mascardi"],"keywords":[],"authorIDs":["L4cWiFkGZBSbk8JHm"],"dataSources":["jkPac6coMCnfPS9v6","PxcFZJ2oyR7SFv6tr","hbmDF3mowSFP7RzLi","X6oai84Gqtg82PfJ8","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"]}