Department Informatik

Modellbasierte Generierung von Beherrschungsmechanismen für Inkonsistenzen in komponentenbasierten Systemen (2006) Jung M Thesis Automatic Test Generation with Model Checking Techniques (2006) Schneider A, Bunin G, Haubelt C, Heinkel U Conference contribution A Generic Framework for Rapid Prototyping of System-on-Chip Designs (2006) Kissler D, Kupriyanov O, Hannig F, Koch D, Teich J Conference contribution An Architecture Description Language for Massively Parallel Processor Architectures (2006) Kupriyanov O, Hannig F, Kissler D, Teich J, Schaffer R, Merker R Conference contribution Timing Analysis of Systems of Communicating Tasks with Internal State (2006) Teich J Other publication type EDAS: Providing an Environment for Decentralized Adaptive Services (2006) Kapitza R Journal article Logical Problems Suggested by Logicism (2006) Degen W Book chapter / Article in edited volumes Fluid Simulation with Blender (2006) Thürey N Journal article Über Max Stirners sogenannten Individualismus (2006) Degen W Journal article Building mini-grid environments with virtual private networks: A pragmatic approach (2006) Fey D Conference contribution