Technical Reports by Department of Computer Science

Publication

Author / Title

Date

0901

Hauke Fuhrmann, Reinhard von Hanxleden
Enhancing Graphical Model-Based System Design - An Avionics Case Study

January 2009

0805

Stephen J. Hegner
Information-Based Distance Measures and the Canonical Reflection of View Updates

January 2009

0902

Florian Diedrich, Klaus Jansen
Tight Approximation Algorithms for Scheduling with Fixed Jobs and Non-Availability

February 2009

0903

Hannu Jaakkola, Bernhard Thalheim
A Formal Approach to High Quality Software Design and Development

February 2009

0904

Klaus Jansen, Lars Prädel, Ulrich M. Schwarz
A 2-approximation for 2D bin packing

March 2009

0906

Klaus Jansen, Hu Zhang
Scheduling Malleable Tasks with Precedence Constraints

March 2009

0907

Falk Starke, Claus Traulsen, Reinhard von Hanxleden
Executing Safe State Machines on a Reactive Processor

March 2009

0908

Klaus Jansen, Lars Prädel
How to Maximize the Total Area of Rectangles Packed into a Rectangle?

March 2009

0909

Klaus Jansen
Parameterized Approximation Scheme for the Multiple Knapsack Problem

March 2009

0911

Mihhail Aizatulin, Henning Schnoor, Thomas Wilke
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol

April 2009

0912

Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen
Tight WCRT Analysis for Synchronous C Programs

May 2009

0910

Reinhard von Hanxleden
SyncCharts in C

May 2009

0913

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

June 2009

0914

Miro Spönemann, Hauke Fuhrmann, Reinhard von Hanxleden
Automatic Layout of Data Flow Diagrams in KIELER and Ptolemy II

July 2009

0915

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

July 2009

0916

Klaus Jansen
A fast approximation scheme for the multiple knapsack problem

July 2009

0917

Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke
A Simulation-Based Treatment of Authenticated Message Exchange

August 2009

0918

Henning Schnoor
Probabilistic ATL with Incomplete Information

September 2009

0919

Johannes Rückelt, Volkmar Sauerland, Thomas Slawig, Anand Srivastav, B. Ward, C. Patvardhan
Parameter Optimization and Validation of a Marine Biogeochemical Model using a Hybrid Algorithm

October 2009