Rong Gu

Mälardalen University

论文数

3

总引用数

19

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
3
论文
19
总引用数
6
篇均引用
🏆 最高被引论文
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL
9 次引用 · 2023
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 5
🏛 所属机构: Mälardalen University

代表论文

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

主要合作者

LDLukas Dust3 篇合著论文SMSaad Mubeen3 篇合著论文MEMikael Ekström3 篇合著论文CSCristina Seceleanu3 篇合著论文EPEmil Persson1 篇合著论文
尚未生成