Lukas Dust

Mälardalen University

Papers

4

Total Citations

26

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
4
Papers
26
Total Citations
7
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: 6
🏛 Institutions: Mälardalen University

Top Papers

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

Key Collaborators

SMSaad Mubeen4 shared papersMEMikael Ekström4 shared papersCSCristina Seceleanu3 shared papersRGRong Gu3 shared papersEPEmil Persson2 shared papersEDEmmanuel Dean‐Leon1 shared papers
Not generated yet