Lukas Johannes Dust

According to our database, Lukas Johannes Dust authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Model-Based Methodology for Automated Verification of ROS 2 Systems.

Lukas Johannes Dust, Mikael Ekström, Rong Gu, Saad Mubeen, Cristina Seceleanu

Proceedings of the 6th IEEE/ACM International Workshop on Robotics Software Engineering, 2024

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Pattern-Based Verification of ROS 2 Nodes Using UPPAAL.

Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Experimental Evaluation of Callback Behavior in ROS 2 Executors.

Lukas Johannes Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Cristina Seceleanu, Rong Gu

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Dynamic Priority Scheduling for Periodic Systems Using ROS 2.

Lukas Johannes Dust, Saad Mubeen

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

2022

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

Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

2021

Federated Fuzzy Learning with Imbalanced Data.

Lukas Johannes Dust, Marina López Murcia, Andreas Mäkilä, Petter Nordin, Ning Xiong, Francisco Herrera

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021