@inproceedings{conf/icse/GerasimouCB14,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Gerasimou, Simos and Calinescu, Radu and Banks, Alec},
  biburl = {https://www.bibsonomy.org/bibtex/22b72f0225455f18ac7dec939987261c0/dblp},
  booktitle = {SEAMS},
  crossref = {conf/icse/2014seams},
  editor = {Engels, Gregor and Bencomo, Nelly},
  ee = {https://doi.org/10.1145/2593929.2593932},
  interhash = {81acca9cc9bfa8a36c8c0b628169c1e2},
  intrahash = {2b72f0225455f18ac7dec939987261c0},
  isbn = {978-1-4503-2864-7},
  keywords = {dblp},
  pages = {115-124},
  publisher = {ACM},
  timestamp = {2018-11-07T16:54:36.000+0100},
  title = {Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration.},
  url = {http://dblp.uni-trier.de/db/conf/icse/seams2014.html#GerasimouCB14},
  year = 2014
}

{"_id":"B4fxZLc4ztNthmEaJ","bibbaseid":"gerasimou-calinescu-banks-efficientruntimequantitativeverificationusingcachinglookaheadandnearlyoptimalreconfiguration-2014","authorIDs":[],"author_short":["Gerasimou, S.","Calinescu, R.","Banks, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Gerasimou"],"firstnames":["Simos"],"suffixes":[]},{"propositions":[],"lastnames":["Calinescu"],"firstnames":["Radu"],"suffixes":[]},{"propositions":[],"lastnames":["Banks"],"firstnames":["Alec"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/22b72f0225455f18ac7dec939987261c0/dblp","booktitle":"SEAMS","crossref":"conf/icse/2014seams","editor":[{"propositions":[],"lastnames":["Engels"],"firstnames":["Gregor"],"suffixes":[]},{"propositions":[],"lastnames":["Bencomo"],"firstnames":["Nelly"],"suffixes":[]}],"ee":"https://doi.org/10.1145/2593929.2593932","interhash":"81acca9cc9bfa8a36c8c0b628169c1e2","intrahash":"2b72f0225455f18ac7dec939987261c0","isbn":"978-1-4503-2864-7","keywords":"dblp","pages":"115-124","publisher":"ACM","timestamp":"2018-11-07T16:54:36.000+0100","title":"Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration.","url":"http://dblp.uni-trier.de/db/conf/icse/seams2014.html#GerasimouCB14","year":"2014","bibtex":"@inproceedings{conf/icse/GerasimouCB14,\n added-at = {2018-11-06T00:00:00.000+0100},\n author = {Gerasimou, Simos and Calinescu, Radu and Banks, Alec},\n biburl = {https://www.bibsonomy.org/bibtex/22b72f0225455f18ac7dec939987261c0/dblp},\n booktitle = {SEAMS},\n crossref = {conf/icse/2014seams},\n editor = {Engels, Gregor and Bencomo, Nelly},\n ee = {https://doi.org/10.1145/2593929.2593932},\n interhash = {81acca9cc9bfa8a36c8c0b628169c1e2},\n intrahash = {2b72f0225455f18ac7dec939987261c0},\n isbn = {978-1-4503-2864-7},\n keywords = {dblp},\n pages = {115-124},\n publisher = {ACM},\n timestamp = {2018-11-07T16:54:36.000+0100},\n title = {Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration.},\n url = {http://dblp.uni-trier.de/db/conf/icse/seams2014.html#GerasimouCB14},\n year = 2014\n}\n\n","author_short":["Gerasimou, S.","Calinescu, R.","Banks, A."],"editor_short":["Engels, G.","Bencomo, N."],"key":"conf/icse/GerasimouCB14","id":"conf/icse/GerasimouCB14","bibbaseid":"gerasimou-calinescu-banks-efficientruntimequantitativeverificationusingcachinglookaheadandnearlyoptimalreconfiguration-2014","role":"author","urls":{"Link":"https://doi.org/10.1145/2593929.2593932","Paper":"http://dblp.uni-trier.de/db/conf/icse/seams2014.html#GerasimouCB14"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/banks?items=1000","creationDate":"2020-11-09T04:30:05.147Z","downloads":0,"keywords":["dblp"],"search_terms":["efficient","runtime","quantitative","verification","using","caching","lookahead","nearly","optimal","reconfiguration","gerasimou","calinescu","banks"],"title":"Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration.","year":2014,"dataSources":["4mnhe87Gt4h7SC73t"]}