Department Informatik

Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems (2011) Stilkerich M, Schedel J, Ulbrich P, Schröder-Preikschat W, Lohmann D Conference contribution Energy-Aware Programming Utilizing the SEEP Framework and Symbolic Execution (2011) Hönig T, Eibel C, Kapitza R, Schröder-Preikschat W Conference contribution DistRM: Distributed Resource Management for On-Chip Many-Core Systems (2011) Kobbe S, Bauer L, Lohmann D, Schröder-Preikschat W, Henkel J Conference contribution Challenges in Real-Time Synchronization (2011) Stellwag P, Schröder-Preikschat W Conference contribution A Wait-Free NCAS Library for Parallel Applications with Timing Constraints (2011) Stellwag P, Scheler F, Krainz J, Schröder-Preikschat W Conference contribution, Original article Automated Application of Fault Tolerance Mechanisms in a Component-Based System (2011) Stilkerich I, Stilkerich M, Kapitza R, Lohmann D, Schröder-Preikschat W Conference contribution An Infrastructure for Composing Build Systems of Software Product Lines (2011) Elsner C, Lohmann D, Schröder-Preikschat W Conference contribution A New Virtual Hardware Laboratory for Remote FPGA Experiments on Real Hardware (2011) Reichenbach M, Schmidt M, Pfundt B, Fey D Conference contribution Trajectory Behavior Language (2011) Edelhäußer T, Philippsen M, Mutschler C Conference contribution, Original article Structural Equivalence Partition and Boundary Testing (2011) Oster N, Philippsen M Conference contribution, Original article