• 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.

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