{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T22:29:11Z","timestamp":1792189751435,"version":"4.4.0"},"reference-count":92,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1702596"],"award-info":[{"award-number":["CCF-1702596"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1135853"],"award-info":[{"award-number":["CCF-1135853"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/jproc.2017.2759251","type":"journal-article","created":{"date-parts":[[2017,10,30]],"date-time":"2017-10-30T18:07:56Z","timestamp":1509386876000},"page":"1717-1743","source":"Crossref","is-referenced-by-count":17,"title":["Cyber\u2013Physical Digital-Microfluidic Biochips: Bridging the Gap Between Microfluidics and Microbiology"],"prefix":"10.1109","volume":"106","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0278-4040","authenticated-orcid":false,"given":"Mohamed","family":"Ibrahim","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4475-6435","authenticated-orcid":false,"given":"Krishnendu","family":"Chakrabarty","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/1880050.1880056"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1063\/1.1905809"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1039\/C4LC00443D"},{"key":"ref70","author":"pop","year":"2013","journal-title":"Analysis and Synthesis of Distributed Real-Time Embedded Systems"},{"key":"ref76","first-page":"197","article-title":"Compositional analysis of multi-mode systems","author":"phan","year":"2010","journal-title":"Proc Euromicro Conf Real-Time Syst (ECRTS)"},{"key":"ref77","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-08696-5","author":"baruah","year":"2015","journal-title":"Multiprocessor Scheduling for Real-Time Systems"},{"key":"ref74","doi-asserted-by":"crossref","first-page":"818","DOI":"10.7873\/DATE.2015.0450","article-title":"Improving MPSoC reliability through adapting runtime task schedule based on time-correlated fault behavior","author":"rozo duque","year":"2015","journal-title":"Proc Design Autom Testing of Europe (DATE)"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-bioeng-092515-010849"},{"key":"ref75","first-page":"1","article-title":"A real-time digital-microfluidic platform for epigenetics","volume":"10","author":"ibrahim","year":"2016","journal-title":"Proc Int Conf Compilers Arch Synth Embed Syst (CASES)"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/JSTQE.2015.2478657"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.32"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1039\/B307628H"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1039\/C4LC00703D"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927282"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2600626"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1038\/nm.2408"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1534\/genetics.111.137083"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1039\/B917668C"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0903542106"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1039\/C4LC00592A"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1038\/nprot.2016.154"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.cell.2015.04.044"},{"key":"ref61","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1038\/nrg3642","article-title":"Sequencing depth and coverage: Key considerations in genomic analyses","volume":"15","author":"sims","year":"2014","journal-title":"Nature Rev Genet"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391514"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1201\/9781439819166"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0026015"},{"key":"ref27","article-title":"Scalable genome engineering in electrowetting on dielectric digital microfluidic systems","author":"madison","year":"2015"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1021\/acs.analchem.5b04077"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.aca.2003.12.030"},{"key":"ref29","first-page":"13","article-title":"Design methodology for digital microfluidic biochips","author":"pop","year":"2016","journal-title":"Digital Microfluidics"},{"key":"ref67","first-page":"630","article-title":"Integrated and real-time quantitative analysis using cyberphysical digital-microfluidic biochips","author":"ibrahim","year":"2016","journal-title":"Proc Conf Design Autom Test Eur (DATE)"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1016\/j.diagmicrobio.2009.12.020"},{"key":"ref69","first-page":"620","article-title":"Allocation and scheduling of conditional task graph in hardware\/software co-synthesis","author":"xie","year":"2001","journal-title":"Proc Conf Design Autom Test Eur (DATE)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.aca.2016.04.055"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1038\/nature05058","article-title":"The origins and the future of microfluidics","volume":"442","author":"whitesides","year":"2006","journal-title":"Nature"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1021\/ac201416j"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1039\/b110474h"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1088\/0960-1317\/18\/2\/025030"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10404-007-0161-8"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/JMEMS.2002.807467","article-title":"Creating, transporting, cutting, and merging liquid droplets by electrowetting-based actuation for digital microfluidic circuits","volume":"12","author":"cho","year":"2003","journal-title":"J Microelectromech Syst"},{"key":"ref26","article-title":"Sparse sample detection using magnetic bead manipulation on a digital microfluidic device","author":"chen","year":"2016"},{"key":"ref25","article-title":"Accelerated sepsis diagnosis by seamless integration of nucleic acid purification and detection","author":"hsu","year":"2014"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2042888"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2211104"},{"key":"ref92","doi-asserted-by":"crossref","first-page":"1995","DOI":"10.1007\/s00542-010-1141-6","article-title":"Lab-on-a-chip: A component view","volume":"16","author":"lim","year":"2010","journal-title":"Microsyst Technol"},{"key":"ref91","author":"cormen","year":"2001","journal-title":"Introduction to Algorithms"},{"key":"ref90","article-title":"CoSyn: Efficient single-cell analysis using a hybrid microfluidic platform","author":"ibrahim","year":"0"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1039\/b819648f"},{"key":"ref58","first-page":"1","article-title":"Experimental demonstration of error recovery in an integrated cyberphysical digital-microfluidic platform","author":"hu","year":"2015","journal-title":"Proc IEEE Circuits Syst Conf"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1039\/c2lc41156c"},{"key":"ref56","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/TCAD.2014.2363396","article-title":"Design and optimization of a cyberphysical digital-microfluidic biochip for the polymerase chain reaction","volume":"34","author":"luo","year":"2015","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2898999"},{"key":"ref54","first-page":"247","article-title":"Error recovery in digital microfluidics for personalized medicine","author":"ibrahim","year":"2015","journal-title":"Proc Conf Design Autom Test Eur (DATE)"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2015.7116246"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-014-9157-2"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1039\/c0lc00537a"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1039\/C5LC01397F"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/978-3-658-09994-7_7","article-title":"Advances in design automation techniques for digital-microfluidic biochips","author":"ibrahim","year":"2015","journal-title":"Formal Modeling anh Verification of Cyber-Physical Systems"},{"key":"ref12","first-page":"524","article-title":"Hamming-distance-based valve-switching optimization for control-layer multiplexing in flow-based microfluidic biochips","author":"wang","year":"2017","journal-title":"Proc IEEE\/ACM Asia South Pacific Des Automat Conf ASP-DAC"},{"key":"ref13","first-page":"91","article-title":"Testing microfluidic fully programmable valve arrays (FPVAs)","author":"liu","year":"2017","journal-title":"Proc Conf Design Autom Test Eur (DATE)"},{"key":"ref14","article-title":"Sortex: Efficient timing-driven synthesis of reconfigurable flow-based biochips for scalable single-cell screening","author":"ibrahim","year":"0","journal-title":"Proc IEEE\/ACM Int Conf Comput -Aided Design (ICCAD)"},{"key":"ref15","article-title":"Illumina NeoPrep Library Prep System","year":"2017"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2455344"},{"key":"ref16","article-title":"GenMark ePlex System","year":"2017"},{"key":"ref81","article-title":"Fundamental design problems of distributed systems for the hard-real-time environment","author":"mok","year":"1983"},{"key":"ref17","article-title":"Seeker platform for newborn screening","year":"2017"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1016\/j.tig.2015.07.003"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1039\/b814922d"},{"key":"ref83","first-page":"1673","article-title":"CoSyn: Efficient single-cell analysis using a hybrid microfluidic platform","author":"ibrahim","year":"2017","journal-title":"Proc Conf Design Autom Test Eur (DATE)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1039\/b403341h"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.2297919"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1039\/c2lc21290k"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1586\/erm.11.22"},{"key":"ref3","article-title":"Microfluidic applications in the pharmaceutical, life sciences, in-vitro diagnostic, and medical device markets","year":"2015"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1126\/science.1076996","article-title":"Microfluidic large-scale integration","volume":"298","author":"thorsen","year":"2002","journal-title":"Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1039\/C4CS00369A"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1039\/C6LC00249H"},{"key":"ref8","year":"2017"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1021\/ac404085p"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1038\/nature13118","article-title":"The present and future role of microfluidics in biomedical research","volume":"507","author":"sackmann","year":"2014","journal-title":"Nature"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2163158"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1039\/C4LC00794H"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1039\/c2lc21241b"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1039\/C6LC00477F"},{"key":"ref46","first-page":"752","article-title":"BioRoute: A network-flow-based routing algorithm for the synthesis of digital microfluidic biochips","author":"yuh","year":"2007","journal-title":"Proc IEEE\/ACM Int Conf Comput -Aided Design (ICCAD)"},{"key":"ref45","first-page":"948","article-title":"Integrated droplet routing in the synthesis of microfluidic biochips","author":"xu","year":"2007","journal-title":"Proc IEEE\/ACM Design Autom Conf (DAC)"},{"key":"ref48","first-page":"46","article-title":"A field-programmable pin-constrained digital microfluidic biochip","author":"grissom","year":"2013","journal-title":"Proc IEEE\/ACM Design Autom Conf (DAC)"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"1714","DOI":"10.1109\/TCAD.2008.2003282","article-title":"A high-performance droplet routing algorithm for digital microfluidic biochips","volume":"27","author":"cho","year":"2008","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1142980.1142987"},{"key":"ref41","first-page":"223","article-title":"Architectural-level synthesis of digital microfluidics-based biochips","author":"su","year":"2004","journal-title":"Proc IEEE\/ACM Int Conf Comput -Aided Design (ICCAD)"},{"key":"ref44","first-page":"1","article-title":"Droplet routing in the synthesis of digital microfluidic biochips","author":"su","year":"2006","journal-title":"Proc Conf Design Autom Test Eur (DATE)"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1324177.1324178"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/5\/8466984\/8089349-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/8466984\/08089349.pdf?arnumber=8089349","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,27]],"date-time":"2023-08-27T19:27:49Z","timestamp":1693164469000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8089349\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":92,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2017.2759251","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}