{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:09:00Z","timestamp":1740100140766,"version":"3.37.3"},"reference-count":35,"publisher":"IEEE","funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["ECCS-1914796"],"award-info":[{"award-number":["ECCS-1914796"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,1]]},"DOI":"10.23919\/date51398.2021.9474144","type":"proceedings-article","created":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T22:11:46Z","timestamp":1629843106000},"page":"324-329","source":"Crossref","is-referenced-by-count":2,"title":["Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips"],"prefix":"10.23919","author":[{"given":"Mahmoud","family":"Elfar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tung-Che","family":"Liang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krishnendu","family":"Chakrabarty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Pajic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s12033-009-9239-8"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3126538"},{"key":"ref31","first-page":"475","article-title":"Prism-games 3.0: Stochastic game verification with concurrency. eauilibria and time","author":"kwiatkowska","year":"0","journal-title":"Proc CAV"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10404-014-1467-y"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TMSCS.2018.2827030"},{"key":"ref34","first-page":"601","article-title":"Efficient and adaptive error recovery in a micro-electrode-dot-array digital microfluidic biochip","volume":"37","author":"li","year":"2017","journal-title":"IEEE TCAD"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2009.2022173"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2005.848127"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1021\/la990548n"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1021\/la802551j"},{"key":"ref14","first-page":"292","article-title":"Micro-electrode-dot-array digital microfluidic biochips: Technology, design automation, and test techniques","volume":"13","author":"zhong","year":"2018","journal-title":"IEEE TBioCAS"},{"key":"ref15","article-title":"Adaptive droplet routing in digital microfluidic biochips using deep reinforcement learning","author":"liang","year":"0","journal-title":"Proc ICML"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593135"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2049153"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3093930"},{"key":"ref19","first-page":"948","article-title":"Integrated droplet routing in the synthesis of microfluidic biochips","author":"xu","year":"0","journal-title":"Proc DAC"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IRPS.1983.361990"},{"key":"ref4","article-title":"Rapid isothermal amplification and portable detection system for SARS-Co V-2","author":"ganguli","year":"0","journal-title":"Proc NAS"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC.1994.344680"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.3390\/s20051281","article-title":"Digital. microfluidics for the detection of selected inorganic ions in aerosols","volume":"20","author":"huang","year":"2020","journal-title":"SENSORS"},{"journal-title":"NIH","article-title":"'NIH delivering newCOVID-19 testing technologies to meet U.S. demand","year":"0","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/LED.2006.874760"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/s41587-020-0597-x"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S1359-0294(00)00085-6"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/s11265-014-0939-3","article-title":"An intelligent digitalmicroflu-idic processor for biomedical detection","volume":"78","author":"lm","year":"2015","journal-title":"Journal of Signal Processing Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/diagnostics10010021"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2016.7539192"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"1249","DOI":"10.3390\/mi6091249","article-title":"Recent advances in applications of droplet micro fluidics","volume":"6","author":"chou","year":"2015","journal-title":"Micromachines"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372663"},{"key":"ref22","first-page":"69","article-title":"PCB escape routing and layer minimization for digital microfluidic biochips","volume":"36","author":"mcdaniel","year":"2016","journal-title":"IEEE TCAD"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967018"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1063\/1.1570933"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858407"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0026-2714(03)00177-X"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1063\/1.1897431"}],"event":{"name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2021,2,1]]},"location":"Grenoble, France","end":{"date-parts":[[2021,2,5]]}},"container-title":["2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9473901\/9473226\/09474144.pdf?arnumber=9474144","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T20:47:53Z","timestamp":1643316473000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9474144\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,1]]},"references-count":35,"URL":"https:\/\/doi.org\/10.23919\/date51398.2021.9474144","relation":{},"subject":[],"published":{"date-parts":[[2021,2,1]]}}}