Workshops

Workshops

9th Workshop on Dependability and Fault Tolerance (VERFE’13)

Focus topics:

        • Dependable Embedded Systems
        • Software-Controlled Adaptive Fault Tolerance in Microprocessors

VERFE Program - Tuesday, Feb. 19

Time Paper No. Authors and Title
09:30-10:00 1 Martin Kohlík and Hana Kubátová. Hierarchical Dependability Models Based on Markov Chains
10:00-10:30 2 Julian Wolf and Theo Ungerer. An Optimized Timing and Control Flow Checker for Hard Real-Time Systems
11:00-11:30 3 Tino Brade, Joerg Kaiser and Sebastian Zug. Expressing validity estimates in smart sensor applications
11:30-12:00 4 Matthias Meitner and Francesca Saglietti. Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software
12:00-13:30 LUNCH
13:30-14:00 5 Tomas Vaňát and Hana Kubátová. System for Radiation Testing of FPGAs
14:00-14:30 6 Johannes Formann and Klaus Echtle. Efficient Acknowledgement and Retransmission Techniques for Bus-Systems
14:30-15:00 7 Peter Sobe. Reliability Modeling of Fault-tolerant Storage System - Covering MDS-Codes and Regenerating Codes

3rd Workshop on Ultra-Low Power Sensor Networks (WUPS’13)

Worshop webpage: http://wups2013.irisa.fr/

Submission deadline: December 17,2012 (extended)


1st International Workshop on „Self-optimisation in organic and autonomic computing systems“ (SAOS’13)

Worshop webpage: http://www.informatik.uni-augsburg.de/lehrstuehle/oc/oc-ws-arcs13/

Submission deadline: November 27,2012