William N. N. Hung

79 papers A* 3A 1B 5C 5Misc 1Journal 47Unranked 17

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