| 2022 | FDL | Automated Suggestions Framework for Processing Hardware Specifications Written in English. | Rahul Krishnamurthy, Michael S. Hsiao |
| 2021 | ICAART | Formal Validation for Natural Language Programming using Hierarchical Finite State Automata. | Yue Zhan, Michael S. Hsiao |
| 2020 | ICCD | Transforming Natural Language Specifications to Logical Forms for Hardware Verification. | Rahul Krishnamurthy, Michael S. Hsiao |
| 2020 | ITC | Automated Assertion Generation from Natural Language Specifications. | Steven J. Frederiksen, John Aromando, Michael S. Hsiao |
| 2018 | ICCD | Optimization of Mutant Space for RTL Test Generation. | Kunal Bansal, Michael S. Hsiao |
| 2018 | VTS | Fast fault coverage estimation of sequential tests using entropy measurements. | Michael S. Hsiao, Sarmad Tanwir |
| 2017 | ICCD | Fast Search-Based RTL Test Generation Using Control-Flow Path Guidance. | Sonal Pinto, Michael S. Hsiao |
| 2017 | ITC | RTL functional test generation using factored concolic execution. | Sonal Pinto, Michael S. Hsiao |
| 2017 | VTS | A framework for fast test generation at the RTL. | Kelson Gent, Akash Agrawal, Michael S. Hsiao |
| 2016 | DATE | Dynamic partitioning strategy to enhance symbolic execution. | Brendan A. Marcellino, Michael S. Hsiao |
| 2015 | ETS | Branch guided functional test generation at the RTL. | Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao |
| 2015 | ICCD | SI-SMART: Functional test generation for RTL circuits using loop abstraction and learning recurrence relationships. | Prateek Puri, Michael S. Hsiao |
| 2015 | ITC | Information-theoretic and statistical methods of failure log selection for improved diagnosis. | Sarmad Tanwir, Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan |
| 2015 | VTS | Abstraction-based relation mining for functional test generation. | Kelson Gent, Michael S. Hsiao |
| 2014 | DAC | TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis. | Mahmoud Elbayoumi, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Michael S. Hsiao, Mustafa Y. ElNainay |
| 2014 | ETS | GPU-based timing-aware test generation for small delay defects. | Kuan-Yu Liao, Po-Juei Chen, Ang-Feng Lin, James Chien-Mo Li, Michael S. Hsiao, Laung-Terng Wang |
| 2014 | ETS | Property-checking based LBIST for improved diagnosability. | Sarvesh Prabhu, Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao |
| 2014 | ITC | A diagnosis-friendly LBIST architecture with property checking. | Sarvesh Prabhu, Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao |
| 2013 | DATE | LFSR seed computation and reduction using SMT-based fault-chaining. | Dhrumeel Bakshi, Michael S. Hsiao |
| 2013 | DATE | A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms. | Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay |
| 2013 | ETS | Test generation for circuits with embedded memories using SMT. | Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram |
| 2013 | ICCD | Selecting critical implications with set-covering formulation for SAT-based Bounded Model Checking. | Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay |
| 2012 | DATE | A scan pattern debugger for partial scan industrial designs. | Kameshwar Chandrasekar, Supratik K. Misra, Sanjay Sengupta, Michael S. Hsiao |
| 2012 | DATE | RAG: An efficient reliability analysis of logic circuits on graphics processing units. | Min Li, Michael S. Hsiao |
| 2012 | ITC | Design validation of RTL circuits using evolutionary swarm intelligence. | Min Li, Kelson Gent, Michael S. Hsiao |
| 2012 | VLSID | A Novel SMT-Based Technique for LFSR Reseeding. | Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram |
| 2012 | VTS | A SMT-based diagnostic test generation method for combinational circuits. | Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram |
| 2011 | DATE | Design-for-test methodology for non-scan at-speed testing. | Mainak Banga, Nikhil P. Rahagude, Michael S. Hsiao |
| 2011 | ETS | High-Performance Diagnostic Fault Simulation on GPUs. | Min Li, Michael S. Hsiao |
| 2011 | VLSID | A Novel Learning Framework for State Space Exploration Based on Search State Extensibility Relation. | Maheshwar Chandrasekar, Michael S. Hsiao |
| 2011 | VLSID | Fault Collapsing Using a Novel Extensibility Relation. | Maheshwar Chandrasekar, Michael S. Hsiao |
| 2011 | VLSID | Trace Buffer-Based Silicon Debug with Lossless Compression. | Sandesh Prabhakar, Rajamani Sethuram, Michael S. Hsiao |
| 2010 | DATE | Reversible logic synthesis through ant colony optimization. | Min Li, Yexin Zheng, Michael S. Hsiao, Chao Huang |
| 2009 | DATE | An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification. | Nannan He, Michael S. Hsiao |
| 2009 | ITC | Fast circuit topology based method to configure the scan chains in Illinois Scan architecture. | Swapneel Donglikar, Mainak Banga, Maheshwar Chandrasekar, Michael S. Hsiao |
| 2009 | ITC | An ant colony optimization technique for abstraction-guided state justification. | Min Li, Michael S. Hsiao |
| 2009 | VLSID | A Novel Sustained Vector Technique for the Detection of Hardware Trojans. | Mainak Banga, Michael S. Hsiao |
| 2008 | DATE | Simulation-Directed Invariant Mining for Software Verification. | Xueqi Cheng, Michael S. Hsiao |
| 2008 | DATE | A Fast Approximation Algorithm for MIN-ONE SAT. | Lei Fang, Michael S. Hsiao |
| 2008 | DATE | Efficient Design Validation Based on Cultural Algorithms. | Weixin Wu, Michael S. Hsiao |
| 2008 | ICCD | Ant Colony Optimization directed program abstraction for software bounded model checking. | Xueqi Cheng, Michael S. Hsiao |
| 2008 | ICCD | Quantifying the energy efficiency of coordinated micro-architectural adaptation for multimedia workloads. | Shrirang M. Yardi, Michael S. Hsiao |
| 2008 | ITC | SAT-based State Justification with Adaptive Mining of Invariants. | Weixin Wu, Michael S. Hsiao |
| 2007 | DATE | A new hybrid solution to boost SAT solver performance. | Lei Fang, Michael S. Hsiao |
| 2007 | ICCD | Bounded model checking of embedded software in wireless cognitive radio systems. | Nannan He, Michael S. Hsiao |
| 2007 | ITC | Efficient power droop aware delay fault testing. | Bin Li, Lei Fang, Michael S. Hsiao |
| 2007 | ITC | Mining-guided state justification with partitioned navigation tracks. | Ankur Parikh, Weixin Wu, Michael S. Hsiao |
| 2007 | VLSID | Explicit Safety Property Strengthening in SAT-based Induction. | Vishnu C. Vimjam, Michael S. Hsiao |
| 2007 | VTS | Using Scan-Dump Values to Improve Functional-Diagnosis Methodology. | Vishnu C. Vimjam, M. Enamul Amyeen, Ruifeng Guo, Srikanth Venkataraman, Michael S. Hsiao, Kai Yang |
| 2006 | DAC | Fast illegal state identification for improving SAT-based induction. | Vishnu C. Vimjam, Michael S. Hsiao |
| 2006 | DAC | Mining global constraints for improving bounded sequential equivalence checking. | Weixin Wu, Michael S. Hsiao |
| 2006 | ICCD | Implicit Search-Space Aware Cofactor Expansion: A Novel Preimage Computation Technique. | Kameshwar Chandrasekar, Michael S. Hsiao |
| 2006 | ITC | Characteristic States and Cooperative Game Based Search for Efficient Sequential ATPG and Design Validation. | Xiaoding Chen, Michael S. Hsiao |
| 2006 | ITC | A Study of Implication Based Pseudo Functional Testing. | Manan Syal, Kameshwar Chandrasekar, Vishnu C. Vimjam, Michael S. Hsiao, Yi-Shing Chang, Sreejit Chakravarty |
| 2006 | VTS | Efficient Fault Collapsing via Generalized Dominance Relations. | Vishnu C. Vimjam, Michael S. Hsiao |
| 2005 | DAC | Dynamic abstraction using SAT-based BMC. | Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle |
| 2005 | DATE | Integration of Learning Techniques into Incremental Satisfiability for Efficient Path-Delay Fault Test Generation. | Kameshwar Chandrasekar, Michael S. Hsiao |
| 2005 | DATE | Quality-Driven Proactive Computation Elimination for Power-Aware Multimedia Processing. | Shrirang M. Yardi, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha |
| 2005 | ICCD | State Set Management for SAT-based Unbounded Model Checking. | Kameshwar Chandrasekar, Michael S. Hsiao |
| 2005 | ICCD | Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults. | Manan Syal, Rajat Arora, Michael S. Hsiao |
| 2005 | ICCD | A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management. | Shrirang M. Yardi, Karthik Channakeshava, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha |
| 2005 | ISLPED | Region-level approximate computation reuse for power reduction in multimedia applications. | Xueqi Cheng, Michael S. Hsiao |
| 2005 | PERCOM | Towards an Intrusion Detection System for Battery Exhaustion Attacks on Mobile Computing Devices. | Daniel C. Nash, Thomas L. Martin, Dong S. Ha, Michael S. Hsiao |
| 2005 | VLSID | Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs. | Kameshwar Chandrasekar, Michael S. Hsiao |
| 2004 | DATE | A Novel SAT All-Solutions Solver for Efficient Preimage Computation. | Bin Li, Michael S. Hsiao, Shuo Sheng |
| 2004 | ICCAD | Incremental deductive & inductive reasoning for SAT-based bounded model checking. | Liang Zhang, Mukul R. Prasad, Michael S. Hsiao |
| 2004 | ITC | Decision Selection and Learning for an All-Solutions ATPG Engine. | Kameshwar Chandrasekar, Michael S. Hsiao |
| 2004 | ITC | ALAPTF: A new Transition Faultmodel and the ATPG Algorithm. | Puneet Gupta, Michael S. Hsiao |
| 2004 | ITC | Identifying Untestable Transition Faults in Latch Based Designs with Multiple Clocks. | Manan Syal, Michael S. Hsiao, Sreejit Chakravarty |
| 2004 | ITC | State Variable Extraction to Reduce Problem Complexity for ATPG and Design Validation. | Qingwei Wu, Michael S. Hsiao |
| 2004 | PERCOM | Denial-of-Service Attacks on Battery-powered Mobile Computers. | Thomas L. Martin, Michael S. Hsiao, Dong S. Ha, Jayan Krishnaswami |
| 2004 | VLSID | Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications. | Rajat Arora, Michael S. Hsiao |
| 2004 | VLSID | Can SAT be used to Improve Sequential ATPG Methods? | Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain |
| 2004 | VLSID | Untestable Fault Identification using Recurrence Relations and Impossible Value Assignments. | Manan Syal, Michael S. Hsiao |
| 2004 | VTS | Efficient ATPG for Design Validation Based On Partitioned State Exploration Histories. | Qingwei Wu, Michael S. Hsiao |
| 2003 | DATE | Efficient Preimage Computation Using A Novel Success-Driven ATPG. | Shuo Sheng, Michael S. Hsiao |
| 2003 | DATE | A Novel, Low-Cost Algorithm for Sequentially Untestable Fault Identification. | Manan Syal, Michael S. Hsiao |
| 2003 | ITC | High Quality ATPG for Delay Defects. | Puneet Gupta, Michael S. Hsiao |
| 2003 | ITC | Efficient Sequential ATPG Based on Partitioned Finite-State-Machine Traversal. | Qingwei Wu, Michael S. Hsiao |
| 2003 | ITC | Efficient Sequential ATPG for Functional RTL Circuits. | Liang Zhang, Indradeep Ghosh, Michael S. Hsiao |
| 2003 | VTS | Energy-Efficient Logic BIST Based on State Correlation Analysis. | Xiaoding Chen, Michael S. Hsiao |
| 2003 | VTS | Efficient Implication - Based Untestable Bridge Fault Identifier. | Manan Syal, Michael S. Hsiao, Kiran B. Doreswamy, Sreejit Chakravarty |
| 2002 | DAC | Effective safety property checking using simulation-based sequential ATPG. | Shuo Sheng, Koichiro Takayama, Michael S. Hsiao |
| 2002 | DATE | Maximizing Impossibilities for Untestable Fault Identification. | Michael S. Hsiao |
| 2002 | ETS | Novel ATPG algorithms for transition faults. | Xiao Liu, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran |
| 2002 | ICCAD | Characteristic faults and spectral information for logic BIST. | Xiaoding Chen, Michael S. Hsiao |
| 2002 | ITC | Techniques to Reduce Data Volume and Application Time for Transition Test. | Xiao Liu, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran |
| 2002 | LCN | Reducing Power Consumption by Utilizing Retransmission in Short Range Wireless Network. | Yufeng Zhao, Michael S. Hsiao |
| 2002 | VTS | Spectrum-Based BIST in Complex SOCs. | Ganapathy Kasturirangan, Michael S. Hsiao |
| 2001 | DATE | Efficient spectral techniques for sequential ATPG. | Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwani D. Agrawal |
| 2001 | ISLPED | Compiler-directed dynamic voltage/frequency scheduling for energy reduction in mircoprocessors. | Chung-Hsing Hsu, Ulrich Kremer, Michael S. Hsiao |
| 2001 | ISLPED | Fast, flexible, cycle-accurate energy estimation. | Phillip Stanley-Marbell, Michael S. Hsiao |
| 2001 | ITC | On efficient error diagnosis of digital circuits. | Nandini Sridhar, Michael S. Hsiao |
| 2001 | VLSID | Error Diagnosis of Sequential Circuits Using Region-Based Mode. | Anand L. D'Souza, Michael S. Hsiao |
| 2001 | VLSID | Accurate Power Macro-modeling Techniques for Complex RTL Circuits. | Nachiketh R. Potlapally, Michael S. Hsiao, Anand Raghunathan, Ganesh Lakshminarayana, Srimat T. Chakradhar |
| 2001 | VLSID | Combination of Structural and State Analysis for Partial Scan. | Sameer Sharma, Michael S. Hsiao |
| 2001 | VTS | Novel Spectral Methods for Built-In Self-Test in a System-on-a-Chip Environment. | Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwani D. Agrawal |
| 2000 | DATE | Multi-Node Static Logic Implications for Redundancy Identification. | Kabir Gulrajani, Michael S. Hsiao |
| 2000 | VTS | Testing, Verification, and Diagnosis in the Presence of Unknowns. | Ankur Jain, Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Michael S. Hsiao |
| 1999 | DATE | Peak Power Estimation Using Genetic Spot Optimization for Large VLSI Circuits. | Michael S. Hsiao |
| 1999 | ITC | An integrated approach to behavioral-level design-for-testability using value-range and variable testability techniques. | Sandhya Seshadri, Michael S. Hsiao |
| 1999 | VTS | On the Evaluation of Arbitrary Defect Coverage of Test Sets. | Ankur Jain, Michael S. Hsiao, Vamsi Boppana, Masahiro Fujita |
| 1999 | VTS | Partial Scan Using Multi-Hop State Reachability Analysis. | Sameer Sharma, Michael S. Hsiao |
| 1998 | DATE | State Relaxation Based Subsequence Removal for Fast Static Compaction in Sequential Circuits. | Michael S. Hsiao, Srimat T. Chakradhar |
| 1998 | ICCAD | A fast, accurate, and non-statistical method for fault coverage estimation. | Michael S. Hsiao |
| 1998 | VLSID | Partial Scan Selection Based on Dynamic Reachability and Observability Information. | Michael S. Hsiao, Gurjeet S. Saund, Elizabeth M. Rudnick, Janak H. Patel |
| 1997 | DATE | Sequential circuit test generation using dynamic state traversal. | Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel |
| 1997 | ICCAD | Effects of delay models on peak power estimation of VLSI sequential circuits. | Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel |
| 1997 | ISLPED | K2: an estimator for peak sustainable power of VLSI circuits. | Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel |
| 1997 | VLSID | Parallel Genetic Algorithms for Simulation-Based Sequential Circuit Test Generation. | Dilip Krishnaswamy, Michael S. Hsiao, Vikram Saxena, Elizabeth M. Rudnick, Janak H. Patel, Prithviraj Banerjee |
| 1997 | VTS | Fast Algorithms for Static Compaction of Sequential Circuit Test Vectors. | Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel |
| 1996 | DATE | Alternating Strategies for Sequential Circuit ATPG. | Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel |
| 1996 | VTS | Automatic test generation using genetically-engineered distinguishing sequences. | Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel |
| 1995 | ICCD | A new architectural-level fault simulation using propagation prediction of grouped fault-effects. | Michael S. Hsiao, Janak H. Patel |