09:00–10:00 | Eingeladener Vortrag Joost-Pieter Katoen (RWTH Aachen): Analysing Gigantic Markov Models: From Verification to Synthesis |
10:00–10:30 | Kaffeepause |
10:30–11:00 | Konstantin Lübeck, David Morgenstern, Thomas Schweizer, Dustin Peterson, Wolfgang Rosenstiel, Oliver Bringmann: Neues Konzept zur Steigerung der Zuverlässigkeit einer ARM-basierten Prozessorarchitektur unter Verwendung eines CGRAs |
11:00–11:30 | Jörg Walter, Ralph Görgen, Wolfgang Nebel: Predicting Performance and Energy Efficiency for Large-Scale Parallel Applications on Highly Heterogeneous Platforms |
11:30–12:00 | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábráham, Harold Bruintjes: Parameter Synthesis for Probabilistic Systems |
12:00–14:00 | Mittagessen |
14:00–14:30 | Thomas Schweizer, Murat Simsek, Oliver Bringmann, Wolfgang Rosenstiel: Eine Tcl-basierte Methode zur Fehlerinjektion und Fehlereffektsimulation/-emulation auf Xilinx-FPGAs |
14:30–15:00 | Karsten Scheibler, Dominik Erb, Bernd Becker: Applying Tailored Formal Methods to X-ATPG |
15:00–15:30 | Kaffeepause |
15:30–16:00 | Andy Sauter, Joachim Gerlach: Simulationsbasierte Analyse energietechnischer Systemszenarien |
16:00–16:30 | Bo Wang, Yang Xu, Ralph Hasholzner, Christian Drewes, Rafael Rosales, Sebastian Graf, Joachim Falk, Michael Glass, Jürgen Teich: Exploration of Power Domain Partitioning for Application-Specific SoCs in System-Level Design |
16:30–16:45 | Verabschiedung |