| 08:30–09:00 | Registrierung |
| 09:00–09:15 | Begrüßung und Eröffnung |
| 09:15–10:15 | Eingeladener Vortrag Tino Teige (BTC Embedded Systems AG, Oldenburg): Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements |
| 10:15–10:45 | Kaffeepause |
| 10:45–11:15 | Sebastian Warsitz, Maher Fakih: Simulink-Modell-Übersetzung in synchrone Datenflussgraphen |
| 11:15–11:45 | Anoop Bhagyanath, Tripti Jain, Klaus Schneider: Towards Code Generation for Synchronous Control Asynchronous Dataflow (SCAD) Architectures |
| 11:45–12:15 | Carsten Schmitt, Christoph Jäschke, Claudia Wolkober, Ulla Herter: Connecting a C++ based Structural Verification Tool to the Web |
| 12:15–14:00 | Mittagspause |
| 14:00–14:30 | Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski: Symbolic Verification of PLC Safety-Applications based on PLCopen Automata |
| 14:30–15:00 | Karina Wimmer: Lösen von Booleschen Formeln mit Henkin-Quantoren |
| 15:00–15:30 | Arun Chandrasekharan, Daniel Große, Mathias Soeken, Rolf Drechsler: Symbolic Error Metric Determination for Approximate Computing |
| 15:30–16:00 | Kaffeepause |
| 16:00–16:30 | Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz: A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems |
| 16:30–17:00 | Thorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider: Verification of Behavior-Based Control Systems in their Physical Environment |
| 17:00–18:00 | Fachgruppensitzung |
| 19:00–22:00 | Weinprobe und Abendessen im Weinschlösschen Freiburg |
| 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 |
Weinschlösschen Freiburg Wilhelmstraße 17A 79098 Freiburg im BreisgauDas Weinschlösschen ist zu Fuß in 5 min vom Hauptbahnhof zu erreichen.