Technische Berichte des Instituts für Informatik

Publikation

Autor / Titel

Datum

0901

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

Januar 2009

0805

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

Januar 2009

0902

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

Februar 2009

0903

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

Februar 2009

0904

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

März 2009

0906

Klaus Jansen, Hu Zhang
Scheduling Malleable Tasks with Precedence Constraints

März 2009

0907

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

März 2009

0908

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

März 2009

0909

Klaus Jansen
Parameterized Approximation Scheme for the Multiple Knapsack Problem

März 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

Mai 2009

0910

Reinhard von Hanxleden
SyncCharts in C

Mai 2009

0913

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

Juni 2009

0914

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

Juli 2009

0915

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

Juli 2009

0916

Klaus Jansen
A fast approximation scheme for the multiple knapsack problem

Juli 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

Oktober 2009