2009

Berichte

TR_0901 Hauke Fuhrmann, Reinhard von Hanxleden
Enhancing Graphical Model-Based System Design - An Avionics Case Study Januar 2009
TR_0902 Florian Diedrich, Klaus Jansen
Tight Approximation Algorithms for Scheduling with Fixed Jobs and Non-Availability Februar 2009
TR_0903 Hannu Jaakkola, Bernhard Thalheim
A Formal Approach to High Quality Software Design and Development Februar 2009
TR_0904 Klaus Jansen, Lars Prädel, Ulrich M. Schwarz
A 2-approximation for 2D bin packing März 2009
TR_0906 Klaus Jansen, Hu Zhang
Scheduling Malleable Tasks with Precedence Constraints März 2009
TR_0907 Falk Starke, Claus Traulsen, Reinhard von Hanxleden
Executing Safe State Machines on a Reactive Processor März 2009
TR_0908 Klaus Jansen, Lars Prädel
How to Maximize the Total Area of Rectangles Packed into a Rectangle? März 2009
TR_0909 Klaus Jansen
Parameterized Approximation Scheme for the Multiple Knapsack Problem März 2009
TR_0910 Reinhard von Hanxleden
SyncCharts in C Mai 2009

Computationally Sound Analysis of a Probabilistic Contract Signing Protocol

April 2009

Tight WCRT Analysis for Synchronous C Programs

Mai 2009

TR_0913 Hauke Fuhrmann, Reinhard von Hanxleden
On the Pragmatics of Model-Based Design Juni 2009

Automatic Layout of Data Flow Diagrams in KIELER and Ptolemy II

Juli 2009

Programmiersprachen und Rechenkonzepte - 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 4.-6. Mai 2009

Juli 2009

TR_0916 Klaus Jansen
A fast approximation scheme for the multiple knapsack problem Juli 2009
TR_0917 Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke
A Simulation-Based Treatment of Authenticated Message Exchange August 2009
TR_0918 Henning Schnoor
Probabilistic ATL with Incomplete Information September 2009

Parameter Optimization and Validation of a Marine Biogeochemical Model using a Hybrid Algorithm

Oktober 2009

Continuous Monitoring of Software Services: Design and Application of the Kieker Framework

Dezember 2009

TR_0922 Marco Antonio Chavarria Fabila
Monocular Pose Estimation Based on Global and Local Features November 2009
TR_0923 Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden
Semantics and Execution of Domain Specific Models Dezember 2009
TR_0924 Oliver Fleischmann
The Hilbert transform on the two-sphere: A spectral characterization Dezember 2009

Statische URL