Lukas Johannes Dust

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Qualitative Analysis

Fingerprint Verification

Top Venues

Publications

Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. FMICS (2024)
Lukas Johannes Dust, Saad Mubeen
Dynamic Priority Scheduling for Periodic Systems Using ROS 2. ECBS (2023)
Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. FMICS (2023)
Lukas Johannes Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Cristina Seceleanu, Rong Gu
Experimental Evaluation of Callback Behavior in ROS 2 Executors. ETFA (2023)
Lukas Johannes Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Emmanuel Dean
Quantitative analysis of communication handling for centralized multi-agent robot systems using ROS2. INDIN (2022)
Lukas Johannes Dust, Marina López Murcia, Andreas Mäkilä, Petter Nordin, Ning Xiong, Francisco Herrera
Federated Fuzzy Learning with Imbalanced Data. ICMLA (2021)