iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/db/conf/mbmv/mbmv2013.html

dblp: MBMV 2013

default search action

combined dblp search
author search
venue search
publication search

ask others

15. MBMV 2013: Warnemünde, Germany

> Home > Conferences and Workshops > MBMV

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/2013
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/DoblerRBRHP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/DoblerRBRHP13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/UrbanSV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/UrbanSV13
Roberto Urban, Mario Schölzel, Heinrich Theodor Vierhaus:
Ein konfigurierbarer Zwischencodesimulator zum compilerzentrierten Mikroprozessorentwurf. MBMV 2013: 13-24
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GagWGTT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GagWGTT13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/AndresGSHRG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/AndresGSHRG13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/SchmidtVFSKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SchmidtVFSKB13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GitinaRSWSB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GitinaRSWSB13
Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker:
Equivalence Checking for Partial Implementations Revisited. MBMV 2013: 61-70
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GiesslerRM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GiesslerRM13
André Gießler, Jörg Ritter, Paul Molitor:
Model Checking for PLC based Railway Interlocking Systems. MBMV 2013: 71-82
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BaoBWSK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BaoBWSK13
Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz:
Compositional Completeness over reactive Constraints. MBMV 2013: 83-96
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/SoekenWKD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SoekenWKD13
Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler:
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. MBMV 2013: 99-103
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/ZebeleinHFT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/ZebeleinHFT13
Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich:
Model-Based Representation of Schedules for Dataflow Graphs. MBMV 2013: 105-115
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GrafGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GrafGT13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/KosmannRHN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KosmannRHN13
Lars Kosmann, Axel Reimer, Domenik Helms, Wolfgang Nebel:
Profilbasierte Energieabschätzung integrierter Schaltungen auf algorithmischer Ebene. MBMV 2013: 131-140
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/HornSMHRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/HornSMHRS13
Thomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm:
Einsatz formaler Methoden zur Energieeinsparung. MBMV 2013: 141-146
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/HyllaHHN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/HyllaHHN13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/EichelbergerHHBRKRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/EichelbergerHHBRKRS13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Mischkalla013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Mischkalla013
Fabian Mischkalla, Wolfgang Müller:
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. MBMV 2013: 171-181
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/HusterHRBKR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/HusterHRBKR13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/RienerF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/RienerF13
Heinz Riener, Görschwin Fey:
Yet a Better Error Explanation Algorithm (Extended Abstract). MBMV 2013: 193-194
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/IttershagenHGN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/IttershagenHGN13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/MullerZBGR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MullerZBGR13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/RosslerLH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/RosslerLH13
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/ScheiblerKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/ScheiblerKB13
Karsten Scheibler, Stefan Kupferschmid, Bernd Becker:
Recent Improvements in the SMT Solver iSAT. MBMV 2013: 231-241
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BraitlingWBA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BraitlingWBA13
Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám:
Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. MBMV 2013: 243-254
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/MarxWSKD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MarxWSKD13
Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer:
Proof Logging for Computer Algebra based SMT Solving. MBMV 2013: 255-265
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GesellS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GesellS13
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.