Lukas Dust

Mälardalen University

论文数

4

总引用数

26

H-Index

3

关于

暂无简介。

研究焦点

Computer science4 · 26 次引用
Real-time computing2 · 16 次引用
Distributed computing2 · 16 次引用
Callback2 · 16 次引用
Computer network2 · 14 次引用
Engineering2 · 10 次引用
Automaton1 · 9 次引用
Model checking1 · 9 次引用
Embedded system1 · 9 次引用
Theoretical computer science1 · 9 次引用
Correctness1 · 9 次引用
Programming language1 · 9 次引用

主要成就

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

代表论文

  1. 1
    Pattern-Based Verification of ROS 2 Nodes Using UPPAAL
    9 次引用 · 2023
  2. 2
    Quantitative analysis of communication handling for centralized multi-agent robot systems using ROS2
    7 次引用 · 2022
  3. 3
    Experimental Evaluation of Callback Behavior in ROS 2 Executors
    7 次引用 · 2023
  4. 4
    A Model-Based Methodology for Automated Verification of ROS 2 Systems
    3 次引用 · 2024

主要合作者

SMSaad Mubeen4 篇合著论文MEMikael Ekström4 篇合著论文CSCristina Seceleanu3 篇合著论文RGRong Gu3 篇合著论文EPEmil Persson2 篇合著论文EDEmmanuel Dean‐Leon1 篇合著论文
尚未生成