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

Available Reports

2013-01
Fachgruppe Informatik
Annual Report 2013
2013-02
Michael Reke
Modellbasierte Entwicklung automobiler Steuerungssysteme in Klein- und mittelständischen Unternehmen
2013-03
Markus Towara and Uwe Naumann
A Discrete Adjoint Model for OpenFOAM
2013-04
Max Sagebaum, Nicolas R. Gauger, Uwe Naumann, Johannes Lotz, and Klaus Leppkes
Algorithmic Differentiation of a Complex C++ Code with Underlying Libraries
2013-05
Andreas Rausch and Marc Sihling
Software & Systems Engineering Essentials 2013
2013-06
Marc Brockschmidt, Byron Cook, and Carsten Fuhs
Better termination proving through cooperation
2013-07
André Stollenwerk
Ein modellbasiertes Sicherheitskonzept für die extrakorporale Lungenunterstützung
2013-08
Sebastian Junges, Ulrich Loup, Florian Corzilius and Erika Ábrahám
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers
2013-10
Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, and Hao Wu
Performance Analysis of Computing Servers using Stochastic Petri Nets and Markov Automata
2013-12
Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, and Jürgen Giesl
Alternating Runtime and Size Complexity Analysis of Integer Programs
2013-13
Michael Eggert, Roger Häußling, Martin Henze, Lars Hermerschmidt, René Hummen, Daniel Kerpen, Antonio Navarro Pérez, Bernhard Rumpe, Dirk Thißen, and Klaus Wehrle
SensorCloud: Towards the Interdisciplinary Development of a Trustworthy Platform for Globally Interconnected Sensors and Actuators
2013-14
Jörg Brauer
Automatic Abstraction for Bit-Vectors using Decision Procedures
2013-16
Carsten Otto
Java Program Analysis by Symbolic Execution
2013-19
Florian Schmidt, David Orlea, and Klaus Wehrle
Support for error tolerance in the Real-Time Transport Protocol
2013-20
Jacob Palczynski
Time-Continuous Behaviour Comparison Based on Abstract Models