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

Available Reports

2014-01
Fachgruppe Informatik
Annual Report 2014
2014-02
Daniel Merschen
Integration und Analyse von Artefakten in der modellbasierten Entwicklung eingebetteter Software
2014-03
Uwe Naumann, Klaus Leppkes, and Johannes Lotz
dco/c++ User Guide
2014-04
Namit Chaturvedi
Languages of Infinite Traces and Deterministic Asynchronous Automata
2014-05
Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, and Peter Schneider-Kamp
Automated Termination Analysis for Programs with Pointer Arithmetic
2014-06
Esther Horbert, Germán Martín García, Simone Frintrop, and Bastian Leibe
Sequence Level Salient Object Proposals for Generic Object Detection in Video
2014-07
Niloofar Safiran, Johannes Lotz, and Uwe Naumann
Algorithmic Differentiation of Numerical Methods: Second-Order Tangent and Adjoint Solvers for Systems of Parametrized Nonlinear Equations
2014-08
Christina Jansen, Florian Göbe, and Thomas Noll
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs
2014-09
Thomas Ströder and Terrance Swift (Editors)
Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
2014-14
Florian Schmidt, Matteo Ceriotti, Niklas Hauser, and Klaus Wehrle
HotBox: Testing Temperature Effects in Sensor Networks
2014-15
Dominique Gückel
Synthesis of State Space Generators for Model Checking Microcontroller Code
2014-16
Hongfei Fu
Verifying Probabilistic Systems: New Algorithms and Complexity Results