William N. N. Hung

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 10

Top Topics

Equivalence Class

Matching Algorithm

Boolean Functions

Top Venues

IEEE Trans. Computers

Publications

Juling Zhang, Guowu Yang, William N. N. Hung, Yan Zhang, Jinzhao Wu
An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion. Clust. Comput. 22 (Supplement) (2019)
Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu, Yixin Zhu
A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature. Symmetry 11 (1) (2019)
Juling Zhang, Guowu Yang, William N. N. Hung, Tian Liu, Xiaoyu Song, Marek A. Perkowski
A Group Algebraic Approach to NPN Classification of Boolean Functions. Theory Comput. Syst. 63 (6) (2019)
Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs (1) (2018)
William N. N. Hung, Richard Sun
Challenges in Large FPGA-based Logic Emulation Systems. ISPD (2018)
Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu
A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature. IEEE Access 5 (2017)
Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu
A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature. CoRR (2017)
Juling Zhang, Guowu Yang, William N. N. Hung, Yan Zhang
An Efficient NPN Boolean Matching Algorithm Based on Structural Signature and Shannon Expansion. CoRR (2017)
Yan Zhang, Guowu Yang, William N. N. Hung, Juling Zhang
Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism. IEEE Trans. Computers 65 (12) (2016)
Rui Wang, William N. N. Hung, Guowu Yang, Xiaoyu Song
Uncertainty Model for Configurable Hardware/Software and Resource Partitioning. IEEE Trans. Computers 65 (10) (2016)
Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (1) (2015)
Chao Zhao, Guowu Yang, William N. N. Hung, Xiaoyu Li
A multipartite entanglement measure based on coefficient matrices. Quantum Inf. Process. 14 (8) (2015)
Fuyou Fan, Guowu Yang, Gang Yang, William N. N. Hung
A Synthesis Method of Quantum Reversible Logic Circuit Based on Elementary Qutrit Quantum Logic Gates. J. Circuits Syst. Comput. 24 (8) (2015)
Jiantao Zhou, Caihe Lan, William N. N. Hung, Xinrui Guo, Xiaoyu Song
A Quantitative Characterization of Cross Coverage. IEEE Trans. Computers 64 (8) (2015)
Qianqi Le, Guowu Yang, William N. N. Hung, Xiaoyu Song, Xinpeng Zhang
Pareto optimal mapping for tile-based network-on-chip under reliability constraints. Int. J. Comput. Math. 92 (1) (2015)
Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Symbolic Analysis of Programmable Logic Controllers. IEEE Trans. Computers 63 (10) (2014)
William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao
Motion planning with Satisfiability Modulo Theories. ICRA (2014)
Qianqi Le, Guowu Yang, William N. N. Hung, Xiaoyu Song, Fuyou Fan
Performance-driven assignment and mapping for reliable networks-on-chips. J. Zhejiang Univ. Sci. C 15 (11) (2014)
Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi
A Case Study on Formal Analysis of an Automated Guided Vehicle System. J. Appl. Math. 2014 (2014)
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation. Comput. J. 57 (1) (2014)
Guowu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo
A Transformation-Based Approach to Implication of GSTE Assertion Graphs. J. Appl. Math. 2013 (2013)
Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun
Bayesian-Network-Based Reliability Analysis of PLC Systems. IEEE Trans. Ind. Electron. 60 (11) (2013)
Wensheng Guo, Guowu Yang, William N. N. Hung, Xiaoyu Song
Complete Boolean Satisfiability Solving Algorithms Based on Local Search. J. Comput. Sci. Technol. 28 (2) (2013)
Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Sequential dependency and reliability analysis of embedded systems. ASP-DAC (2013)
Tao Wang, William N. N. Hung
Reliable Node Clustering for Mobile Ad Hoc Networks. J. Appl. Math. 2013 (2013)
Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC (2013)
Xibin Zhao, William N. N. Hung, Yafei Yang, Xiaoyu Song
Optimizing communication in mobile ad hoc network clustering. Comput. Ind. 64 (7) (2013)
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE (2013)
Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CoRR (2013)
Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. CAV (2013)
Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI (2012)
Qianqi Le, Guowu Yang, William N. N. Hung, Wensheng Guo
Reliable NoC Mapping Based on Scatter Search. ICICA (LNCS) (2012)
Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu
Maxterm Covering for Satisfiability. IEEE Trans. Computers 61 (3) (2012)
Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu
Reliability Analysis of PLC Systems by Bayesian Network. SERE (2012)
Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun
New strategies for reliability analysis of Programmable Logic Controllers. Math. Comput. Model. 55 (7-8) (2012)
Wensheng Guo, Guowu Yang, Qianqi Le, William N. N. Hung
Complete SAT Solver Based on Set Theory. ICICA (LNCS) (2012)
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. Haifa Verification Conference (2011)
Yongjian Li, William N. N. Hung, Xiaoyu Song
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. Theor. Comput. Sci. 412 (25) (2011)
Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng
Exploring structural symmetry automatically in symbolic trajectory evaluation. Formal Methods Syst. Des. 39 (2) (2011)
Anping He, William N. N. Hung, Guowu Yang, Jinzhao Wu, Lian Li
Mathematical analysis of stage-based programmable logic controller. Comput. Math. Appl. 61 (7) (2011)
Guowu Yang, Fei Xie, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
Realization and synthesis of reversible functions. Theor. Comput. Sci. 412 (17) (2011)
Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM (2011)
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
Enhanced symbolic simulation of a round-robin arbiter. ICCD (2011)
Zhiyang You, Xibin Zhao, Hai Wan, William N. N. Hung, Yuke Wang, Ming Gu
A novel fault diagnosis mechanism for wireless sensor networks. Math. Comput. Model. 54 (1-2) (2011)
Zhufei Chu, Yinshui Xia, William N. N. Hung, Lun-Yao Wang, Xiaoyu Song
A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping. DSD (2010)
Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
Synthesizing hybrid quantum circuits without ancilla qudits. IEEE Congress on Evolutionary Computation (2010)
Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu
Compositional Abstraction Refinement for Timed Systems. TASE (2010)
Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers 59 (1) (2010)
He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu
Data mining based decomposition for assume-guarantee reasoning. FMCAD (2009)
Lerong Cheng, Xiaoyu Song, Guowu Yang, William N. N. Hung, Zhiwei Tang, Shaodi Gao
A fast congestion estimator for routing with bounded detours. Integr. 41 (3) (2008)
Xiaojun Lu, Guowu Yang, Jianping Li, Xiaoyu Song, William N. N. Hung
The probability logics for nanoscale inverterscascade. IEEE Congress on Evolutionary Computation (2008)
Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
Bi-Directional Synthesis of 4-Bit Reversible Circuits. Comput. J. 51 (2) (2008)
Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Chang-Jun Seo
Minimal universal library for n×n reversible circuits. Comput. Math. Appl. 56 (1) (2008)
Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory CoRR (2007)
Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Jacob D. Biamonte, Zhiwei Tang
Four-level realisation of 3-qubit reversible functions. IET Comput. Digit. Tech. 1 (4) (2007)
William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom
Defect-Tolerant CMOL Cell Assignment via Satisfiability CoRR (2007)
William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (9) (2006)
Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung, Jia-Guang Sun
Probabilistic optimization for FPGA board level routing problems. IEEE Trans. Circuits Syst. II Express Briefs (4) (2006)
Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski
Group Theory Based Synthesis of Binary Reversible Circuits. TAMC (2006)
Guowu Yang, Fei Xie, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
A Constructive Algorithm for Reversible Logic Synthesis. IEEE Congress on Evolutionary Computation (2006)
Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
Fast synthesis of exact minimal reversible circuits using group theory. ASP-DAC (2005)
Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. DATE (2005)
Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song
Implication of assertion graphs in GSTE. ASP-DAC (2005)
Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
Segmented channel routing with pin rearrangements via satisfiability. ISCAS (6) (2005)
Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
Bi-Direction Synthesis for Reversible Circuits. ISVLSI (2005)
Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
Majority-based reversible logic gates. Theor. Comput. Sci. 334 (1-3) (2005)
Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song
A comparative study on search strategies for cell assignments. Int. J. Comput. Math. 81 (7) (2004)
William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Andrew A. Kennings, Alan J. Coppola
Segmented channel routability via satisfiability. ACM Trans. Design Autom. Electr. Syst. 9 (4) (2004)
Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song
Congestion Estimation for 3D Routing. ISVLSI (2004)
William N. N. Hung, Xiaoyu Song, T. Kam, Lerong Cheng, Guowu Yang
Routability checking for three-dimensional architectures. IEEE Trans. Very Large Scale Integr. Syst. 12 (12) (2004)
William N. N. Hung, Naren Narasimhan
Reference model based RTL verification: an integrated approach. HLDVT (2004)
Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song
Congestion estimation for 3-D circuit architectures. IEEE Trans. Circuits Syst. II Express Briefs (12) (2004)
William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski
Quantum logic synthesis by symbolic reachability analysis. DAC (2004)
Xiaoyu Song, William N. N. Hung, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Andrew A. Kennings, Alan J. Coppola
Board-level multiterminal net assignment for the partial cross-bar architecture. IEEE Trans. Very Large Scale Integr. Syst. 11 (3) (2003)
Xiaoyu Song, William N. N. Hung, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Alan J. Coppola, Andrew A. Kennings
Board-level multiterminal net assignment. ACM Great Lakes Symposium on VLSI (2002)
William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings
On segmented channel routability. ISCAS (1) (2002)
William N. N. Hung, Xiaoyu Song
On data address computation for embedded DSP systems. ISCAS (4) (2002)
William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Michael A. Driscoll
BDD minimization by scatter search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21 (8) (2002)
William N. N. Hung, Xiaoyu Song
BDD Variable Ordering by Scatter Search. ICCD (2001)