Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 2

Conference/Workshop Paper (1)

Combining model-based development and formal verification of a complex ROS2 multi-robots system using Timed Rebeca (Jun 2024)
Hiep Hong Trinh, Marjan Sirjani, Fereidoun Moradi, Antonio Cicchetti, Federico Ciccozzi
International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024 (REMARO2024)

Master Theses (1)

MODEL-BASED DEVELOPMENT & VERIFICATION OF ROS2 ROBOTIC APPLICATIONS USING TIMED REBECA (Jun 2023)
Hiep Hong Trinh
DiVA portal (DiVA)

Items per page:
May 2024
Systematic Development of Collaborative Blended Modeling Environments
May 2024
Deep-IDS: A Real-time Intrusion Detector for IoT Nodes using Deep Learning
Apr 2024
Combining Ontology and Large Language Models to Identify Recurring Machine Failures in Free-Text Fields
Apr 2024
Exploring API behaviours through generated examples
Apr 2024
Towards Adopting a Digital Twin Framework (ISO 23247) for Battery Systems
Apr 2024
Context Factors Perceived Important when Looking for Similar Experiences in Decision–Making for Software Components – An Interview Study