Federated Fuzzy Learning with Imbalanced Data. - Lukas Johannes Dust; Marina López Murcia; Andreas Mäkilä; Petter Nordin; Ning Xiong 001; Francisco Herrera (ICMLA, 2021)

Quantitative analysis of communication handling for centralized multi-agent robot systems using ROS2. - Lukas Johannes Dust; Emil Persson; Mikael Ekström; Saad Mubeen; Emmanuel Dean (INDIN, 2022)

Dynamic Priority Scheduling for Periodic Systems Using ROS 2. - Lukas Johannes Dust; Saad Mubeen (ECBS, 2023)

Experimental Evaluation of Callback Behavior in ROS 2 Executors. - Lukas Johannes Dust; Emil Persson; Mikael Ekström; Saad Mubeen; Cristina Seceleanu; Rong Gu (ETFA, 2023)

Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. - Lukas Johannes Dust; Rong Gu; Cristina Seceleanu; Mikael Ekström; Saad Mubeen (FMICS, 2023)

UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. - Lukas Johannes Dust; Rong Gu; Cristina Seceleanu; Mikael Ekström; Saad Mubeen (FMICS, 2024)

A Model-Based Methodology for Automated Verification of ROS 2 Systems. - Lukas Johannes Dust; Mikael Ekström; Rong Gu; Saad Mubeen; Cristina Seceleanu (RoSE, 2024)

A model-based approach to automation of formal verification of ROS 2-based systems. - Lukas Johannes Dust; Rong Gu; Saad Mubeen; Mikael Ekström; Cristina Seceleanu (Frontiers Robotics AI, 2025)

Pattern-based verification of ROS 2 applications using UPPAAL. - Lukas Johannes Dust; Rong Gu; Cristina Seceleanu; Mikael Ekström; Saad Mubeen (Int. J. Softw. Tools Technol. Transf., 2025)