Michael S. Hsiao

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 30

Top Venues

ICCD

ITC

ETS

ISQED

Publications

Yue Zhan, Michael S. Hsiao
A Hybrid Approach for Automatic Feedback Generation in Natural Language Programming. TransAI (2022)
Rahul Krishnamurthy, Michael S. Hsiao
Automated Suggestions Framework for Processing Hardware Specifications Written in English. FDL (2022)
Aditi, Michael S. Hsiao
Hybrid Rule-based and Machine Learning System for Assertion Generation from Natural Language Specifications. ATS (2022)
Yue Zhan, Michael S. Hsiao
Formal Validation for Natural Language Programming using Hierarchical Finite State Automata. ICAART (1) (2021)
Yue Zhan, Michael S. Hsiao
Breaking Down High-Level Robot Path-Finding Abstractions in Natural Language Programming. AI*IA (2020)
Rahul Krishnamurthy, Michael S. Hsiao
Transforming Natural Language Specifications to Logical Forms for Hardware Verification. ICCD (2020)
Steven J. Frederiksen, John Aromando, Michael S. Hsiao
Automated Assertion Generation from Natural Language Specifications. ITC (2020)
Yue Zhan, Michael S. Hsiao
Breaking Down High-level Robot Path-Finding Abstractions in Natural Language Programming. NL4AI@AI*IA (2020)
Rahul Krishnamurthy, Michael S. Hsiao
EASE: Enabling Hardware Assertion Synthesis from English. RuleML+RR (2019)
Rahul Krishnamurthy, Michael S. Hsiao
Controlled Natural Language Framework for Generating Assertions from Hardware Specifications. ICSC (2019)
Kunal Bansal, Michael S. Hsiao
Optimization of Mutant Space for RTL Test Generation. ICCD (2018)
Sarmad Tanwir, Michael S. Hsiao, Loganathan Lingappan
An online framework for diagnosis of multiple defects in scan chains. ISQED (2018)
Michael S. Hsiao
Automated Program Synthesis from Object-Oriented Natural Language for Computer Games. CNL (2018)
Michael S. Hsiao, Sarmad Tanwir
Fast fault coverage estimation of sequential tests using entropy measurements. VTS (2018)
Yue Zhan, Michael S. Hsiao
A Natural Language Programming Application for Lego Mindstorms EV3. AIVR (2018)
Sarmad Tanwir, Michael S. Hsiao, Loganathan Lingappan
A Test Pattern Quality Metric for Diagnosis of Multiple Stuck-at and Transition faults. ACM Great Lakes Symposium on VLSI (2017)
Sonal Pinto, Michael S. Hsiao
RTL functional test generation using factored concolic execution. ITC (2017)
Kelson Gent, Akash Agrawal, Michael S. Hsiao
A framework for fast test generation at the RTL. VTS (2017)
Sonal Pinto, Michael S. Hsiao
Fast Search-Based RTL Test Generation Using Control-Flow Path Guidance. ICCD (2017)
Kelson Gent, Michael S. Hsiao
Fast Multi-level Test Generation at the RTL. ISVLSI (2016)
Brendan A. Marcellino, Michael S. Hsiao
Dynamic partitioning strategy to enhance symbolic execution. DATE (2016)
Sarmad Tanwir, Michael S. Hsiao, Loganathan Lingappan
Hardware-in-the-loop model-less diagnostic test generation. HLDVT (2016)
Kelson Gent, Michael S. Hsiao
A control path aware metric for grading functional test vectors. LATS (2016)
Prateek Puri, Michael S. Hsiao
Fast Stimuli Generation for Design Validation of RTL Circuits Using Binary Particle Swarm Optimization. ISVLSI (2015)
Sharad Bagri, Kelson Gent, Michael S. Hsiao
Signal domain based reachability analysis in RTL circuits. ISQED (2015)
Kelson Gent, Michael S. Hsiao
Abstraction-based relation mining for functional test generation. VTS (2015)
Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao
Branch guided functional test generation at the RTL. ETS (2015)
Sarmad Tanwir, Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan
Information-theoretic and statistical methods of failure log selection for improved diagnosis. ITC (2015)
Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa ElNainay
Novel SAT-based invariant-directed low-power synthesis. ISQED (2015)
Prateek Puri, Michael S. Hsiao
SI-SMART: Functional test generation for RTL circuits using loop abstraction and learning recurrence relationships. ICCD (2015)
Mahmoud Elbayoumi, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Michael S. Hsiao, Mustafa Y. ElNainay
TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis. DAC (2014)
Kuan-Yu Liao, Po-Juei Chen, Ang-Feng Lin, James Chien-Mo Li, Michael S. Hsiao, Laung-Terng Wang
GPU-based timing-aware test generation for small delay defects. ETS (2014)
Kelson Gent, Michael S. Hsiao
Dual-Purpose Mixed-Level Test Generation Using Swarm Intelligence. ATS (2014)
Sarvesh Prabhu, Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao
A diagnosis-friendly LBIST architecture with property checking. ITC (2014)
Sarvesh Prabhu, Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao
Property-checking based LBIST for improved diagnosability. ETS (2014)
Swarup Bhunia, Michael S. Hsiao, Mainak Banga, Seetharam Narasimhan
Hardware Trojan Attacks: Threat Analysis and Countermeasures. Proc. IEEE 102 (8) (2014)
Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay
A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms. DATE (2013)
Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay
Set-cover-based critical implications selection to improvesat-based bounded model checking: extended abstract. ACM Great Lakes Symposium on VLSI (2013)
Swarup Bhunia, Miron Abramovici, Dakshi Agrawal, Paul Bradley, Michael S. Hsiao, Jim Plusquellic, Mohammad Tehranipoor
Protection Against Hardware Trojan Attacks: Towards a Comprehensive Solution. IEEE Des. Test 30 (3) (2013)
Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay
Selecting critical implications with set-covering formulation for SAT-based Bounded Model Checking. ICCD (2013)
France Bélanger, Robert E. Crossler, Janine S. Hiller, Jung-Min Park, Michael S. Hsiao
POCKET: A tool for protecting children's privacy online. Decis. Support Syst. 54 (2) (2013)
Dhrumeel Bakshi, Michael S. Hsiao
LFSR seed computation and reduction using SMT-based fault-chaining. DATE (2013)
Kelson Gent, Michael S. Hsiao
Functional Test Generation at the RTL Using Swarm Intelligence and Bounded Model Checking. Asian Test Symposium (2013)
Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram
Test generation for circuits with embedded memories using SMT. ETS (2013)
Rashmi Moudgil, Dinesh Ganta, Leyla Nazhandali, Michael S. Hsiao, Chao Wang, T. Simin Hall
A novel statistical and circuit-based technique for counterfeit detection in existing ICs. ACM Great Lakes Symposium on VLSI (2013)
Avinash R. Desai, Michael S. Hsiao, Chao Wang, Leyla Nazhandali, T. Simin Hall
Interlocking obfuscation for anti-tamper hardware. CSIIRW (2013)
Min Li, Kelson Gent, Michael S. Hsiao
Design validation of RTL circuits using evolutionary swarm intelligence. ITC (2012)
Nathaniel J. Short, A. Lynn Abbott, Michael S. Hsiao, Edward A. Fox
Temporal analysis of fingerprint impressions. BTAS (2012)
Nathaniel J. Short, A. Lynn Abbott, Michael S. Hsiao, Edward A. Fox
Robust feature extraction in fingerprint images using ridge model tracking. BTAS (2012)
Kameshwar Chandrasekar, Supratik K. Misra, Sanjay Sengupta, Michael S. Hsiao
A scan pattern debugger for partial scan industrial designs. DATE (2012)
Min Li, Michael S. Hsiao
RAG: An efficient reliability analysis of logic circuits on graphics processing units. DATE (2012)
Shianling Wu, Laung-Terng Wang, Xiaoqing Wen, Wen-Ben Jone, Michael S. Hsiao, Fangfang Li, James Chien-Mo Li, Jiun-Lang Huang
Launch-on-Shift Test Generation for Testing Scan Designs Containing Synchronous and Asynchronous Clock Domains. ACM Trans. Design Autom. Electr. Syst. 17 (4) (2012)
Huy Nguyen, Michael S. Hsiao
Sequential equivalence checking of hard instances with targeted inductive invariants and efficient filtering strategies. HLDVT (2012)
Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram
A Novel SMT-Based Technique for LFSR Reseeding. VLSI Design (2012)
Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram
A SMT-based diagnostic test generation method for combinational circuits. VTS (2012)
Nathan J. Short, A. Lynn Abbott, Michael S. Hsiao, Edward A. Fox
Reducing descriptor measurement error through Bayesian estimation of fingerprint minutia location and direction. IET Biom. 1 (1) (2012)
Wei Hu, Huy Nguyen, Michael S. Hsiao
Sufficiency-based filtering of invariants for Sequential Equivalence Checking. HLDVT (2011)
Sandesh Prabhakar, Rajamani Sethuram, Michael S. Hsiao
Trace Buffer-Based Silicon Debug with Lossless Compression. VLSI Design (2011)
Nathan J. Short, Michael S. Hsiao, A. Lynn Abbott, Edward A. Fox
Latent fingerprint segmentation using ridge template correlation. ICDP (2011)
Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan
Strategies for scalable symbolic execution-driven test generation for programs. Sci. China Inf. Sci. 54 (9) (2011)
Nathan J. Short, A. Lynn Abbott, Michael S. Hsiao, Edward A. Fox
A Bayesian approach to fingerprint minutia localization and quality assessment using adaptable templates. IJCB (2011)
Sarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy
An Efficient 2-Phase Strategy to Achieve High Branch Coverage. Asian Test Symposium (2011)
Kevin E. Hoyle, Nathan J. Short, Michael S. Hsiao, A. Lynn Abbott, Edward A. Fox
Minutiae + friction ridges = triplet-based features for determining sufficiency in fingerprints. ICDP (2011)
Min Li, Michael S. Hsiao
High-Performance Diagnostic Fault Simulation on GPUs. ETS (2011)
Shianling Wu, Laung-Terng Wang, Xiaoqing Wen, Zhigang Jiang, Lang Tan, Yu Zhang, Yu Hu, Wen-Ben Jone, Michael S. Hsiao, James Chien-Mo Li, Jiun-Lang Huang, Lizhen Yu
Using Launch-on-Capture for Testing Scan Designs Containing Synchronous and Asynchronous Clock Domains. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (3) (2011)
Sung Hee Park, Jonathan Leidig, Lin Tzy Li, Edward A. Fox, Nathan J. Short, Kevin E. Hoyle, A. Lynn Abbott, Michael S. Hsiao
Experiment and Analysis Services in a Fingerprint Digital Library for Collaborative Research. TPDL (2011)
Min Li, Michael S. Hsiao
3-D Parallel Fault Simulation With GPGPU. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (10) (2011)
Mainak Banga, Nikhil P. Rahagude, Michael S. Hsiao
Design-for-test methodology for non-scan at-speed testing. DATE (2011)
Maheshwar Chandrasekar, Michael S. Hsiao
Fault Collapsing Using a Novel Extensibility Relation. VLSI Design (2011)
Min Li, Kelson Gent, Michael S. Hsiao
Utilizing GPGPUs for design validation with a modified Ant Colony Optimization. HLDVT (2011)
Maheshwar Chandrasekar, Michael S. Hsiao
A Novel Learning Framework for State Space Exploration Based on Search State Extensibility Relation. VLSI Design (2011)
Mainak Banga, Michael S. Hsiao
ODETTE: A non-scan design-for-test methodology for Trojan detection in ICs. HOST (2011)
Min Li, Michael S. Hsiao
FSimGP^2: An Efficient Fault Simulator with GPGPU. Asian Test Symposium (2010)
Min Li, Yexin Zheng, Michael S. Hsiao, Chao Huang
Reversible logic synthesis through ant colony optimization. DATE (2010)
Maheshwar Chandrasekar, Nikhil P. Rahagude, Michael S. Hsiao
Search State Compatibility Based Incremental Learning Framework and Output Deviation Based X-filling for Diagnostic Test Generation. J. Electron. Test. 26 (2) (2010)
Neha Goel, Michael S. Hsiao, Naren Ramakrishnan, Mohammed J. Zaki
Mining Complex Boolean Expressions for Sequential Equivalence Checking. Asian Test Symposium (2010)
Sandesh Prabhakar, Michael S. Hsiao
Multiplexed trace signal selection using non-trivial implication-based correlation. ISQED (2010)
Nikhil P. Rahagude, Maheshwar Chandrasekar, Michael S. Hsiao
DFT + DFD: An Integrated Method for Design for Testability and Diagnosability. Asian Test Symposium (2010)
Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan
Tackling the Path Explosion Problem in Symbolic Execution-Driven Test Generation for Programs. Asian Test Symposium (2010)
Mainak Banga, Michael S. Hsiao
Trusted RTL: Trojan Detection Methodology in Pre-silicon Designs. HOST (2010)
Nannan He, Michael S. Hsiao
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification. DATE (2009)
Min Li, Michael S. Hsiao
An ant colony optimization technique for abstraction-guided state justification. ITC (2009)
Swapneel Donglikar, Mainak Banga, Maheshwar Chandrasekar, Michael S. Hsiao
Fast circuit topology based method to configure the scan chains in Illinois Scan architecture. ITC (2009)
Mainak Banga, Michael S. Hsiao
VITAMIN: Voltage Inversion Technique to Ascertain Malicious Insertions in ICs. HOST (2009)
Maheshwar Chandrasekar, Michael S. Hsiao
Diagnostic Test Generation for silicon diagnosis with an incremental learning framework based on search state compatibility. HLDVT (2009)
Michael S. Hsiao, Mainak Banga
Kiss the Scan Goodbye: A Non-scan Architecture for High Coverage, Low Test Data Volume and Low Test Application Time. Asian Test Symposium (2009)
Sandesh Prabhakar, Michael S. Hsiao
Using Non-trivial Logic Implications for Trace Buffer-Based Silicon Debug. Asian Test Symposium (2009)
Kaigui Bian, Jung-Min Park, Michael S. Hsiao, France Bélanger, Janine S. Hiller
Evaluation of Online Resources in Assisting Phishing Detection. SAINT (2009)
Mainak Banga, Michael S. Hsiao
A Novel Sustained Vector Technique for the Detection of Hardware Trojans. VLSI Design (2009)
Allen B. MacKenzie, Jeffrey H. Reed, Peter M. Athanas, Charles W. Bostian, R. Michael Buehrer, Luiz A. DaSilva, Steven W. Ellingson, Y. Thomas Hou, Michael S. Hsiao, Jung-Min Park, Cameron D. Patterson, Sanjay Raman, Claudio R. C. M. da Silva
Cognitive Radio and Networking Research at Virginia Tech. Proc. IEEE 97 (4) (2009)
Lei Fang, Michael S. Hsiao
Bilateral Testing of Nano-scale Fault-Tolerant Circuits. J. Electron. Test. 24 (1-3) (2008)
Weixin Wu, Michael S. Hsiao
Efficient Design Validation Based on Cultural Algorithms. DATE (2008)
Xueqi Cheng, Michael S. Hsiao
Simulation-Directed Invariant Mining for Software Verification. DATE (2008)
Weixin Wu, Michael S. Hsiao
Mining Global Constraints With Domain Knowledge for Improving Bounded Sequential Equivalence Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (1) (2008)
Lei Fang, Michael S. Hsiao
A Fast Approximation Algorithm for MIN-ONE SAT. DATE (2008)
Shrirang M. Yardi, Michael S. Hsiao
Quantifying the energy efficiency of coordinated micro-architectural adaptation for multimedia workloads. ICCD (2008)
Hong-Sik Kim, Sungho Kang, Michael S. Hsiao
A New Scan Architecture for Both Low Power Testing and Test Volume Compression Under SOC Test Environment. J. Electron. Test. 24 (4) (2008)
Shianling Wu, Laung-Terng Wang, Zhigang Jiang, Jiayong Song, Boryau Sheu, Xiaoqing Wen, Michael S. Hsiao, James Chien-Mo Li, Jiun-Lang Huang, Ravi Apte
On Optimizing Fault Coverage, Pattern Count, and ATPG Run Time Using a Hybrid Single-Capture Scheme for Testing Scan Designs. DFT (2008)
Karthik Channakeshava, Kaigui Bian, Michael S. Hsiao, Jung-Min Park, Robert E. Crossler, France Bélanger, Payal Aggarwal, Janine S. Hiller
On Providing Automatic Parental Consent over Information Collection from Children. Security and Management (2008)
Michael S. Hsiao, Robert B. Jones
Introduction to special section on high-level design, validation, and test. ACM Trans. Design Autom. Electr. Syst. 13 (1) (2008)

Michael S. Hsiao.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael S. Hsiao