default search action
15. MBMV 2013: Warnemünde, Germany
- Christian Haubelt, Dirk Timmermann:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock 2013, ISBN 978-3-86009-147-0 - Markus Dobler, Wolfgang Rosenstiel, Martin Bogdan, Monica Rafaila, Dirk Hammerschmidt, Georg Pelz:
Rapid Design Space Exploration of a State-of-the-art PSI 5 Controller. MBMV 2013: 3-12 - Roberto Urban, Mario Schölzel, Heinrich Theodor Vierhaus:
Ein konfigurierbarer Zwischencodesimulator zum compilerzentrierten Mikroprozessorentwurf. MBMV 2013: 13-24 - Martin Gag, Tim Wegner, Philipp Gorski, Andreas Tockhorn, Dirk Timmermann:
System level modeling of Networks-on-Chip for power estimation and design space exploration. MBMV 2013: 25-34 - Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß:
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. MBMV 2013: 35-46 - Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann:
A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software. MBMV 2013: 49-60 - Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker:
Equivalence Checking for Partial Implementations Revisited. MBMV 2013: 61-70 - André Gießler, Jörg Ritter, Paul Molitor:
Model Checking for PLC based Railway Interlocking Systems. MBMV 2013: 71-82 - Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz:
Compositional Completeness over reactive Constraints. MBMV 2013: 83-96 - Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler:
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. MBMV 2013: 99-103 - Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich:
Model-Based Representation of Schedules for Dataflow Graphs. MBMV 2013: 105-115 - Sebastian Graf, Michael Glaß, Jürgen Teich:
Investigating the Impact of Energy-Efficient Ethernet on Automotive Applications via High-level Modeling. MBMV 2013: 117-128 - Lars Kosmann, Axel Reimer, Domenik Helms, Wolfgang Nebel:
Profilbasierte Energieabschätzung integrierter Schaltungen auf algorithmischer Ebene. MBMV 2013: 131-140 - Thomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm:
Einsatz formaler Methoden zur Energieeinsparung. MBMV 2013: 141-146 - Kai Hylla, Philipp A. Hartmann, Domenik Helms, Wolfgang Nebel:
Early Power & Timing Estimation of Custom Hardware Blocks based on Automatically Generated Combinatorial Macros. MBMV 2013: 147-158 - Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich:
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV 2013: 161-170 - Fabian Mischkalla, Wolfgang Müller:
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. MBMV 2013: 171-181 - Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel:
A Software Testing Framework to Integrate Formal Verification Results. MBMV 2013: 183-192 - Heinz Riener, Görschwin Fey:
Yet a Better Error Explanation Algorithm (Extended Abstract). MBMV 2013: 193-194 - Philipp Ittershagen, Philipp A. Hartmann, Kim Grüttner, Wolfgang Nebel:
Ansatz zur Bewertung der HW/SW-Kommunikation in asymmetrischen Multi-Prozessor-Systemen. MBMV 2013: 197-207 - Stefan Müller, Yumin Zhou, Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel:
Ein template-basierter Ansatz zur automatisierten Generierung von SystemC-Modellen aus IP-XACT-Beschreibungen. MBMV 2013: 209-218 - Marko Rößler, Jan Langer, Ulrich Heinkel:
Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung über die HW/SW-Grenze eines Configurable System on Chip (CSoC). MBMV 2013: 219-228 - Karsten Scheibler, Stefan Kupferschmid, Bernd Becker:
Recent Improvements in the SMT Solver iSAT. MBMV 2013: 231-241 - Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám:
Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. MBMV 2013: 243-254 - Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer:
Proof Logging for Computer Algebra based SMT Solving. MBMV 2013: 255-265 - Manuel Gesell, Klaus Schneider:
An Interactive Verification Tool for Synchronous/Reactive Systems. MBMV 2013: 267-277
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-02 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: