Program WS4C 2011

The program is available from the INFORMATIK site.

List of presentations:

  • Invited talk
  • Technical papers
    • Zaheer Aziz, Dirk Fischer, Tobias Kotthäuser, and Bärbel Mertsching (University of Paderborn): "A Software System for Autonomous Rescue Robots"
    • Florian Brandner (CNRS - INRIA - UCB Lyon), Viktor Pavlu (Vienna University of Technology), Andreas Krall (Vienna University of Technology): "Modeling Application-Specific Processors for the Use in Cyber-Physical Systems"
    • Michael Engel, Florian Schmoll, Andreas Heinig, Peter Marwedel (TU Dortmund): "Unreliable yet Useful – Reliability Annotations for Data in Cyber-Physical Systems"
    • Ingo Lütkebohle, Sven Wachsmuth (Bielefeld University): "Requirements and a Case-Study for SLE from Robotics: Event-oriented Incremental Component Construction"
    • Matthias Meier and Olaf Spinczyk (TU Dortmund): "LavA: Model-Driven Development of Configurable MPSoC Hardware Structures for Robots"
    • Thomas Reinbacher (Vienna University of Technology), Dominique Gückel (RWTH Aachen), Martin Horauer (Univ. of Applied Sciences Technikum Wien): "Testing Microcontroller Software Simulators"
    • Dietmar Schreiner and Clemens Punzengruber (Vienna University of Technology): "Parametrizing Motion Controllers of Humanoid Robots by Evolution"
    • Christian Schwarz (University of Koblenz-Landau): "Modelling a Real-time Control System using Parameterized Linear Hybrid Automata"
    • Susanne Thierfelder, Viktor Seib, Dagmar Lang, Marcel Häselich, Johannes Pellenz, Dietrich Paulus (University of Koblenz-Landau): "Robbie: A Message-based Robot Architecture for Autonomous Mobile Systems"