@inproceedings{DBLP:conf/spin/AlimguzhinMMST13a,
  author    = {Vadim Alimguzhin and
               Federico Mari and
               Igor Melatti and
               Ivano Salvo and
               Enrico Tronci},
  title     = {On-the-Fly Control Software Synthesis},
  booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
               Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
  pages     = {61--80},
  year      = {2013},
  crossref  = {DBLP:conf/spin/2013},
  url       = {http://dx.doi.org/10.1007/978-3-642-39176-7_5},
  doi       = {10.1007/978-3-642-39176-7_5},
  timestamp = {Sat, 01 Jun 2013 19:15:29 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/spin/AlimguzhinMMST13a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"mox8X4zcpxPrixAEw","bibbaseid":"alimguzhin-mari-melatti-salvo-tronci-ontheflycontrolsoftwaresynthesis-2013","downloads":0,"creationDate":"2016-10-14T09:18:19.781Z","title":"On-the-Fly Control Software Synthesis","author_short":["Alimguzhin, V.","Mari, F.","Melatti, I.","Salvo, I.","Tronci, E."],"year":2013,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/a/Alimguzhin:Vadim","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vadim"],"propositions":[],"lastnames":["Alimguzhin"],"suffixes":[]},{"firstnames":["Federico"],"propositions":[],"lastnames":["Mari"],"suffixes":[]},{"firstnames":["Igor"],"propositions":[],"lastnames":["Melatti"],"suffixes":[]},{"firstnames":["Ivano"],"propositions":[],"lastnames":["Salvo"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Tronci"],"suffixes":[]}],"title":"On-the-Fly Control Software Synthesis","booktitle":"Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings","pages":"61--80","year":"2013","crossref":"DBLP:conf/spin/2013","url":"http://dx.doi.org/10.1007/978-3-642-39176-7_5","doi":"10.1007/978-3-642-39176-7_5","timestamp":"Sat, 01 Jun 2013 19:15:29 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/spin/AlimguzhinMMST13a","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/spin/AlimguzhinMMST13a,\n author = {Vadim Alimguzhin and\n Federico Mari and\n Igor Melatti and\n Ivano Salvo and\n Enrico Tronci},\n title = {On-the-Fly Control Software Synthesis},\n booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,\n Stony Brook, NY, USA, July 8-9, 2013. Proceedings},\n pages = {61--80},\n year = {2013},\n crossref = {DBLP:conf/spin/2013},\n url = {http://dx.doi.org/10.1007/978-3-642-39176-7_5},\n doi = {10.1007/978-3-642-39176-7_5},\n timestamp = {Sat, 01 Jun 2013 19:15:29 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/spin/AlimguzhinMMST13a},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Alimguzhin, V.","Mari, F.","Melatti, I.","Salvo, I.","Tronci, E."],"key":"DBLP:conf/spin/AlimguzhinMMST13a","id":"DBLP:conf/spin/AlimguzhinMMST13a","bibbaseid":"alimguzhin-mari-melatti-salvo-tronci-ontheflycontrolsoftwaresynthesis-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-39176-7_5"},"downloads":0},"search_terms":["fly","control","software","synthesis","alimguzhin","mari","melatti","salvo","tronci"],"keywords":["control software; design parameters; design space exploration; formal systems; model-based design approaches; on-the-fly algorithms; realizability; schedulability analysis","embedded systems; hybrid systems; model checking","control system synthesis"],"authorIDs":["5800a2dbaf110b6716000017"],"dataSources":["uohnbDNqgoR48D8fi"]}