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

Available Reports

2007-01
Fachgruppe Informatik
Jahresbericht 2006
2007-02
Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, and Harald Zankl
SAT Solving for Termination Analysis with Polynomial Interpretations
2007-03
Jürgen Giesl, René Thiemann, Stephan Swiderski, and Peter Schneider-Kamp
Proving Termination by Bounded Increase
2007-04
Jan Buchholz, Eric Lee, Jonathan Klein, and Jan Borchers
coJIVE: A System to Support Collaborative Jazz Improvisation
2007-05
Uwe Naumann
On Optimal DAG Reversal
2007-06
Joost-Pieter Katoen, Thomas Noll, and Stefan Rieger
Verifying Concurrent List-Manipulating Programs by LTL Model Checking
2007-07
Alexander Nyßen, Horst Lichter
MeDUSA - MethoD for UML2-based Design of Embedded Software Applications
2007-08
Falk Salewski and Stefan Kowalewski
Achieving Highly Reliable Embedded Software: An empirical evaluation of different approaches
2007-09
Tina Kraußer, Heiko Mantel, and Henning Sudbrock
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption
2007-10
Martin Neuhäußer, Joost-Pieter Katoen
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
2007-11
Klaus Wehrle (editor)
6. Fachgespräch Sensornetzwerke
2007-12
Uwe Naumann
An L-Attributed Grammar for Adjoint Code
2007-13
Uwe Naumann, Michael Maier, Jan Riehme, and Bruce Christianson
Second-Order Adjoints by Source Code Manipulation of Numerical Programs
2007-14
Jean Utke, Uwe Naumann, Mike Fagan, Nathan Tallent, Michelle Strout, Patrick Heimbach, Chris Hill, and Carl Wunsch
OpenAD/F: A Modular, Open-Source Tool for Automatic Differentiation of Fortran Codes
2007-15
Volker Stolz
Temporal assertions for sequential and concurrent programs
2007-16
Sadeq Ali Makram, Mesut Güneç, Martin Wenig, Alexander Zimmermann
Adaptive Channel Assignment to Support QoS and Load Balancing for Wireless Mesh Networks
2007-17
René Thiemann
The DP Framework for Proving Termination of Term Rewriting
2007-18
Uwe Naumann
Call Tree Reversal is NP-Complete
2007-19
Jan Riehme, Andrea Walther, Jörg Stiller, Uwe Naumann
Adjoints for Time-Dependent Optimal Control
2007-20
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf
Three-Valued Abstraction for Probabilistic Systems
2007-21
Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
2007-22
Heiner Ackermann, Paul W. Goldberg, Vahab S. Mirrokni, Heiko Röglin, and Berthold Vöcking
Uncoordinated Two-Sided Markets