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

Available Reports

2012-01
Fachgruppe Informatik
Annual Report 2012
2012-02
Thomas Heer
Controlling Development Processes
2012-03
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems
2012-04
Marcus Gelderie
Strategy Machines and their Complexity
2012-05
Thomas Ströder, Fabian Emmes, Jürgen Giesl, Peter Schneider-Kamp, and Carsten Fuhs
Automated Complexity Analysis for Prolog by Term Rewriting
2012-06
Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl
Automated Termination Proofs for Java Programs with Cyclic Data
2012-07
André Egners, Björn Marschollek, and Ulrike Meyer
Hackers in Your Pocket: A Survey of Smartphone Security Across Platforms
2012-08
Hongfei Fu
Computing Game Metrics on Markov Decision Processes
2012-09
Dennis Guck, Tingting Han, Joost-Pieter Katoen, and Martin R. Neuhäußer
Quantitative Timed Analysis of Interactive Markov Chains
2012-10
Uwe Naumann and Johannes Lotz
Algorithmic Differentiation of Numerical Methods: Tangent-Linear and Adjoint Direct Solvers for Systems of Linear Equations
2012-12
Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, and Carsten Fuhs
Symbolic Evaluation Graphs and Term Rewriting --- A General Methodology for Analyzing Logic Programs
2012-15
Uwe Naumann, Johannes Lotz, Klaus Leppkes, and Markus Towara
Algorithmic Differentiation of Numerical Methods: Tangent-Linear and Adjoint Solvers for Systems of Nonlinear Equations
2012-16
Georg Neugebauer and Ulrike Meyer
SMC-MuSe: A Framework for Secure Multi-Party Computation on MultiSets
2012-17
Viet Yen Nguyen
Trustworthy Spacecraft Design Using Formal Methods