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

Available Reports

2010-01
Fachgruppe Informatik
Jahresbericht 2010
2010-02
Daniel Neider, Christof Löding
Learning Visibly One-Counter Automata in Polynomial Time
2010-03
Holger Krahn
MontiCore: Agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
2010-04
René Wörzberger
Management dynamischer Geschäftsprozesse auf Basis statischer Prozessmanagementsysteme
2010-05
Daniel Retkowitz
Softwareunterstützung für adaptive eHome-Systeme
2010-06
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Computing maximum reachability probabilities in Markovian timed automata
2010-07
George B. Mertzios
A New Intersection Model for Multitolerance Graphs, Hierarchy, and Efficient Algorithms
2010-08
Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl
Automated Termination Analysis of Java Bytecode by Term Rewriting
2010-09
George B. Mertzios, Shmuel Zaks
The Structure of the Intersection of Tolerance and Cocomparability Graphs
2010-10
Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder, Alexander Serebrenik, René Thiemann
Automated Termination Analysis for Logic Programs with Cut
2010-11
Martin Zimmermann
Parametric LTL Games
2010-12
Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut
2010-13
Ashraf Armoush
Design Patterns for Safety-Critical Embedded Systems
2010-14
Michael Codish, Carsten Fuhs, Jürgen Giesl, Peter Schneider-Kamp
Lazy Abstraction for Size-Change Termination
2010-15
Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl
Termination Graphs for Java Bytecode
2010-16
Christian Berger
Automating Acceptance Tests for Sensor- and Actuator-based Systems on the Example of Autonomous Vehicles
2010-17
Hans Grönniger
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
2010-18
Ibrahim Armaç
Personalisierte eHomes: Mobilität, Privatsphäre und Sicherheit
2010-19
Felix Reidl
Experimental Evaluation of an Independent Set Algorithm
2010-20
Wladimir Fridman, Christof Löding, Martin Zimmermann
Degrees of Lookahead in Context-free Infinite Games