Department Informatik

Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems (2015) Homm D, Eckert J, German R Book chapter / Article in edited volumes Vito - A Generic Agent for Multi-physics Model Personalization: Application to Heart Modeling (2015) Neumann D, Mansi T, Itu L, Georgescu B, Kayvanpour E, Sedaghat-Hamedani F, Haas J, et al. Conference contribution A Unified Bayesian Approach to Multi-Frame Super-Resolution and Single-Image Upsampling in Multi-Sensor Imaging (2015) Köhler T, Jordan JM, Maier A, Hornegger J Conference contribution Coupled Physical Models for Exa-Scale Computing (2015) Rüde U Conference contribution, Conference Contribution Uncertainty-aware reliability analysis and optimization (2015) Khosravi F, Müller M, Glaß M, Teich J Conference contribution, Conference Contribution Dynamic detector offsets for field of view extension in C-arm computed tomography with application to weight-bearing imaging (2015) Herbst M, Schebesch F, Berger M, Choi JH, Fahrig R, Hornegger J, Maier A Journal article Robustes Echtzeit-Feedback für die gebundene, weiche Sprechtechnik in der Stottertherapie (2015) Haderlein T, Hönig FT, Jassens F, Mahlberg L, Nöth E, Wolff von Gudenberg A Conference contribution Verifiably encrypted signatures: Security revisited and a new construction (2015) Hanser C, Rabkin M, Schröder D Authored book, Volume of book series Privacy and access control for outsourced personal records (2015) Maffei M, Malavolta G, Reinert M, Schröder D, Malavolta G Conference contribution, Conference Contribution Fully secure inner-product proxy re-encryption with constant size ciphertext (2015) Backes M, Gagné M, Thyagarajan SAK Conference contribution, Conference Contribution