Reusability and Modifiability in Robotics Software (Extended Version)
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Pomponio, Laura, Cristiá, Maximiliano, Sorazábal, Estanislao Ruiz, García, Maximiliano |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
From B Specifications to $\{log$\}$ Forgrams
par: Cristiá, Maximiliano
Publié: (2024)
par: Cristiá, Maximiliano
Publié: (2024)
Accurate and Noise-Tolerant Extraction of Routine Logs in Robotic Process Automation (Extended Version)
par: de Leoni, Massimiliano, et autres
Publié: (2025)
par: de Leoni, Massimiliano, et autres
Publié: (2025)
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
par: Cristiá, Maximiliano, et autres
Publié: (2021)
par: Cristiá, Maximiliano, et autres
Publié: (2021)
Verification of Quantitative Temporal Properties in RealTime-DEVS
par: González, Ariel, et autres
Publié: (2024)
par: González, Ariel, et autres
Publié: (2024)
Software Reconfiguration in Robotics
par: Peldszus, Sven, et autres
Publié: (2023)
par: Peldszus, Sven, et autres
Publié: (2023)
Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
par: Goues, Claire Le, et autres
Publié: (2024)
par: Goues, Claire Le, et autres
Publié: (2024)
Extending Behavior Trees for Robotic Missions with Quality Requirements
par: Ghzouli, Razan, et autres
Publié: (2025)
par: Ghzouli, Razan, et autres
Publié: (2025)
Pixi: Unified Software Development and Distribution for Robotics and AI
par: Fischer, Tobias, et autres
Publié: (2025)
par: Fischer, Tobias, et autres
Publié: (2025)
Before Autonomy Takes Control: Software Testing in Robotics
par: Chur, Nils, et autres
Publié: (2026)
par: Chur, Nils, et autres
Publié: (2026)
Search-based Robustness Testing of Laptop Refurbishing Robotic Software
par: Isaku, Erblin, et autres
Publié: (2026)
par: Isaku, Erblin, et autres
Publié: (2026)
Software Engineering for Self-Adaptive Robotics: A Research Agenda
par: Sartaj, Hassan, et autres
Publié: (2025)
par: Sartaj, Hassan, et autres
Publié: (2025)
UAMTERS: Uncertainty-Aware Mutation Analysis for DL-enabled Robotic Software
par: Lu, Chengjie, et autres
Publié: (2026)
par: Lu, Chengjie, et autres
Publié: (2026)
Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
par: Yousaf, Muhammad, et autres
Publié: (2026)
par: Yousaf, Muhammad, et autres
Publié: (2026)
Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software
par: Chur, Nils, et autres
Publié: (2026)
par: Chur, Nils, et autres
Publié: (2026)
AWML: An Open-Source ML-based Robotics Perception Framework to Deploy for ROS-based Autonomous Driving Software
par: Tanaka, Satoshi, et autres
Publié: (2025)
par: Tanaka, Satoshi, et autres
Publié: (2025)
Orchestrating Human-AI Software Delivery: A Retrospective Longitudinal Field Study of Three Software Modernization Programs
par: Armesto, Maximiliano, et autres
Publié: (2026)
par: Armesto, Maximiliano, et autres
Publié: (2026)
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
par: Caldas, Ricardo, et autres
Publié: (2024)
par: Caldas, Ricardo, et autres
Publié: (2024)
Approaching Current Challenges in Developing a Software Stack for Fully Autonomous Driving
par: Sagmeister, Simon, et autres
Publié: (2025)
par: Sagmeister, Simon, et autres
Publié: (2025)
Exploring Robot Trajectory Planning -- A Comparative Analysis of Algorithms And Software Implementations in Dynamic Environments
par: Bora, Arunabh
Publié: (2024)
par: Bora, Arunabh
Publié: (2024)
CARLOS: An Open, Modular, and Scalable Simulation Framework for the Development and Testing of Software for C-ITS
par: Geller, Christian, et autres
Publié: (2024)
par: Geller, Christian, et autres
Publié: (2024)
ROBUST: 221 Bugs in the Robot Operating System
par: Timperley, Christopher S., et autres
Publié: (2024)
par: Timperley, Christopher S., et autres
Publié: (2024)
Metamorphic Testing of Vision-Language Action-Enabled Robots
par: Valle, Pablo, et autres
Publié: (2026)
par: Valle, Pablo, et autres
Publié: (2026)
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
par: Mallozzi, Piergiuseppe, et autres
Publié: (2023)
par: Mallozzi, Piergiuseppe, et autres
Publié: (2023)
Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots
par: Valle, Pablo, et autres
Publié: (2025)
par: Valle, Pablo, et autres
Publié: (2025)
Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
par: Filippone, Gianluca, et autres
Publié: (2026)
par: Filippone, Gianluca, et autres
Publié: (2026)
Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
par: Sartaj, Hassan, et autres
Publié: (2025)
par: Sartaj, Hassan, et autres
Publié: (2025)
VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation
par: Wang, Zhijie, et autres
Publié: (2024)
par: Wang, Zhijie, et autres
Publié: (2024)
Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
par: Sartaj, Hassan, et autres
Publié: (2026)
par: Sartaj, Hassan, et autres
Publié: (2026)
Enabling Generic Robot Skill Implementation Using Object Oriented Programming
par: Farrukh, Abdullah, et autres
Publié: (2025)
par: Farrukh, Abdullah, et autres
Publié: (2025)
UniCon: A Unified System for Efficient Robot Learning Transfers
par: Lin, Yunfeng, et autres
Publié: (2026)
par: Lin, Yunfeng, et autres
Publié: (2026)
Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
par: Wu, Jiahui, et autres
Publié: (2025)
par: Wu, Jiahui, et autres
Publié: (2025)
Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems
par: Khatiri, Sajad, et autres
Publié: (2025)
par: Khatiri, Sajad, et autres
Publié: (2025)
VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
par: Saurabh, Prasun, et autres
Publié: (2026)
par: Saurabh, Prasun, et autres
Publié: (2026)
A ROS2 Interface for Universal Robots Collaborative Manipulators Based on ur_rtde
par: Saccuti, Alessio, et autres
Publié: (2025)
par: Saccuti, Alessio, et autres
Publié: (2025)
Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
par: Trinh, Hiep Hong, et autres
Publié: (2025)
par: Trinh, Hiep Hong, et autres
Publié: (2025)
ROS-related Robotic Systems Development with V-model-based Application of MeROS Metamodel
par: Winiarski, Tomasz, et autres
Publié: (2025)
par: Winiarski, Tomasz, et autres
Publié: (2025)
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
par: Zhou, Zhehua, et autres
Publié: (2023)
par: Zhou, Zhehua, et autres
Publié: (2023)
Fast and Modular Autonomy Software for Autonomous Racing Vehicles
par: Saba, Andrew, et autres
Publié: (2024)
par: Saba, Andrew, et autres
Publié: (2024)
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
par: Saadat, Maryam Ghaffari, et autres
Publié: (2024)
par: Saadat, Maryam Ghaffari, et autres
Publié: (2024)
Event-Driven Simulation for Rapid Iterative Development of Distributed Space Flight Software
par: Bell, Toby, et autres
Publié: (2025)
par: Bell, Toby, et autres
Publié: (2025)
Documents similaires
-
From B Specifications to $\{log$\}$ Forgrams
par: Cristiá, Maximiliano
Publié: (2024) -
Accurate and Noise-Tolerant Extraction of Routine Logs in Robotic Process Automation (Extended Version)
par: de Leoni, Massimiliano, et autres
Publié: (2025) -
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
par: Cristiá, Maximiliano, et autres
Publié: (2021) -
Verification of Quantitative Temporal Properties in RealTime-DEVS
par: González, Ariel, et autres
Publié: (2024) -
Software Reconfiguration in Robotics
par: Peldszus, Sven, et autres
Publié: (2023)