Abstract is missing.
- VorwortRalf Wimmer. 4 [doi]
- Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical RequirementsTino Teige, Tom Bienmüller, Hans Jürgen Holberg. 6-9 [doi]
- A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded SystemsChristian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz. 10-21 [doi]
- Connecting a C++ based Structural Verification Tool to the WebCarsten Schmitt, Christoph Jäschke, Claudia Wolkober, Ulla Herter. 22-32 [doi]
- Symbolic Verification of PLC Safety-Applications based on PLCopen AutomataDimitri Bohlender, Hendrik Simon, Stefan Kowalewski. 33-45 [doi]
- Neues Konzept zur Steigerung der Zuverlässigkeit einer ARM-basierten Prozessorarchitektur unter Verwendung eines CGRAsKonstantin Lübeck, David Morgenstern, Thomas Schweizer, Dustin Peterson, Wolfgang Rosenstiel, Oliver Bringmann. 46-58 [doi]
- Eine Tcl-basierte Methode zur Fehlerinjektion und Fehlereffektsimulation/-emulation auf Xilinx-FPGAsThomas Schweizer, Murat Simsek, Oliver Bringmann, Wolfgang Rosenstiel. 59-71 [doi]
- Parameter Synthesis for Probabilistic SystemsChristian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes. 72-74 [doi]
- Symbolic Error Metric Determination for Approximate ComputingArun Chandrasekharan, Daniel Große, Mathias Soeken, Rolf Drechsler. 75-76 [doi]
- Towards Code Generation for the Synchronous Control Asynchronous Dataflow (SCAD) ArchitecturesAnoop Bhagyanath, Tripti Jain, Klaus Schneider 0001. 77-88 [doi]
- Simulink-Modell-Übersetzung in synchrone DatenflussgraphenSebastian Warsitz, Maher Fakih. 89-101 [doi]
- Exploration of Power Domain Partitioning for Application-Specific SoCs in System-Level DesignBo Wang 0010, Yang Xu, Ralph Hasholzner, Christian Drewes, Rafael Rosales, Sebastian Graf 0002, Joachim Falk, Michael Glaß, Jürgen Teich. 102-113 [doi]
- Lösen von Booleschen Formeln mit Henkin-QuantorenKarina Wimmer. 114-115 [doi]
- Predicting Performance and Energy Efficiency for Large-Scale Parallel Applications on Highly Heterogeneous PlatformsJörg Walter, Ralph Görgen, Wolfgang Nebel. 116-127 [doi]
- Verification of Behavior-Based Control Systems in their Physical EnvironmentThorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider 0001. 128-137 [doi]
- Applying Tailored Formal Methods to X-ATPGKarsten Scheibler, Dominik Erb, Bernd Becker. 138 [doi]
- Simulationsbasierte Analyse energietechnischer SystemszenarienAndy Sauter, Joachim Gerlach. 139-150 [doi]