{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,31]],"date-time":"2025-07-31T00:32:38Z","timestamp":1753921958165,"version":"3.41.0"},"publisher-location":"Wiesbaden","reference-count":57,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"type":"print","value":"9783658099930"},{"type":"electronic","value":"9783658099947"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-658-09994-7_7","type":"book-chapter","created":{"date-parts":[[2015,6,5]],"date-time":"2015-06-05T07:56:17Z","timestamp":1433490977000},"page":"190-223","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Advances in Design Automation Techniques for Digital-Microfluidic Biochips"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Ibrahim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zipeng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krishnendu","family":"Chakrabarty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,6]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0009-8981(02)00093-1","volume":"321","author":"T. Schulte","year":"2002","unstructured":"Schulte, T., Bardell, R. L., Weigl, B. H.: Microfluidic technologies in clinical diagnostics. Clinica Chimica Acta 321, 1\u201310 (2002)","journal-title":"Clinica Chimica Acta"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1109\/JSEN.2005.846173","volume":"5","author":"A. Guiseppi-Elie","year":"2005","unstructured":"Guiseppi-Elie, A., Brahim, S., Slaughter, G., Ward, K. R.: Design of a subcutaneous implantable biochip for monitoring of glucose and lactate. IEEE Sensors Journal 5, 345\u2013355 (2005)","journal-title":"IEEE Sensors Journal"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10404-007-0161-8","volume":"3","author":"R. B. Fair","year":"2007","unstructured":"Fair, R. B.: Digital microfluidics: is a true lab-on-a-chip possible? Microfluidics and Nanofluidics 3, 245\u2013281 (2007)","journal-title":"Microfluidics and Nanofluidics"},{"unstructured":"Berthier, J.: Micro-drops and digital microfluidics. William Andrew (2012)","key":"7_CR4"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.aca.2003.12.030","volume":"507","author":"V. Srinivasan","year":"2004","unstructured":"Srinivasan, V., Pamula, V. K., Fair, R. B.: Droplet-based microfluidic lab-on-a-chip for glucose detection. Analytica Chimica Acta 507, 145\u2013150 (2004)","journal-title":"Analytica Chimica Acta"},{"doi-asserted-by":"crossref","unstructured":"Chen, X., Cui, D., Liu, C., Li, H., Chen, J.: Continuous flow microfluidic device for cell separation, cell lysis and DNA purification. Analytica chimica acta 584, 237\u2013243 (2007)","key":"7_CR6","DOI":"10.1016\/j.aca.2006.11.057"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10544-006-8171-y","volume":"8","author":"Y.-H. Chang","year":"2006","unstructured":"Chang, Y.-H., Lee, G.-W., Huang, F.-C., Chen, Y.-Y., Lin, J.-L.: Integrated polymerase chain reaction chips utilizing digital microfluidics. Biomedical Microdevices 8, 215\u2013225 (2006)","journal-title":"Biomedical Microdevices"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1109\/JSEN.2008.918717","volume":"8","author":"L. Luan","year":"2008","unstructured":"Luan, L., Evans, R. D., Jokerst, N. M., Fair, R. B.: Integrated optical sensor in a digital microfluidic platform. IEEE Sensors Journal 8, 628\u2013635 (2008)","journal-title":"IEEE Sensors Journal"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"2091","DOI":"10.1039\/b814922d","volume":"8","author":"R. Sista","year":"2008","unstructured":"Sista, R., Hua, Z., Thwar, P., Sudarsan, A., Srinivasan V., Eckhardt, A., Pollack, M., Pamula, V.: Development of a digital microfluidic platform for point of care testing. Lab on a Chip 8, 2091\u20132104 (2008)","journal-title":"Lab on a Chip"},{"doi-asserted-by":"crossref","unstructured":"Hu, K., Hsu, B.-N., Madison, A., Chakrabarty, K., Fair, R. B.: Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips. Proc. DATE, 559-564 (2013)","key":"7_CR10","DOI":"10.7873\/DATE.2013.124"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/JMEMS.2002.807467","volume":"12","author":"S. K. Cho","year":"2003","unstructured":"Cho, S. K., Moon, H., Kim, C.-J.: Creating, transporting, cutting, and merging liquid droplets by electrowetting-based actuation for digital. microfluidic circuits. IEEE Journal of Microelectromechanical Systems 12, 70\u201380 (2003)","journal-title":"IEEE Journal of Microelectromechanical Systems"},{"key":"7_CR12","first-page":"R705","volume":"17","author":"F. Mugele","year":"2005","unstructured":"Mugele, F., Baret, J.-C.: Electrowetting: from basics to applications. Journal of Physics: Condensed Matter 17, R705 (2005)","journal-title":"Journal of Physics: Condensed Matter"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.sna.2005.09.026","volume":"127","author":"J. Berthier","year":"2006","unstructured":"Berthier, J., Clementz, Ph., Raccurt, O., Jary, D., Claustre, P., Peponnet, C., Fouil- let, Y.: Computer aided design of an EWOD microdevice. Sensors and Actuators A: Physical 127, 283\u2013294 (2006)","journal-title":"Sensors and Actuators A: Physical"},{"doi-asserted-by":"crossref","unstructured":"Su, F., Chakrabarty, K.: Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips. Proc. DAC, 825-830 (2005)","key":"7_CR14","DOI":"10.1145\/1065579.1065797"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.ijfoodmicro.2013.10.018","volume":"170","author":"J. Baranyi","year":"2014","unstructured":"Baranyi, J., Csernus, O., Beczner, J.: Error analysis in predictive modelling demonstrated on mould data. International Journal of Food Microbiology 170, 78\u201382 (2014)","journal-title":"International Journal of Food Microbiology"},{"unstructured":"Su, F., Chakrabarty, K.: Architectural-level synthesis of digital microfluidics-based biochips. Proc. ICCAD, 223-228 (2004)","key":"7_CR16"},{"doi-asserted-by":"crossref","unstructured":"Ricketts, A., Irick, K., Vijaykrishnan, N., Irwin, M.: Priority scheduling in digital microfluidics-based biochips. Proc. DATE, 329-334 (2006)","key":"7_CR17","DOI":"10.1109\/DATE.2006.244178"},{"key":"7_CR18","first-page":"11","volume":"6","author":"Y. Zhao","year":"2010","unstructured":"Zhao, Y., Xu, T., Chakrabarty, K.: Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip. ACM J. Emerg. Technol. Comput. Syst 6, 11 (2010)","journal-title":"Emerg. Technol. Comput. Syst"},{"unstructured":"Zhao, Y., Xu, T., Chakrabarty, K.: Online synthesis for error recovery in digital microfluidic biochips with operation variability. Proc. DTIP, 53-58 (2012)","key":"7_CR19"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1109\/TCAD.2010.2049153","volume":"29","author":"K. Chakrabarty","year":"2010","unstructured":"Chakrabarty, K., Fair, R.B., Zeng, J.: Design Tools for Digital Microfluidic Biochips: Toward Functional Diversification and More Than Moore. IEEE Trans. on CAD of Integrated Circuits and Systems 29, 1001\u20131017 (2010)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"doi-asserted-by":"crossref","unstructured":"Ho, T.-Y., Chakrabarty, K., Fair, R.B., Pop, P.: Digital microfluidic biochips: Recent research and emerging challenges. Proc. CODES+ISSS, 335-343 (2011)","key":"7_CR21","DOI":"10.1145\/2039370.2039422"},{"doi-asserted-by":"crossref","unstructured":"Yuh, P.-H., Yang, C.-L., Chang, Y.-W.: Placement of Defect-Tolerant Digital Microfluidic Biochips Using the T-tree Formulation. ACM J. Emerg. Technol. Comput. Syst 3, 13:1-32 (2007)","key":"7_CR22","DOI":"10.1145\/1295231.1295234"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1145\/1142980.1142987","volume":"11","author":"F. Su","year":"2006","unstructured":"Su, F., Chakrabarty, K.: Module placement for fault-tolerant microfluidics-based biochips. ACM Trans. Design Automation of Electronic Systems 11, 682\u2013710 (2006)","journal-title":"ACM Trans. Design Automation of Electronic Systems"},{"doi-asserted-by":"crossref","unstructured":"Maftei, E., Pop, P., Madsen, J.: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips. Proc. CASES, 195-203 (2009)","key":"7_CR24","DOI":"10.1145\/1629395.1629423"},{"doi-asserted-by":"crossref","unstructured":"Fair, R. B. et al.: Electrowetting-based on-chip sample processing for integrated microfluidics. Proc. IEDM, 32.5.1-32.5.4 (2003).","key":"7_CR25","DOI":"10.1109\/IEDM.2003.1269396"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"1714","DOI":"10.1109\/TCAD.2008.917589","volume":"27","author":"M. Cho","year":"2008","unstructured":"Cho, M., Pan, D.Z.: A High-Performance Droplet Routing Algorithm for Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 27, 1714\u20131724 (2008)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"7_CR27","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1109\/TCAD.2005.855958","volume":"25","author":"K.F. Bohringer","year":"2006","unstructured":"Bohringer, K.F.: Modeling and Controlling Parallel Tasks in Droplet-Based Microfluidic Systems. IEEE Trans. on CAD of Integrated Circuits and Systems 25, 334\u2013344 (2006)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"doi-asserted-by":"crossref","unstructured":"Xu, T., Chakrabarty, K.: Integrated Droplet Routing and Defect Tolerance in the Synthesis of Digital Microfluidic Biochips. ACM J. Emerg. Technol. Comput. Syst 4, 11:1-23 (2008)","key":"7_CR28","DOI":"10.1145\/1389089.1389091"},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"1928","DOI":"10.1109\/TCAD.2008.2006140","volume":"27","author":"P.-H. Yuh","year":"2008","unstructured":"Yuh, P.-H., Yang, C.-L., Chang, Y.-W.: BioRoute: A Network-Flow-Based Routing Algorithm for the Synthesis of Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 27, 1928\u20131941 (2008)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"doi-asserted-by":"crossref","unstructured":"Keszocze, O., Wille, R., Drechsler, R.: Exact routing for digital microfluidic biochips with temporary blockages. Proc. ICCAD, 405-410 (2014)","key":"7_CR30","DOI":"10.1109\/ICCAD.2014.7001383"},{"doi-asserted-by":"crossref","unstructured":"Zhao, Y., Chakrabarty, K.: Cross-Contamination Avoidance for Droplet Routing in Digital Microfluidic Biochips. Proc. DATE,1290-1295 (2009)","key":"7_CR31","DOI":"10.1109\/DATE.2009.5090864"},{"doi-asserted-by":"crossref","unstructured":"Huang, T.-W., Lin, C.-H., Ho, T.-Y.: A Contamination Aware Droplet Routing Algorithm for Digital Microfluidic Biochips. Proc. ICCAD, 151-156 (2009)","key":"7_CR32","DOI":"10.1109\/ICCD.2009.5413119"},{"doi-asserted-by":"crossref","unstructured":"Zhao, Y., Chakrabarty, K.: Synchronization of Washing Operations with Droplet Routing for Cross-Contamination Avoidance in Digital Microfluidic Biochips. Proc. DAC, 635-640 (2010)","key":"7_CR33","DOI":"10.1145\/1837274.1837437"},{"key":"7_CR34","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1109\/TCAD.2011.2108010","volume":"30","author":"C.C.-Y Lin","year":"2011","unstructured":"Lin, C.C.-Y, Chang, Y.-W.: Cross-Contamination Aware Design Methodology for Pin-Constrained Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 30, 817\u2013828 (2011)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"7_CR35","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1109\/TCAD.2005.855956","volume":"25","author":"F. Su","year":"2006","unstructured":"Su, F., Chakrabarty, K., Fair, R.: Microfluidics-based biochips: technology issues, implementation platforms, and design-automation challenges. IEEE Trans. on CAD of Integrated Circuits and Systems 25, 211\u2013223 (2006)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1039\/b110474h","volume":"2","author":"M. Pollack","year":"2002","unstructured":"Pollack, M., Shenderov, A., Fair, R.: Electrowetting-based actuation of droplets for integrated microfluidics. Lab Chip 2, 96\u2013101 (2002)","journal-title":"Lab Chip"},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/JMEMS.2007.912698","volume":"17","author":"J. Gong","year":"2008","unstructured":"Gong, J., Kim, C.: Direct-referencing two-dimensional-array digital microfluidics using multilayer printed circuit board. Journal of Microelectromechanical Systems 17, 257\u2013264 (2008)","journal-title":"Journal of Microelectromechanical Systems"},{"doi-asserted-by":"crossref","unstructured":"Huang, T., Lin, Y., Chang, J., Ho, T.: Chip-level design and optimization for digital microfluidic biochips. Proc. MWSCAS, 1-4 (2011)","key":"7_CR38","DOI":"10.1109\/SOCC.2011.6085143"},{"doi-asserted-by":"crossref","unstructured":"Xu, T., Chakrabarty, K.: Broadcast electrode-addressing for pin-constrained multifunctional digital microfluidic biochips. Proc. DAC, 173-178 (2008)","key":"7_CR39","DOI":"10.1145\/1391469.1391514"},{"doi-asserted-by":"crossref","unstructured":"Gross, J., Yellen, J.: Graph theory and its applications. CRC press (2005)","key":"7_CR40","DOI":"10.1201\/9781420057140"},{"doi-asserted-by":"crossref","unstructured":"Xu, T., Chakrabarty, K.: Droplet-trace-based array partitioning and a pin assignment algorithm for the automated design of digital microfluidic biochips. Proc. CODES+ISSS, 112-117 (2006)","key":"7_CR41","DOI":"10.1145\/1176254.1176283"},{"key":"7_CR42","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TCAD.2010.2049157","volume":"29","author":"C. Lin","year":"2010","unstructured":"Lin, C., Chang, Y.: ILP-based pin-count aware design methodology for microfluidic biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 29, 1315\u20131327 (2010)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"doi-asserted-by":"crossref","unstructured":"Huang, T., Su, H., Ho, T.: Progressive network-flow based power-aware broadcast addressing for pin-constrained digital microfluidic biochips. Proc. DAC, 741-746 (2011)","key":"7_CR43","DOI":"10.1145\/2024724.2024891"},{"doi-asserted-by":"crossref","unstructured":"Alpert, C., Mehta, D., Sapatnekar, S.: Handbook of algorithms for physical design automation. CRC press (2008)","key":"7_CR44","DOI":"10.1201\/9781420013481"},{"doi-asserted-by":"crossref","unstructured":"Huang, T., Ho, T.: A two-stage ILP-based droplet routing algorithm for pin- constrained digital microfluidic biochips. Proc. DAC, 201-208 (2010)","key":"7_CR45","DOI":"10.1145\/1735023.1735068"},{"doi-asserted-by":"crossref","unstructured":"Huang, T., Yeh, S., Ho, T.: A network-flow based pin-count aware routing algorithm for broadcast electrode-addressing EWOD chips. Proc. ICCAD, 425-431 (2010)","key":"7_CR46","DOI":"10.1109\/ICCAD.2010.5653715"},{"key":"7_CR47","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1109\/TBCAS.2009.2020693","volume":"3","author":"N. Jokerst","year":"2009","unstructured":"Jokerst, N. and others: Progress in chip-scale photonic sensing. IEEE Trans. Biomed. Circuits Syst 3, 202\u2013211 (2009)","journal-title":"IEEE Trans. Biomed. Circuits Syst"},{"doi-asserted-by":"crossref","unstructured":"Shin, Y.-J., Lee, J.-B.: Machine vision for digital microfluidics. Review of Scientific Instruments 81, 014 302:1-7 (2010)","key":"7_CR48","DOI":"10.1063\/1.3274673"},{"unstructured":"Alistar, M., Pop, P., Madsen, J.: Online synthesis for error recovery in digital microfluidic biochips with operation variability. Proc. DTIP, 25-27 (2012)","key":"7_CR49"},{"key":"7_CR50","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/TCAD.2012.2211104","volume":"32","author":"Y. Luo","year":"2013","unstructured":"Luo, Y., Chakrabarty, K., Ho, T.-Y.: Error Recovery in Cyberphysical Digital- Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 32, 59\u201372 (2013)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"7_CR51","doi-asserted-by":"publisher","first-page":"33053313","DOI":"10.1039\/c2lc40273d","volume":"12","author":"B. Hadwen","year":"2012","unstructured":"Hadwen, B., Broder, G., Morganti, D., Jacobs, A., Brown, C.: Programmable large area digital microfluidic array with integrated droplet sensing for bioassays. Lab Chip 12, 33053313 (2012)","journal-title":"Lab Chip"},{"key":"7_CR52","doi-asserted-by":"publisher","first-page":"903","DOI":"10.1109\/TCAD.2014.2303948","volume":"33","author":"Y. Luo","year":"2014","unstructured":"Luo, Y., Chakrabarty, K., Ho, T.-Y.: Biochemistry Synthesis on a Cyberphysical Digital Microfluidics Platform Under Completion-Time Uncertainties in Fluidic Operations. IEEE Trans. on CAD of Integrated Circuits and Systems 33, 903\u2013916 (2014)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"doi-asserted-by":"crossref","unstructured":"Huang, L., Koo, B., Kim, C. J.: Evaluation of anodic Ta2O5 as the dielectric layer for EWOD devices. Proc. IEEE MEMS, 428-431 (2012)","key":"7_CR53","DOI":"10.1109\/MEMSYS.2012.6170218"},{"key":"7_CR54","doi-asserted-by":"publisher","first-page":"1839","DOI":"10.1109\/TCAD.2013.2277980","volume":"32","author":"Y. Luo","year":"2013","unstructured":"Luo, Y., Chakrabarty, K., Ho, T.-Y.: Real-time error recovery in cyberphysical digital-microfluidic biochips using a compact dictionary. IEEE Trans. on CAD of Integrated Circuits and Systems 32, 1839\u20131852 (2013)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"doi-asserted-by":"crossref","unstructured":"Hu, K., Hsu, B.-N., Madison, A., Chakrabarty, K., Fair, R.: Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips. Proc. DATE, 559-564 (2013)","key":"7_CR55","DOI":"10.7873\/DATE.2013.124"},{"doi-asserted-by":"crossref","unstructured":"Ibrahim, M., Chakrabarty, K.: Error recovery in digital microfluidics for personalized medicine. Proc. DATE, (2015) [accepted for publication]","key":"7_CR56","DOI":"10.7873\/DATE.2015.1126"},{"unstructured":"http:\/\/microfluidics.ee.duke.edu\/Published_Videos\/2013_DATE\/","key":"7_CR57"}],"container-title":["Formal Modeling and Verification of Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-09994-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T10:34:21Z","timestamp":1748428461000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-658-09994-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783658099930","9783658099947"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-09994-7_7","relation":{},"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"6 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}