- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j59 |      | 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): 247-254 (2013) |
| c92 | | 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: 423-428 |
| i4 | | 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 abs/1303.6885 (2013) |
| 2012 | ||
| j58 | | Jun-Bo Wang, Ming Sheng, Xiaoyu Song, Yuan Jiao, Ming Chen: Comments on `BER Performance of FSO Links over Strong Atmospheric Turbulence Channels with Pointing Errors'. IEEE Communications Letters 16(1): 22-23 (2012) |
| j57 | | Yonghui Wang, Xiaoyu Song, Shoujin Wang: An Improved Base State with Amendments Spatio-Temporal Data Model. JSW 7(3): 663-669 (2012) |
| j56 | | Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu: Maxterm Covering for Satisfiability. IEEE Trans. Computers 61(3): 420-426 (2012) |
| c91 | | Bei Cui, Wude Yang, Meichen Feng, Wenjiang Huang, Xiaoyu Song: Study on the Spatial - Temporal Variability of Soil Nutrients during Winter Wheat Growth Season. CCTA (2) 2012: 238-247 |
| c90 | | 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: 243-248 |
| c89 | | Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu: Reliability Analysis of PLC Systems by Bayesian Network. SERE 2012: 283-290 |
| 2011 | ||
| j55 | | Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo: Competent predicate abstraction in model checking. SCIENCE CHINA Information Sciences 54(2): 258-267 (2011) |
| j54 | | Rui Wang, Xiaoyu Song, Jianzhong Zhu, Ming Gu: Formal modeling and synthesis of programmable logic controllers. Computers in Industry 62(1): 23-31 (2011) |
| j53 | | Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen: Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems. Comput. J. 54(6): 894-904 (2011) |
| j52 | | Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng: Exploring structural symmetry automatically in symbolic trajectory evaluation. Formal Methods in System Design 39(2): 117-143 (2011) |
| j51 | | Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu: Formalisation and verification of programmable logic controllers timers in Coq. IET Software 5(1): 32-42 (2011) |
| j50 | | Xia Jing, Wan-Qiang Yao, Jihua Wang, Xiaoyu Song: A study on the relationship between dynamic change of vegetation coverage and precipitation in Beijing's mountainous areas during the last 20 years. Mathematical and Computer Modelling 54(3-4): 1079-1085 (2011) |
| j49 | | Guowu Yang, Fei Xie, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski: Realization and synthesis of reversible functions. Theor. Comput. Sci. 412(17): 1606-1613 (2011) |
| j48 | | Yongjian Li, William N. N. Hung, Xiaoyu Song: A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. Theor. Comput. Sci. 412(25): 2746-2765 (2011) |
| c88 | | Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li: An Iterative Method for Generating Loop Invariants. FAW-AAIM 2011: 264-274 |
| c87 | | Shoujin Wang, Xiaoyu Song, Yonghui Wang, Jingke Xu: Design and implementation of villages and towns housing construction products intelligent service system. BMEI 2011: 2202-2205 |
| c86 | | Yonghui Wang, Shoujin Wang, Xiaoyu Song: Base state with amendments spatio-temporal data model on time-slot retrieval based on temporary base-state. FSKD 2011: 1540-1544 |
| c85 | | Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song: Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. Haifa Verification Conference 2011: 242-246 |
| c84 | | Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song: Enhanced symbolic simulation of a round-robin arbiter. ICCD 2011: 102-107 |
| c83 | | Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu: Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM 2011: 115-130 |
| c82 | | Xingang Xu, Jihua Wang, Wenjiang Huang, Cunjun Li, Xiaoyu Song, Xiaodong Yang, Hao Yang: Winter Wheat Yield Estimation Coupling Weight Optimization Combination Method with Remote Sensing Data from Landsat5 TM. CCTA (3) 2011: 284-292 |
| c81 | | Xiaoyu Song, Wenjiang Huang, Bei Cui, Jihong Zhou: Winter Wheat Seedtime Monitoring through Satellite Remote Sensing Data. CCTA (3) 2011: 362-371 |
| c80 | | Cunjun Li, Qian Wang, Jihua Wang, Yan Wang, Xiaodong Yang, Xiaoyu Song, Wenjiang Huang: Wheat Grain Protein Content Estimation Based on Multi-temporal Remote Sensing Data and Generalized Regression Neural Network. CCTA (2) 2011: 381-389 |
| c79 | | Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun: Proving Computational Geometry Algorithms in TLA+2. TASE 2011: 251-254 |
| 2010 | ||
| j47 | | Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu: Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Computers & Digital Techniques 4(4): 306-316 (2010) |
| j46 | | Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang: An Analytical Congestion Model with Bounded-Bend Detours. Journal of Circuits, Systems, and Computers 19(2): 479-490 (2010) |
| j45 | | 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): 116-126 (2010) |
| j44 | | Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen: Formal Analysis of End-Around-Carry Adder in Floating-Point Unit. IEEE Trans. on CAD of Integrated Circuits and Systems 29(10): 1655-1659 (2010) |
| c78 | | Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski: Synthesizing hybrid quantum circuits without ancilla qudits. IEEE Congress on Evolutionary Computation 2010: 1-7 |
| c77 | | Hehua Zhang, Ming Gu, Xiaoyu Song: Specifying Time-Sensitive Systems with TLA+. COMPSAC 2010: 425-430 |
| c76 | | Zhufei Chu, Yinshui Xia, William N. N. Hung, Lun-Yao Wang, Xiaoyu Song: A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping. DSD 2010: 681-688 |
| c75 | | Yonghui Wang, Xiaoyu Song, Shoujin Wang: Algorithm of arcs recognition based on bar tracking. FSKD 2010: 2535-2540 |
| c74 | | Xiaoyu Song, Chunguang Chang, Chunhui Liu: GM(1, 1) based grey programming model for emergency goods scheduling. FSKD 2010: 2821-2825 |
| c73 | | Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi: AOP-based high-level power estimation in SystemC. ACM Great Lakes Symposium on VLSI 2010: 353-356 |
| c72 | | Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen: Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. ICA3PP (1) 2010: 193-204 |
| c71 | | |
| c70 | | Xiaoyu Song, Zhenhua Duan, Cong Tian: Non-Functional Requirements Elicitation and Incorporation into Class Diagrams. Intelligent Information Processing 2010: 72-81 |
| c69 | | Xingang Xu, Xiaohe Gu, Xiaoyu Song, Cunjun Li, Wenjiang Huang: Assessing Rice Chlorophyll Content with Vegetation Indices from Hyperspectral Data. CCTA (1) 2010: 296-303 |
| c68 | | Xiaoyu Song, Lihua Sun: Study on the Convergence of Hybrid Ant Colony Algorithm for Job Shop Scheduling Problems. IITSI 2010: 493-497 |
| c67 | | |
| c66 | | Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu: Compositional Abstraction Refinement for Timed Systems. TASE 2010: 168-176 |
| c65 | | |
| 2009 | ||
| j43 | | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun: Heuristic-Guided Abstraction Refinement. Comput. J. 52(3): 280-287 (2009) |
| j42 | | Hai Wan, Gu Ming, Xiaoyu Song: Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. Mathematical and Computer Modelling 50(7-8): 1090-1099 (2009) |
| c64 | | Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu: Formalization and Verification of PLC Timers in Coq. COMPSAC (1) 2009: 315-323 |
| c63 | | Min Zhou, Fei He, Ming Gu, Xiaoyu Song: Translation-Based Model Checking for PLC Programs. COMPSAC (1) 2009: 553-562 |
| c62 | | Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan: A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD 2009: 281-286 |
| c61 | | He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu: Data mining based decomposition for assume-guarantee reasoning. FMCAD 2009: 116-119 |
| c60 | | Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan: Formal Specification and Code Generation of Programable Logic Controllers. ICECCS 2009: 102-109 |
| c59 | | Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan: A case study on system-level modeling by aspect-oriented programming. ISQED 2009: 345-349 |
| 2008 | ||
| j41 | | Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski: Bi-Directional Synthesis of 4-Bit Reversible Circuits. Comput. J. 51(2): 207-215 (2008) |
| j40 | | Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Chang-Jun Seo: Minimal universal library for n×n reversible circuits. Computers & Mathematics with Applications 56(1): 160-165 (2008) |
| j39 | | Lerong Cheng, Xiaoyu Song, Guowu Yang, William N. N. Hung, Zhiwei Tang, Shaodi Gao: A fast congestion estimator for routing with bounded detours. Integration 41(3): 360-370 (2008) |
| j38 | | Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song: Transforming Cyclic Circuits Into Acyclic Equivalents. IEEE Trans. on CAD of Integrated Circuits and Systems 27(10): 1775-1787 (2008) |
| c58 | | Hehua Zhang, Ming Gu, Xiaoyu Song: Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. Annual Simulation Symposium 2008: 279-285 |
| c57 | | Zhiqiang Li, Hanwu Chen, Baowen Xu, Wenjie Liu, Xiaoyu Song, Xilin Xue: Fast algorithm for 4-qubit reversible logic circuits synthesis. IEEE Congress on Evolutionary Computation 2008: 2202-2207 |
| c56 | | Xiaojun Lu, Guowu Yang, Jianping Li, Xiaoyu Song, William N. N. Hung: The probability logics for nanoscale inverterscascade. IEEE Congress on Evolutionary Computation 2008: 2487-2491 |
| c55 | | Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang: A Maximum Weight Heuristic Method for Abstract State Computation. COMPSAC 2008: 231-234 |
| c54 | | Xiaoyu Song, Yang Cao, Chunguang Chang: A Hybrid Algorithm of PSO and SA for Solving JSP. FSKD (1) 2008: 111-115 |
| c53 | | Satyanarayana Nekkalapu, Haitham Akkary, Komal Jothi, Renjith Retnamma, Xiaoyu Song: A simple latency tolerant processor. ICCD 2008: 384-389 |
| c52 | | |
| c51 | | Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song: A New Approach for the Construction of Multiway Decision Graphs. ICTAC 2008: 228-242 |
| c50 | | Xiaoyu Song, Lanyang Yu, Huanliang Sun: An Incremental Query Algorithm for Optimal Path Queries under Traffic Jams. ISCSCT (1) 2008: 472-475 |
| c49 | | Xiaoyu Song, Bin He, Yonghui Wang: A Mini Arc Recognition Algorithm Based on the Topological Inference. ISCSCT (2) 2008: 686-689 |
| c48 | | Hehua Zhang, Ming Gu, Xiaoyu Song: Modeling and analysis of stage machinery control systems by timed colored Petri nets. SIES 2008: 103-110 |
| c47 | | Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang: Verifying programmable logic controllers with abstraction. SIES 2008: 225-228 |
| c46 | | Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang: Effective Predicate Abstraction for Program Verification. TASE 2008: 129-132 |
| 2007 | ||
| j37 | | Rui Wang, Xiaoyu Song, Ming Gu: Modelling and verification of program logic controllers using timed automata. IET Software 1(4): 127-131 (2007) |
| j36 | | 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 Computers & Digital Techniques 1(4): 382-388 (2007) |
| j35 | | Fei Xie, Guowu Yang, Xiaoyu Song: Component-based hardware/software co-verification for building trustworthy embedded systems. Journal of Systems and Software 80(5): 643-654 (2007) |
| j34 | | Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He: A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Trans. Design Autom. Electr. Syst. 12(4) (2007) |
| c45 | | Xiaoyu Song: Non-Functional Requirements Elicitation and Incorporation into Functional Models. APSEC 2007: 570 |
| c44 | | Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun: Effective heuristics for counterexample-guided abstraction refinement. ACM Great Lakes Symposium on VLSI 2007: 393-398 |
| c43 | | Wenjiang Huang, Jihua Wang, Xiaoyu Song, Chunjiang Zhao, Liangyun Liu: Wheat Grain Quality Forecasting by Canopy Reflected Spectrum. CCTA 2007: 1299-1301 |
| i3 | | William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom: Defect-Tolerant CMOL Cell Assignment via Satisfiability. CoRR abs/0705.4320 (2007) |
| i2 | | 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 abs/0710.4694 (2007) |
| i1 | | Osama Neiroukh, Xiaoyu Song: Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques. CoRR abs/0710.4713 (2007) |
| 2006 | ||
| j33 | | Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun: A combinatorial congestion estimation approach with generalized detours. Computers & Mathematics with Applications 51(6-7): 1113-1126 (2006) |
| j32 | | Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang: Congestion estimation for hexagonal routing. Int. J. Comput. Math. 83(3): 263-272 (2006) |
| j31 | | Xiaoyu Song, Guowu Yang, Marek A. Perkowski, Yuke Wang: Algebraic Characterization of Reversible Logic Gates. Theory Comput. Syst. 39(2): 311-319 (2006) |
| j30 | | Shengyi Jiang, Xiaoyu Song, Hui Wang, Jian-Jun Han, Qing-Hua Li: A clustering-based method for unsupervised intrusion detections. Pattern Recognition Letters 27(7): 802-810 (2006) |
| j29 | | 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. on CAD of Integrated Circuits and Systems 25(9): 1652-1663 (2006) |
| c42 | | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun: A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA 2006: 39-50 |
| c41 | | Fei Xie, Guowu Yang, Xiaoyu Song: Compositional Reasoning for Hardware/Software Co-verification. ATVA 2006: 154-169 |
| c40 | | Anduo Wang, Fei He, Ming Gu, Xiaoyu Song: Verifying Java Programs By Theorem Prover HOL. COMPSAC (1) 2006: 139-142 |
| c39 | | Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song: An Efficient Algorithm for the Analysis of Cyclic Circuits. ISVLSI 2006: 303-308 |
| c38 | | Fei Xie, Guowu Yang, Xiaoyu Song: Component-based hardware/software co-verification. MEMOCODE 2006: 27-36 |
| c37 | | Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski: Group Theory Based Synthesis of Binary Reversible Circuits. TAMC 2006: 365-374 |
| c36 | | Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie: Maximal Models of Assertion Graph in GSTE. TAMC 2006: 684-693 |
| c35 | | Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski: Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. CIAA 2006: 279-280 |
| 2005 | ||
| j28 | | Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng: Probabilistic Estimation for Routing Space. Comput. J. 48(6): 667-676 (2005) |
| j27 | | Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun: On synthesis of 3 × 3 reversible logic functions. Int. J. Comput. Math. 82(4): 385-390 (2005) |
| j26 | | Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun: On Theoretical Upper Bounds for Routing Estimation. J. UCS 11(6): 916-925 (2005) |
| j25 | | Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun: Multiterminal net assignments by scatter search. Mathematical and Computer Modelling 41(8-9): 997-1004 (2005) |
| j24 | | Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski: Majority-based reversible logic gates. Theor. Comput. Sci. 334(1-3): 259-274 (2005) |
| c34 | | Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski: Fast synthesis of exact minimal reversible circuits using group theory. ASP-DAC 2005: 1002-1005 |
| c33 | | Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song: Implication of assertion graphs in GSTE. ASP-DAC 2005: 1060-1063 |
| c32 | | Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie: A Theoretical Upper Bound for IP-Based Floorplanning. COCOON 2005: 411-419 |
| c31 | | Osama Neiroukh, Xiaoyu Song: Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques. DATE 2005: 294-299 |
| c30 | | 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: 434-435 |
| c29 | | Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun: Segmented channel routing with pin rearrangements via satisfiability. ISCAS (6) 2005: 6248-6251 |
| c28 | | Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski: Bi-Direction Synthesis for Reversible Circuits. ISVLSI 2005: 14-19 |
| c27 | | Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun: A Hierachical Method for Wiring and Congestion Prediction. ISVLSI 2005: 307-308 |
| c26 | | Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi: Translation-based co-verification. MEMOCODE 2005: 111-120 |
| 2004 | ||
| j23 | | Ying Xu, Xiaoyu Song, Eduard Cerny, Otmane Aït Mohamed: Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs). Comput. J. 47(1): 71-84 (2004) |
| j22 | | 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): 901-908 (2004) |
| j21 | | Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou: MDG-Based State Enumeration By Retiming And Circuit Transformation. Journal of Circuits, Systems, and Computers 13(5): 1111-1132 (2004) |
| j20 | | Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song: A stochastic model for cellassignments in PCS networks. Mathematical and Computer Modelling 40(7-8): 745-755 (2004) |
| j19 | | 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): 517-528 (2004) |
| j18 | | William N. N. Hung, Xiaoyu Song, T. Kam, Lerong Cheng, Guowu Yang: Routability checking for three-dimensional architectures. IEEE Trans. VLSI Syst. 12(12): 1371-1374 (2004) |
| c25 | | Lerong Cheng, Xiaoyu Song, Guowu Yang, Zhiwei Tang: A fast congestion estimator for routing with bounded detours. ASP-DAC 2004: 666-670 |
| c24 | | |
| c23 | | William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski: Quantum logic synthesis by symbolic reachability analysis. DAC 2004: 838-841 |
| c22 | | Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song: Congestion Estimation for 3D Routing. ISVLSI 2004: 239-240 |
| c21 | | Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum: Formal Specification of an Asynchronous Processor via Action Refinement. MTV 2004: 36-41 |
| 2003 | ||
| j17 | | Xinming Ye, Jiantao Zhou, Xiaoyu Song: On reachability graphs of Petri nets. Computers & Electrical Engineering 29(2): 263-272 (2003) |
| j16 | | Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny: On the non-termination of M-based abstract state enumeration. Theor. Comput. Sci. 300(1-3): 161-179 (2003) |
| j15 | | 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. VLSI Syst. 11(3): 511-514 (2003) |
| 2002 | ||
| j14 | | William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Michael A. Driscoll: BDD minimization by scatter search. IEEE Trans. on CAD of Integrated Circuits and Systems 21(8): 974-979 (2002) |
| j13 | | Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid, Hong Shen: Adder based residue to binary number converters for (2n-1, 2n, 2n+1). IEEE Transactions on Signal Processing 50(7): 1772-1779 (2002) |
| c20 | | 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: 130-135 |
| c19 | | William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings: On segmented channel routability. ISCAS (1) 2002: 169-172 |
| c18 | | William N. N. Hung, Xiaoyu Song: On data address computation for embedded DSP systems. ISCAS (4) 2002: 532-535 |
| 2001 | ||
| j12 | | Yuke Wang, Carl McCrosky, Xiaoyu Song: Single-faced Boolean Functions and their Minimization. Comput. J. 44(4): 280-291 (2001) |
| c17 | | Marek A. Perkowski, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Xiaoyu Song, Anas Al-Rabadi, Bart Massey, Pawel Kerntopf, Andrzej Buller, Lech Józwiak, Alan J. Coppola: Regular Realization of Symmetric Functions Using Reversible Logic. DSD 2001: 245-253 |
| c16 |  | |
| 2000 | ||
| j11 | | Xiaoyu Song, Qian-Yu Tang, Dian Zhou, Yuke Wang: Wire space estimation and routability analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 19(5): 624-628 (2000) |
| c15 | | V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song: Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI 2000: 23-28 |
| 1999 | ||
| j10 | | Xuehou Tan, Xiaoyu Song: Routing Multiterminal Nets on a Hexagonal Grid. Discrete Applied Mathematics 90(1-3): 245-255 (1999) |
| j9 | | Qian-Yu Tang, Xiaoyu Song: Diagnosis of Parallel Computers with Arbitrary Connectivity. IEEE Trans. Computers 48(7): 757-761 (1999) |
| j8 | | Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed: Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. IEEE Trans. on CAD of Integrated Circuits and Systems 18(7): 956-972 (1999) |
| j7 | | Qian-Yu Tang, Xiaoyu Song, Yuke Wang: Diagnosis of clustered faults for identical degree topologies. IEEE Trans. on CAD of Integrated Circuits and Systems 18(8): 1192-1201 (1999) |
| j6 | | Xiaoyu Song, Yuke Wang: On the crossing distribution problem. ACM Trans. Design Autom. Electr. Syst. 4(1): 39-51 (1999) |
| c14 | | Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid: A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II. Great Lakes Symposium on VLSI 1999: 362- |
| 1998 | ||
| c13 | | Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane Aït Mohamed: Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. CAV 1998: 219-231 |
| c12 | | Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid: Residue to Binary Number Converters for (2n-1, 2n, 2n+1). Great Lakes Symposium on VLSI 1998: 174-178 |
| c11 | | Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song: MDG-based Verification by Retiming and Combinational Transformations. Great Lakes Symposium on VLSI 1998: 356-361 |
| c10 | | Jianping Lu, Sofiène Tahar, Dan Voicu, Xiaoyu Song: Model checking of a real ATM switch. ICCD 1998: 195-198 |
| 1997 | ||
| j5 | | Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny: Multiway Decision Graphs for Automated Hardware Verification. Formal Methods in System Design 10(1): 7-46 (1997) |
| c9 | | Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny: On the non-termination of MDGs-based abstract state enumeration. CHARME 1997: 218-235 |
| c8 | | |
| c7 | | Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou: Verification with Abstract State Machines Using MDGs. Formal Hardware Verification 1997: 79-113 |
| 1996 | ||
| c6 | | K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou: MDG Tools for the Verification of RTL Designs. CAV 1996: 433-436 |
| c5 | | Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin: Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. FMCAD 1996: 233-247 |
| c4 | | Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin: Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs. Great Lakes Symposium on VLSI 1996: 106-111 |
| c3 | | Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny: Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. ICCD 1996: 20-26 |
| 1995 | ||
| j4 | | Xuehou Tan, Xiaoyu Song: Hexagonal Three-Layer Channel Routing. Inf. Process. Lett. 55(4): 223-228 (1995) |
| c2 | | Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song: State enumeration with abstract descriptions of state machines. CHARME 1995: 146-160 |
| c1 | | Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin: Partitioning transition relations efficiently and automatically. Great Lakes Symposium on VLSI 1995: 106-111 |
| 1994 | ||
| j3 | | Xiaoyu Song: An efficient DM switchbox router. Microprocessing and Microprogramming 40(6): 439-446 (1994) |
| j2 | | Xiaoyu Song, Xuehou Tan: An optimal channel-routing algorithm in the times square model. IEEE Trans. on CAD of Integrated Circuits and Systems 13(7): 891-898 (1994) |
| 1992 | ||
| j1 | | Xiaoyu Song: An algorithm for L-shaped channel routing in a diagonal model. IEEE Trans. on CAD of Integrated Circuits and Systems 11(2): 267-270 (1992) |
Colors in the list of coauthors
Last update Wed May 22 00:52:34 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page