DECS@SAFECOMP

Publications

2013

Sara Bessling
Towards Failure Models and Error Propagation in Product Lines. DECS@SAFECOMP (2013)
Adam Leon Kleppe, Amund Skavhaug
Obstacle detection and mapping in low-cost, low-power multi-robot systems using an Inverted Particle Filter. DECS@SAFECOMP (2013)
Max Steiner, Peter Liggesmeyer
Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a System. DECS@SAFECOMP (2013)
Raimar Lill, Francesca Saglietti
Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. DECS@SAFECOMP (2013)
Gergo Horányi, Zoltán Micskei, István Majzik
Scenario-based Automated Evaluation of Test Traces of Autonomous Systems. DECS@SAFECOMP (2013)
Wolfgang Herzner, Erwin Schoitsch
R3-COP Resilient Reasoning Robotic Co-operating Systems. DECS@SAFECOMP (2013)
Michael Roth, Peter Liggesmeyer
Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees. DECS@SAFECOMP (2013)
Michal Kucis, Pavel Zemcík, Oliver Zendel, Wolfgang Herzner
Overview of Simulation of Video-Camera Effects for Robotic Systems in R3-COP. DECS@SAFECOMP (2013)
Tapio Heikkilä, Lars Dalgaard, Jukka Koskinen
Designing Autonomous Robot Systems - Evaluation of the R3-COP Decision Support System Approach. DECS@SAFECOMP (2013)
Felix Bruckmüller, Erwin Krister, Wilfried Kubinger
FlexRay demonstrator for certification. DECS@SAFECOMP (2013)
Kjell Arne Ødegaard, Amund Skavhaug
Simple Methods for Error Detection and Correction for Low-Cost Nano Satellites. DECS@SAFECOMP (2013)
Wolfgang Herzner, Markus Murschitz, Oliver Zendel
Model-based Test-Case Generation for Testing Robustness of Vision Components of Robotic Systems. DECS@SAFECOMP (2013)
SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013 DECS@SAFECOMP (2013)
Jonas Westman, Mattias Nyberg
A Reference Example on the Specification of Safety Requirements using ISO 26262. DECS@SAFECOMP (2013)
Chafik Arar, Hamoudi Kalla, Salim Kalla, Hocine Riadh
A Reliable Fault-Tolerant Scheduling Algorithm for Real Time Embedded Systems. DECS@SAFECOMP (2013)