Department Informatik

Dynamically Reconfigurable Systems - Architectures, Design Methods and Applications (2010) Platzner M, Teich J, Wehn N Authored book Validating UML Simulation Models with Model-Level Unit Tests (2010) Dietrich I, Dressler F, Dulz W, German R Conference contribution Emissions vs. Travel Time: Simulative Evaluation of the Environmental Impact of ITS (2010) Sommer C, Krul R, German R, Dreßler F Conference contribution Inside Greek Vases - on examining the skill of ancient greek craftsmen producing complex 3D shapes using nowadays technologies (2010) Boß M, Meister M, Rietzel D Conference contribution, Conference Contribution AESSE: A Cold-boot Resistant Implementation of AES (2010) Müller T, Dewald A, Freiling F Conference contribution, Original article Softwaresysteme für den Betrieb von Grids (2010) Limmer S Book chapter / Article in edited volumes Tool for Automated Generation of MPI Typemaps (2010) Schäfer A, Fey D Conference contribution Lattice Boltzmann simulation of bubbly flows: First results of experimental verification and comparison with Volume of Fluid model (2010) Donath S, Rüde U Other publication type Iterative Solution of Weighted Least Squares Problems with Applications to Rigid Multibody Dynamics (2010) Popa C, Preclik T Other publication type Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL (2010) Kresic D, Hielscher KS, German R Other publication type