default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 26 matches
- 2013
- 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 - Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz:
Compositional Completeness over reactive Constraints. MBMV 2013: 83-96 - Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám:
Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. MBMV 2013: 243-254 - 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 - 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 - 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 - Manuel Gesell, Klaus Schneider:
An Interactive Verification Tool for Synchronous/Reactive Systems. MBMV 2013: 267-277 - André Gießler, Jörg Ritter, Paul Molitor:
Model Checking for PLC based Railway Interlocking Systems. MBMV 2013: 71-82 - Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker:
Equivalence Checking for Partial Implementations Revisited. MBMV 2013: 61-70 - 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 - Thomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm:
Einsatz formaler Methoden zur Energieeinsparung. MBMV 2013: 141-146 - 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 - 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 - 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 - Lars Kosmann, Axel Reimer, Domenik Helms, Wolfgang Nebel:
Profilbasierte Energieabschätzung integrierter Schaltungen auf algorithmischer Ebene. MBMV 2013: 131-140 - Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer:
Proof Logging for Computer Algebra based SMT Solving. MBMV 2013: 255-265 - Fabian Mischkalla, Wolfgang Müller:
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. MBMV 2013: 171-181 - 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 - Heinz Riener, Görschwin Fey:
Yet a Better Error Explanation Algorithm (Extended Abstract). MBMV 2013: 193-194 - 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 - 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 - Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler:
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. MBMV 2013: 99-103 - Roberto Urban, Mario Schölzel, Heinrich Theodor Vierhaus:
Ein konfigurierbarer Zwischencodesimulator zum compilerzentrierten Mikroprozessorentwurf. MBMV 2013: 13-24 - Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich:
Model-Based Representation of Schedules for Dataflow Graphs. MBMV 2013: 105-115 - 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 [contents]
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-18 05:10 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint