We stand with Ukraine  

Michael Hsiao

According to our database1, Michael Hsiao authored at least 5 papers between 2017 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Awards

IEEE Fellow

IEEE Fellow 2013, "For contributions to automatic test pattern generation of integrated circuits".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
RTL Test Generation on Multi-core and Many-Core Architectures.
[BibTeX]
[DOI]
Aravind Krishnan Varadarajan
,
Michael Hsiao
Proceedings of the 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, 2019

2018
Guiding RTL Test Generation Using Relevant Potential Invariants.
[BibTeX]
[DOI]
Tania Khanna
,
Michael Hsiao
Proceedings of the 36th IEEE International Conference on Computer Design, 2018

A Natural Language Programming Application for Lego Mindstorms EV3.
[BibTeX]
[DOI]
Yue Zhan
,
Michael Hsiao
Proceedings of the 2018 IEEE International Conference on Artificial Intelligence and Virtual Reality, 2018

Converting Natural Language Text to ROS-Compatible Instruction Base.
[BibTeX]
[DOI]
Takondwa Kakusa
,
Michael Hsiao
Proceedings of the 2018 IEEE International Conference on Artificial Intelligence and Virtual Reality, 2018

2017
Reachability analysis in RTL circuits using k-induction bounded model checking.
[BibTeX]
[DOI]
Tonmoy Roy
,
Michael Hsiao
Proceedings of the 2017 IEEE International High Level Design Validation and Test Workshop, 2017


  Loading...