Abstract is missing.
- Overview of Simulation of Video-Camera Effects for Robotic Systems in R3-COPMichal Kucis, Pavel Zemcík, Oliver Zendel, Wolfgang Herzner. [doi]
- A Reference Example on the Specification of Safety Requirements using ISO 26262Jonas Westman, Mattias Nyberg. [doi]
- Simple Methods for Error Detection and Correction for Low-Cost Nano SatellitesKjell Arne Ødegaard, Amund Skavhaug. [doi]
- A Reliable Fault-Tolerant Scheduling Algorithm for Real Time Embedded SystemsChafik Arar, Hamoudi Kalla, Salim Kalla, Hocine Riadh. [doi]
- Designing Autonomous Robot Systems - Evaluation of the R3-COP Decision Support System ApproachTapio Heikkilä, Lars Dalgaard, Jukka Koskinen. [doi]
- Scenario-based Automated Evaluation of Test Traces of Autonomous SystemsGergo Horányi, Zoltán Micskei, István Majzik. [doi]
- R3-COP Resilient Reasoning Robotic Co-operating SystemsWolfgang Herzner, Erwin Schoitsch. [doi]
- Model-based Testing of Cooperating Robotic Systems using Coloured Petri NetsRaimar Lill, Francesca Saglietti. [doi]
- Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a SystemMax Steiner, Peter Liggesmeyer. [doi]
- Towards Failure Models and Error Propagation in Product LinesSara Bessling. [doi]
- Obstacle detection and mapping in low-cost, low-power multi-robot systems using an Inverted Particle FilterAdam Leon Kleppe, Amund Skavhaug. [doi]
- Model-based Test-Case Generation for Testing Robustness of Vision Components of Robotic SystemsWolfgang Herzner, Markus Murschitz, Oliver Zendel. [doi]
- FlexRay demonstrator for certificationFelix Bruckmüller, Erwin Krister, Wilfried Kubinger. [doi]
- Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault TreesMichael Roth, Peter Liggesmeyer. [doi]