| 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 |