Rong Gu

Mälardalen University

Papers

3

Total Citations

19

H-Index

3

About

No biography available yet.

Research Focus

Computer science3 · 19 citations
Callback2 · 16 citations
Theoretical computer science1 · 9 citations
Model checking1 · 9 citations
Programming language1 · 9 citations
Real-time computing1 · 9 citations
Automaton1 · 9 citations
Correctness1 · 9 citations
Distributed computing1 · 9 citations
Embedded system1 · 9 citations
Executor1 · 9 citations
Formal verification1 · 9 citations

Key Achievements

3
H-Index
3
Papers
19
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL
9 citations · 2023
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Mälardalen University

Top Papers

  1. 1
    Pattern-Based Verification of ROS 2 Nodes Using UPPAAL
    9 citations · 2023
  2. 2
    Experimental Evaluation of Callback Behavior in ROS 2 Executors
    7 citations · 2023
  3. 3
    A Model-Based Methodology for Automated Verification of ROS 2 Systems
    3 citations · 2024

Key Collaborators

LDLukas Dust3 shared papersSMSaad Mubeen3 shared papersMEMikael Ekström3 shared papersCSCristina Seceleanu3 shared papersEPEmil Persson1 shared papers
Not generated yet