Saad Mubeen

Mälardalen University

Papers

5

Total Citations

28

H-Index

3

About

No biography available yet.

Research Focus

Computer science5 · 28 citations
Real-time computing3 · 18 citations
Distributed computing3 · 18 citations
Callback2 · 16 citations
Computer network2 · 14 citations
Engineering3 · 12 citations
Correctness1 · 9 citations
Formal verification1 · 9 citations
Embedded system1 · 9 citations
Automaton1 · 9 citations
Executor1 · 9 citations
Model checking1 · 9 citations

Key Achievements

3
H-Index
5
Papers
28
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 (3 Papers)
🤝 Key Collaborators: 9
🏛 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
  5. 5
    Dispatching Deadline Constrained Jobs in Edge Computing Systems
    2 citations · 2023

Key Collaborators

MEMikael Ekström4 shared papersLDLukas Dust4 shared papersRGRong Gu3 shared papersCSCristina Seceleanu3 shared papersEPEmil Persson2 shared papersSMShaik Mohammed Salman1 shared papersAVAlessandro V. Papadopoulos1 shared papersTNThomas Nolte1 shared papersEDEmmanuel Dean‐Leon1 shared papers
Not generated yet