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