Index of 2008
Department Of Computer Science
Technical Reports
Aachener Informatik-Berichte (AIB)

Available Reports

2008-01
Fachgruppe Informatik
Jahresbericht 2007/2008
2008-02
Henrik Bohnenkamp, Marielle Stoelinga
Quantitative Testing
2008-03
Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl
Maximal Termination
2008-04
Uwe Naumann, Jan Riehme
Sensitivity Analysis in Sisyphe with the AD-Enabled NAGWare Fortran Compiler
2008-05
Frank G. Radmacher
An Automata Theoretic Approach to the Theory of Rational Tree Relations
2008-06
Uwe Naumann, Laurent Hascoet, Chris Hill, Paul Hovland, Jan Riehme, Jean Utke
A Framework for Proving Correctness of Adjoint Message Passing Programs
2008-07
Alexander Nyßen, Horst Lichter
The MeDUSA Reference Manual, Second Edition
2008-08
George B. Mertzios, Stavros D. Nikolopoulos
The $\lambda$-cluster Problem on Parameterized Interval Graphs
This report is no longer available.
2008-09
George B. Mertzios, Walter Unger
An optimal algorithm for the k-fixed-endpoint path cover on proper interval graphs
2008-10
George B. Mertzios, Walter Unger
Preemptive Scheduling of Equal-Length Jobs in Polynomial Time
2008-11
George B. Mertzios
Fast Convergence of Routing Games with Splittable Flows
2008-12
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Abstraction for stochastic systems by Erlang's method of stages
2008-13
Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann
Improving Context-Sensitive Dependency Pairs
2008-14
Bastian Schlich
Model Checking of Software for Microcontrollers
2008-15
Joachim Kneis, Alexander Langer, Peter Rossmanith
A New Algorithm for Finding Trees with Many Leaves
2008-16
Hendrik vom Lehn, Elias Weingärtner and Klaus Wehrle
Comparing recent network simulators: A performance evaluation study
2008-17
Peter Schneider-Kamp
Static Termination Analysis for Prolog using Term Rewriting and SAT Solving
2008-18
Falk Salewski
Empirical Evaluations of Safety-Critical Embedded Systems
2008-19
Dirk Wilking
Empirical Studies for the Application of Agile Methods to Embedded Systems