![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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 44 matches
- 2006
- Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen:
Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV 2006: 153-162 - Paul Duplys, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Monitoring-based Formal Hardware Verification. MBMV 2006: 217-221 - Andreas Ehrenfried, Daniel Scholz, Tobias Welp:
Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen. MBMV 2006: 114-121 - Görschwin Fey, Rolf Drechsler:
SAT-based Calculation of Source Code Coverage for BMC. MBMV 2006: 163-170 - Stefan Förster:
Verifying Behavioural Extension of Components with Dynamically Evolving Interfaces. MBMV 2006: 145-152 - Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock:
Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation. MBMV 2006: 95-105 - Darius Grabowski, Christoph Grimm, Erich Barke:
Ein Verfahren zur effizienten Analyse von Schaltungen mit Parametervarianzen. MBMV 2006: 181-190 - Kim Grüttner, Cornelia Grabbe, Frank Oppenheimer, Wolfgang Nebel:
Modelling and Synthesis of Communication Using OSSS-Channels. MBMV 2006: 38-47 - Wolfram Hardt, Mathias Sporer:
Ein Metamodell für eingebettete Systeme. MBMV 2006: 255-260 - Andy Heinig, Mario Schölzel:
Zeitbeschränkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren. MBMV 2006: 319-328 - Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt:
Semi-symbolische Modellierung von Abweichungen. MBMV 2006: 173-180 - Hermann von Issendorff:
Über die formale Beschreibung räumlicher Netze. MBMV 2006: 203-213 - Christoph Jäschke, Ralf Winkelmann, Johannes Kösters:
Control Register Specification and Verification in Complex Systems. MBMV 2006: 349-358 - Alexander Jesser, Markus Wedler, Lars Hedrich, Wolfgang Kunz:
A case study on applying bounded model checking to analog circuit verification. MBMV 2006: 106-113 - Iyad Kebaisy, Sven Domann, Bernd Meinerzhagen:
Präzise Modellierung und Parameteranpassung eines 5, 2 GHz LNA für WLAN-Anwendungen. MBMV 2006: 329-336 - Ralf Klausen, Lars Hedrich, Erich Barke:
Vermeidung fehlerhafter Verifikations-Ergebnisse beim Äquivalenz-Vergleich nichtlinearer analoger Schaltungen. MBMV 2006: 122-131 - Sascha Kneip, Walter Anheier:
Vergleich und Optimierung von Algorithmen zur Modulo-Multiplikation auf Smartcards. MBMV 2006: 292-301 - Matthias Krause, Oliver Bringmann, Wolfgang Rosenstiel:
Communication Refinement and Target Software Generation using SystemC. MBMV 2006: 30-37 - Alexey Kupriyanov, Frank Hannig, Dmitrij Kissler, Jürgen Teich, Rainer Schaffer, Renate Merker:
An Architecture Description Language for Massively Parallel Processor Architectures. MBMV 2006: 11-20 - Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. MBMV 2006: 222-226 - Valerij Matrose:
Flächenplanung für FPGA-Architekturen mit heterogenen Verdrahtungsressourcen. MBMV 2006: 284-291 - Nico Moser, Carsten Gremzow, Matthias Menge, Hans-Ulrich Post:
Decompilationsbasierte High-Level-Synthese. MBMV 2006: 77-84 - Beate Muranko, Rolf Drechsler:
Technische Dokumentation von Soft- und Hardware-Systemen: Die vergessene Welt. MBMV 2006: 227-231 - Ingmar Neumann:
Modelling Synchronous Multi-Clock Circuits for Retiming. MBMV 2006: 69-76 - Bernhard Niemann, Christian Haubelt:
Assertion-Based Verification of Transaction Level Models. MBMV 2006: 232-236 - Florian Pigorsch, Christoph Scholl, Stefan Disch:
Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. MBMV 2006: 135-144 - Daniel Platte, Shangjing Jing, Ralf Sommer, Erich Barke:
Ansätze zur Verbesserung der Simulationsperformance automatisch generierter analoger Verhaltensmodelle. MBMV 2006: 191-200 - Tim Sander, Wolfgang Hess, Sorin A. Huss:
Konzept zur Taskmigration auf heterogenen rekonfigurierbaren Rechenplattformen. MBMV 2006: 237-241 - Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala:
Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. MBMV 2006: 339-348 - Klaus Schneider, Tobias Schüle:
A Framework for Verifying and Implementing Embedded Systems. MBMV 2006: 242-247
skipping 14 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-08-27 21:58 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