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

Available Reports

2017-01
Fachgruppe Informatik
Annual Report 2017
2017-02
Florian Frohn and Jürgen Giesl
Analyzing Runtime Complexity via Innermost Runtime Complexity
2017-04
Florian Frohn and Jürgen Giesl
Complexity Analysis for Java with AProVE
2017-05
Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, and Jürgen Giesl
Complexity Analysis for Term Rewriting by Integer Transition Systems
2017-06
Oliver Kautz, Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe
CD2Alloy: A Translation of Class Diagrams to Alloy
2017-07
Klaus Leppkes, Johannes Lotz, Uwe Naumann, and Jacques du Toit
Meta Adjoint Programming in C++
2017-08
Thomas Gerlitz
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
2017-09
Muhammad Hamad Alizai, Jan Beutel, Jó Ágila Bitsch, Olaf Landsiedel, Luca Mottola, Przemyslaw Pawelczak, Klaus Wehrle, and Kasim Sinan Yildirim
Proc. IDEA League Doctoral School on Transiently Powered Computing