Abstract is missing.
- Rapid Design Space Exploration of a State-of-the-art PSI 5 ControllerMarkus Dobler, Wolfgang Rosenstiel, Martin Bogdan, Monica Rafaila, Dirk Hammerschmidt, Georg Pelz. 3-12
- Ein konfigurierbarer Zwischencodesimulator zum compilerzentrierten MikroprozessorentwurfRoberto Urban, Mario Schölzel, Heinrich Theodor Vierhaus. 13-24
- System level modeling of Networks-on-Chip for power estimation and design space explorationMartin Gag, Tim Wegner, Philipp Gorski, Andreas Tockhorn, Dirk Timmermann. 25-34
- A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASPBenjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß. 35-46
- A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System SoftwareBernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann. 49-60
- Equivalence Checking for Partial Implementations RevisitedKarina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker. 61-70
- Model Checking for PLC based Railway Interlocking SystemsAndré Gießler, Jörg Ritter, Paul Molitor. 71-82
- Compositional Completeness over reactive ConstraintsBinghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. 83-96
- Generierung von OCL-Ausdrücken aus natürlichsprachlichen BeschreibungenMathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler. 99-103
- Model-Based Representation of Schedules for Dataflow GraphsChristian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich. 105-115
- Investigating the Impact of Energy-Efficient Ethernet on Automotive Applications via High-level ModelingSebastian Graf, Michael Glaß, Jürgen Teich. 117-128
- Profilbasierte Energieabschätzung integrierter Schaltungen auf algorithmischer EbeneLars Kosmann, Axel Reimer, Domenik Helms, Wolfgang Nebel. 131-140
- Einsatz formaler Methoden zur EnergieeinsparungThomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm. 141-146
- Early Power & Timing Estimation of Custom Hardware Blocks based on Automatically Generated Combinatorial MacrosKai Hylla, Philipp A. Hartmann, Domenik Helms, Wolfgang Nebel. 147-158
- Beschleunigte Robustheitstests für verhaltensbeschreibende ZustandsmaschinenHanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich. 161-170
- Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller PrototypenFabian Mischkalla, Wolfgang Müller 0003. 171-181
- A Software Testing Framework to Integrate Formal Verification ResultsStefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel. 183-192
- Yet a Better Error Explanation Algorithm (Extended Abstract)Heinz Riener, Görschwin Fey. 193-194
- Ansatz zur Bewertung der HW/SW-Kommunikation in asymmetrischen Multi-Prozessor-SystemenPhilipp Ittershagen, Philipp A. Hartmann, Kim Grüttner, Wolfgang Nebel. 197-207
- Ein template-basierter Ansatz zur automatisierten Generierung von SystemC-Modellen aus IP-XACT-BeschreibungenStefan Müller, Yumin Zhou, Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel. 209-218
- Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung über die HW/SW-Grenze eines Configurable System on Chip (CSoC)Marko Rößler, Jan Langer, Ulrich Heinkel. 219-228
- Recent Improvements in the SMT Solver iSATKarsten Scheibler, Stefan Kupferschmid, Bernd Becker. 231-241
- Stochastic Bounded Model Checking: Bounded Rewards and CompositionalityBettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám. 243-254
- Proof Logging for Computer Algebra based SMT SolvingOliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer. 255-265
- An Interactive Verification Tool for Synchronous/Reactive SystemsManuel Gesell, Klaus Schneider. 267-277