Abstract is missing.
- Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic PartitionsChristian Appold. 1-12
- Unreliable Data Transmissions und Limited Hardware Communication Buffers in Automotive E/E Virtual PrototypesSebastian Graf, Michael Glaß, Jürgen Teich. 13-24
- Optimized Static Parameter Assignment for Semiformal Software VerificationAlexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin. 25-35
- CRAVE: An Advanced Constrained RAndom Verification Environment for SystemCFinn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler. 37-48
- Abstract Modeling of Communication Errors in Cyber-Physical Systems using uPNSimon Hufnagel, Nico Bannow, Christoph Grimm, Jiong Ou. 49-59
- Ein Ansatz zur Verifikation von MaterialflusssteuerungenThomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze. 61-71
- Nicht-invasive Simulation des Energieverbrauchs von Hardware-Komponenten auf Systemebene mit SystemCDaniel Lorenz, Philipp A. Hartmann, Kim Grüttner, Achim Rettberg. 73-83
- Automated Feature Localization for Hardware Designs using Coverage MetricsJan Malburg, Alexander Finder, Görschwin Fey. 85-96
- Fully Symbolic Model Checking for Incomplete Systems of Timed AutomataGeorges Morbé, Christoph Scholl. 97-108
- Hybrid Sequential Function ChartsJohanna Nellen, Erika Ábrahám. 109-120
- Hardware/Software Co-design of a Smart Sensor Interface Using a Fast but Accurate Close-to-RTL Instruction Set InterpreterGregor Nitsche, Georg Glaeser, Dirk Nuernbergk, Eckhard Hennig. 121-132
- Enhanced Integration of QBF Solving TechniquesSven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker. 133-143
- Latency-Optimized Force-directed Process Mapping for MPSoC ArchitecturesTimo Schönwald, Benjamin Ranft, Oliver Bringmann, Wolfgang Rosenstiel. 145-156
- Effiziente Simulation von Gateoxiddefekten auf Gatterebene mit Transistorlevel-GenauigkeitHagen Sämrow, Claas Cornelius, Philipp Gorski, Jakob Salzmann, Dirk Timmermann. 157-168
- Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC PropertiesRalf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen. 169-180
- Exploiting Model-Knowledge in High-Level SynthesisChristian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich. 181-191
- Actor-oriented Modeling und Simulation of Cut-through Communication in Network ControllersLiyuan Zhang, Michael Glaß, Martin Streubühr, Jürgen Teich, Andreas von Schwerin, Kai Liu. 193-204