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

Available Reports

2016-01
Fachgruppe Informatik
Annual Report 2016
2016-02
Ibtissem Ben Makhlouf
Comparative Evaluation and Improvement of Computational Approaches to Reachability Analysis of Linear Hybrid Systems
2016-03
Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, and Jürgen Giesl
Lower Runtime Bounds for Integer Programs
2016-04
Jera Hensel, Jürgen Giesl, Florian Frohn, and Thomas Ströder
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
2016-05
Mathias Pelka, Grigori Goronzy, Jó Agila Bitsch, Horst Hellbrück, and Klaus Wehrle (Editors)
Proceedings of the 2nd KuVS Expert Talk on Localization
2016-06
Martin Henze, René Hummen, Roman Matzutt, and Klaus Wehrle
The SensorCloud Protocol: Securely Outsourcing Sensor Data to the Cloud
2016-07
Sebastian Biallas
Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
2016-09
Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, and Cornelius Aschermann
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
2016-10
Stefan Wüller, Ulrike Meyer, and Susanne Wetzel
Towards Privacy-Preserving Multi-Party Bartering