2009 | ||
---|---|---|
89 | EE | 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 | ||
88 | EE | 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 |
87 | EE | Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang: A Maximum Weight Heuristic Method for Abstract State Computation. COMPSAC 2008: 231-234 |
86 | EE | Xiaoyu Song, Yang Cao, Chunguang Chang: A Hybrid Algorithm of PSO and SA for Solving JSP. FSKD (1) 2008: 111-115 |
85 | EE | Satyanarayana Nekkalapu, Haitham Akkary, Komal Jothi, Renjith Retnamma, Xiaoyu Song: A simple latency tolerant processor. ICCD 2008: 384-389 |
84 | EE | Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song: Component-Based Abstraction and Refinement. ICSR 2008: 39-51 |
83 | EE | 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 |
82 | EE | 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 |
81 | EE | 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 |
80 | EE | Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang: Effective Predicate Abstraction for Program Verification. TASE 2008: 129-132 |
79 | EE | 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) |
78 | EE | 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) |
77 | EE | 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) |
2007 | ||
76 | EE | Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun: Effective heuristics for counterexample-guided abstraction refinement. ACM Great Lakes Symposium on VLSI 2007: 393-398 |
75 | EE | Xiaoyu Song: Non-Functional Requirements Elicitation and Incorporation into Functional Models. APSEC 2007: 570 |
74 | EE | Wenjiang Huang, Jihua Wang, Xiaoyu Song, Chunjiang Zhao, Liangyun Liu: Wheat Grain Quality Forecasting by Canopy Reflected Spectrum. CCTA 2007: 1299-1301 |
73 | EE | 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) |
72 | EE | William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom: Defect-Tolerant CMOL Cell Assignment via Satisfiability CoRR abs/0705.4320: (2007) |
71 | EE | 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) |
70 | EE | Osama Neiroukh, Xiaoyu Song: Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques CoRR abs/0710.4713: (2007) |
69 | EE | 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) |
2006 | ||
68 | EE | Fei Xie, Guowu Yang, Xiaoyu Song: Compositional Reasoning for Hardware/Software Co-verification. ATVA 2006: 154-169 |
67 | EE | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun: A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA 2006: 39-50 |
66 | EE | Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski: Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. CIAA 2006: 279-280 |
65 | EE | Anduo Wang, Fei He, Ming Gu, Xiaoyu Song: Verifying Java Programs By Theorem Prover HOL. COMPSAC (1) 2006: 139-142 |
64 | EE | Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song: An Efficient Algorithm for the Analysis of Cyclic Circuits. ISVLSI 2006: 303-308 |
63 | EE | Fei Xie, Guowu Yang, Xiaoyu Song: Component-based hardware/software co-verification. MEMOCODE 2006: 27-36 |
62 | EE | 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 |
61 | EE | Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie: Maximal Models of Assertion Graph in GSTE. TAMC 2006: 684-693 |
60 | EE | 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) |
59 | EE | Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang: Congestion estimation for hexagonal routing. Int. J. Comput. Math. 83(3): 263-272 (2006) |
58 | EE | 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) |
57 | EE | Xiaoyu Song, Guowu Yang, Marek A. Perkowski, Yuke Wang: Algebraic Characterization of Reversible Logic Gates. Theory Comput. Syst. 39(2): 311-319 (2006) |
2005 | ||
56 | EE | 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 |
55 | EE | Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song: Implication of assertion graphs in GSTE. ASP-DAC 2005: 1060-1063 |
54 | EE | Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie: A Theoretical Upper Bound for IP-Based Floorplanning. COCOON 2005: 411-419 |
53 | EE | Osama Neiroukh, Xiaoyu Song: Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques. DATE 2005: 294-299 |
52 | EE | 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 |
51 | EE | 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 |
50 | EE | Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski: Bi-Direction Synthesis for Reversible Circuits. ISVLSI 2005: 14-19 |
49 | EE | 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 |
48 | EE | Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi: Translation-based co-verification. MEMOCODE 2005: 111-120 |
47 | EE | Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng: Probabilistic Estimation for Routing Space. Comput. J. 48(6): 667-676 (2005) |
46 | EE | 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) |
45 | EE | 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) |
44 | EE | 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) |
2004 | ||
43 | EE | Lerong Cheng, Xiaoyu Song, Guowu Yang, Zhiwei Tang: A fast congestion estimator for routing with bounded detours. ASP-DAC 2004: 666-670 |
42 | EE | Shiguang Ju, Xiaoyu Song: On the Formal Characterization of Covert Channel. AWCC 2004: 155-160 |
41 | EE | William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski: Quantum logic synthesis by symbolic reachability analysis. DAC 2004: 838-841 |
40 | EE | Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song: Congestion Estimation for 3D Routing. ISVLSI 2004: 239-240 |
39 | EE | Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum: Formal Specification of an Asynchronous Processor via Action Refinement. MTV 2004: 36-41 |
38 | EE | 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) |
37 | EE | 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) |
36 | EE | 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) |
35 | EE | 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) |
34 | EE | 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) |
2003 | ||
33 | EE | 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) |
32 | EE | 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) |
2002 | ||
31 | EE | 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 |
30 | EE | William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings: On segmented channel routability. ISCAS (1) 2002: 169-172 |
29 | EE | William N. N. Hung, Xiaoyu Song: On data address computation for embedded DSP systems. ISCAS (4) 2002: 532-535 |
28 | EE | 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) |
2001 | ||
27 | EE | 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 |
26 | William N. N. Hung, Xiaoyu Song: BDD Variable Ordering by Scatter Search. ICCD 2001: 368-373 | |
25 | EE | Yuke Wang, Carl McCrosky, Xiaoyu Song: Single-faced Boolean Functions and their Minimization. Comput. J. 44(4): 280-291 (2001) |
2000 | ||
24 | EE | 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 |
23 | EE | 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) |
1999 | ||
22 | EE | 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- |
21 | EE | Xiaoyu Song, Yuke Wang: On the crossing distribution problem. ACM Trans. Design Autom. Electr. Syst. 4(1): 39-51 (1999) |
20 | EE | Xuehou Tan, Xiaoyu Song: Routing Multiterminal Nets on a Hexagonal Grid. Discrete Applied Mathematics 90(1-3): 245-255 (1999) |
19 | Qian-Yu Tang, Xiaoyu Song: Diagnosis of Parallel Computers with Arbitrary Connectivity. IEEE Trans. Computers 48(7): 757-761 (1999) | |
18 | EE | 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) |
17 | EE | 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) |
1998 | ||
16 | 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 | |
15 | EE | 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 |
14 | EE | Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song: MDG-based Verification by Retiming and Combinational Transformations. Great Lakes Symposium on VLSI 1998: 356-361 |
1997 | ||
13 | Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny: On the non-termination of MDGs-based abstract state enumeration. CHARME 1997: 218-235 | |
12 | Xuehou Tan, Xiaoyu Song: Hexagonal Routings of Multiterminal Nets. COCOON 1997: 311-320 | |
11 | 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 | |
10 | 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) | |
1996 | ||
9 | 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 | |
8 | 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 | |
7 | EE | 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 |
6 | EE | 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 | ||
5 | Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song: State enumeration with abstract descriptions of state machines. CHARME 1995: 146-160 | |
4 | EE | Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin: Partitioning transition relations efficiently and automatically. Great Lakes Symposium on VLSI 1995: 106-111 |
3 | EE | Xuehou Tan, Xiaoyu Song: Hexagonal Three-Layer Channel Routing. Inf. Process. Lett. 55(4): 223-228 (1995) |
1994 | ||
2 | EE | 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 | ||
1 | EE | 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) |