Xiaoyu Song

Portland State University

Papers

7

Total Citations

131

H-Index

6

About

No biography available yet.

Research Focus

Computer science7 · 131 citations
Artificial intelligence6 · 121 citations
Formal verification3 · 91 citations
Programming language3 · 91 citations
Embedded system3 · 91 citations
Automaton3 · 59 citations
Robot4 · 58 citations
Executable2 · 53 citations
Operating system2 · 53 citations
Code generation2 · 53 citations
Code (set theory)2 · 53 citations
Model checking3 · 50 citations

Key Achievements

6
H-Index
7
Papers
131
Total Citations
19
Avg Citations/Paper
🏆 Most Cited Paper
A Formal Model-Based Design Method for Robotic Systems
47 citations · 2018
📈 Most Prolific Year: 2018 (3 Papers)
🤝 Key Collaborators: 24
🏛 Institutions: Portland State University

Top Papers

  1. 1
    A Formal Model-Based Design Method for Robotic Systems
    47 citations · 2018
  2. 2
    From Offline Towards Real-Time Verification for Robot Systems
    38 citations · 2018
  3. 3
    Motion planning with Satisfiability Modulo Theories
    16 citations · 2014
  4. 4
    Time Synchronization for 5G and TSN Integrated Networking
    10 citations · 2025
  5. 5
    Formal analysis of the kinematic Jacobian in screw theory
    8 citations · 2018
  6. 6
    Timed automata based motion planning for a self-assembly robot system
    6 citations · 2014
  7. 7
    Formal Modeling and Automatic Code Synthesis for Robot System
    6 citations · 2017

Key Collaborators

YGYong Guan5 shared papersRWRui Wang3 shared papersXLXiaojuan Li3 shared papersHSHoubing Song2 shared papersZSZhiping Shi2 shared papersYJYu Jiang2 shared papersXLXiaojuan Li2 shared papersJZJie Zhang1 shared papersAWAixuan Wu1 shared papersZLZonghui Li1 shared papersWNWilliam N. N. Hung1 shared papersBABo Ai1 shared papersHWHongxing Wei1 shared papersPGPeng Gao1 shared papersXYXiumei Yang1 shared papersJZJie Zhang1 shared papersXLXinxin Li1 shared papersPLPing Luo1 shared papersRWRui Wang1 shared papersRWRui Wang1 shared papers
Not generated yet