Tagungsband
Programm- und Kurzzusammenfassungsheft KPS 2009
Direktzugriff auf einzelne Vortragsausarbeitungen:
Static Timing Analysis for Hard Real-Time Systems
von Sebastian Altmeyer, Mohamed Abdel Maksoud, Claire Burguiere, Daniel Grund, Jörg Herter, Philipp Lucas, Oleg Parshin, Markus Pister, Jan Reineke, Marc Schlickling, Björn Wachter und Reinhard Wilhelm
Die Wirkungsweise von maschinenunabhängigen Optimierungen im Bereich des mobilen Codes
von Wolfram Amme
Programming Support for Cell/BE Multiprocessor
von Enes Bajrovic und Eduard Mehofer
SATIrE within
ALL-TIMES Improving Timing Technology
with Source Code Analysis
von Gergö Barany
Computing and Visualizing Closure Objects Using Relation Algebra und RelView
von Rudolf Berghammer und Bernd Braßel
Rapid Development of Dynamic Analysis Tools for the Java Virtual Machine
von Walter Binder, Alex Villazon, Danilo Ansaloni und Philippe Moret
Automatic Tool Generation from Structural Processor Descriptions
von Florian Brandner
Typsicheres und generisches MapReduce
von Jens Dörre
Utilizing Multiple Hardware Threads with Pipeline Parallelism
von M. Anton Ertl
A Sound, Complete and Usable Hoare-Style Logic for a Sequential Java Subset
von Christoph Feller
Reinventing Haskell Backtracking
von Sebastian Fischer
Concurrency Engineering with S-Net
von Clemens Grelck, Sven-Bodo Scholz und Alex Shafarenko
Automatische Paketisierung
von Sebastian Hack
Set Functions for Functional Logic Programming
von Michael Hanus
Verbesserung der Modellbildung und Analyse verteilter Geschäftsprozesse durch Prozessumstrukturierung
von Thomas S. Heinze, Wolfram Amme und Simon Moser
Generation of Incremental Parsers for Modern IDEs
von Christoph Höger
Generierung von Hyperkantenersetzungsgrammatiken zur Heapabstraktion
von Christina Jansen und Jonathan Heinen
Combining Automated Reasoning and Algebraic Methods in Theorema
von Tudor Jebelean
Automatic Calculation of Compilation Profiles for Coverage-based Testing
von Raimund Kirner und Walter Haas
On Undecidability Results of Real Programming Languages
von Raimund Kirner, Wolf Zimmermann und Dirk Richter
From Trusted Annotations to Verified Knowledge
von Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec und Markus Schordan
Tree Automata for Analyzing Dynamic Pushdown Networks
von Peter Lammich
MultiMediaC# QoS-Aware Programming with C#
von Oliver Lampl
Technische Aspekte des erfolgreichen Testens von Software in Unternehmen
von Tim A. Majchrzak
An Algebraic Framework for Modeling and Processing Hyperdocuments
von Volker Mattick
Maintaining XML Data Integrity in Programs An Abstract Datatype Approach
von Patrick Michel
Functional Program Verification in Theorema. Soundness and Completeness
von Nikolaj Popov und Tudor Jebelean
Towards a Static Profiler
von Adrian Prantl
How to Specify the Flow of Data Accessibility
von Franz Puntigam
Towards a Parallel Search for Solutions of Non-deterministic Computations
von Fabian Reck und Sebastian Fischer
Rekursionspräzise Intervallanalysen
von Dirk Richter
A New Look on Data Parallelism
von Sven-Bodo Scholz
Statische Erkennung von semantischen Feature-Interaktionen
von Wolfgang Scholz
ARAL: a Language for Information Exchange between Program
Analysis Tools
von Markus Schordan
Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems
von Dietmar Schreiner
Lazy Continuations for Java Virtual Machines
von Lukas Stadler
Communication-based System Development using Standard Programming Languages
von Annette Stümpel
FQL: A
Query Language for Program Testing
von Andreas Holzer,
Christian Schallhart, Michael Tautschnig und Helmut Veith
Type-Safe Bytecode Generation in Scala
von Peter Thiemann
Programmierung als Leitbild in der Theorie der Ökosysteme
von Baltasar Trancón y Widemann
Adding Weights to Dynamic Pushdown Networks
von Alexander Wenner
Towards Dynamic Code Evolution for the HotSpot VM
von Thomas Würthinger
CPAchecker: A Tool for Configurable Software Verification
von Dirk Beyer und M. Erkan Keremoglu
Inline Caching meets Quickening
von Stefan Brunthaler
Lambdas und Schleifen in monotonen Logikprogrammen
von Ulrich Neumerkel
A Formalisation of the OSEK Concurrency Model
von Martin Schwarz
Programming by Equilibria
von Christian Tschudin und Thomas Meyer
The Reachability-Bound Problem
von Florian Zuleger