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

Available Reports

2015-01
Fachgruppe Informatik
Annual Report 2015
2015-02
Dominik Franke
Testing Life Cycle-related Properties of Mobile Applications
2015-05
Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, and Thomas Ströder
Inferring Lower Bounds for Runtime Complexity
2015-06
Thomas Ströder and Wolfgang Thomas (Editors)
Proceedings of the Young Researchers' Conference "Frontiers of Formal Methods"
2015-07
Hilal Diab
Experimental Validation and Mathematical Analysis of Cooperative Vehicles in a Platoon
2015-08
Mathias Pelka, Jó Agila Bitsch, Horst Hellbrück, and Klaus Wehrle (Editors)
Proceedings of the 1st KuVS Expert Talk on Localization
2015-09
Xin Chen
Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models
2015-11
Stefan Wüller, Marián Kühnel, and Ulrike Meyer
Information Hiding in the Public RSA Modulus
2015-12
Christoph Matheja, Christina Jansen, and Thomas Noll
Tree-like Grammars and Separation Logic
2015-13
Andreas Polzer
Ansatz zur variantenreichen und modellbasierten Entwicklung von eingebetteten Systemen unter Berücksichtigung regelungs- und softwaretechnischer Anforderungen
2015-14
Niloofar Safiran and Uwe Naumann
Symbolic vs. Algorithmic Differentiation of GSL Integration Routines