Ricardo Diniz Caldas
Visar 14 publikationer
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
A Driver-Vehicle Model for ADS Scenario-Based Testing
EzSkiROS: Enhancing Robot Skill Composition with Embedded DSL for Early Error Detection
Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach
From Chance to Choice: Strategies to Attaining Resilience in Cyber-Physical Systems
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
An architecture for mission coordination of heterogeneous robots
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
Engineering Software for Resilient Cyber-Physical Systems
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
RoboMAX: Robotic Mission Adaptation eXemplars
A hybrid approach combining control theory and AI for engineering self-adaptive systems
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.