1. A Model-Based Methodology for Automated Verification of ROS 2 Systems;Proceedings of the 2024 ACM/IEEE 6th International Workshop on Robotics Software Engineering;2024-04-15
2. Experimental Evaluation of Callback Behavior in ROS 2 Executors;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12
3. NeoBFT: Accelerating Byzantine Fault Tolerance Using Authenticated In-Network Ordering;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09
4. Data Integration Framework to Collect Data from OT/IT Systems;Acta Technica Jaurinensis;2023-05-31
5. FnF-BFT: A BFT Protocol with Provable Performance Under Attack;Structural Information and Communication Complexity;2023