Author:
Carvalho Renato,Cunha Alcino,Macedo Nuno,Santos Andre
Funder
European Regional Development Fund
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool;Autonomous Robots;2024-07-05
2. A framework for formal verification of robot kinematics;Journal of Logical and Algebraic Methods in Programming;2024-06
3. Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27
4. 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
5. STRIVE: A Co-Simulation-Based Testing Platform Enhanced with Runtime Monitors;2024 16th International Conference on COMmunication Systems & NETworkS (COMSNETS);2024-01-03