• 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 18 matches

• 2012
• 
  Christian Appold:
  Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic Partitions. MBMV 2012: 1-12
• 
  Sebastian Graf, Michael Glaß, Jürgen Teich:
  Unreliable Data Transmissions und Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes. MBMV 2012: 13-24
• 
  Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin:
  Optimized Static Parameter Assignment for Semiformal Software Verification. MBMV 2012: 25-35
• 
  Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler:
  CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. MBMV 2012: 37-48
• 
  Simon Hufnagel, Nico Bannow, Christoph Grimm, Jiong Ou:
  Abstract Modeling of Communication Errors in Cyber-Physical Systems using uPN. MBMV 2012: 49-59
• 
  Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze:
  Ein Ansatz zur Verifikation von Materialflusssteuerungen. MBMV 2012: 61-71
• 
  Daniel Lorenz, Philipp A. Hartmann, Kim Grüttner, Achim Rettberg:
  Nicht-invasive Simulation des Energieverbrauchs von Hardware-Komponenten auf Systemebene mit SystemC. MBMV 2012: 73-83
• 
  Jan Malburg, Alexander Finder, Görschwin Fey:
  Automated Feature Localization for Hardware Designs using Coverage Metrics. MBMV 2012: 85-96
• 
  Georges Morbé, Christoph Scholl:
  Fully Symbolic Model Checking for Incomplete Systems of Timed Automata. MBMV 2012: 97-108
• 
  Johanna Nellen, Erika Ábrahám:
  Hybrid Sequential Function Charts. MBMV 2012: 109-120
• 
  Gregor Nitsche, Georg Glaeser, Dirk Nuernbergk, Eckhard Hennig:
  Hardware/Software Co-design of a Smart Sensor Interface Using a Fast but Accurate Close-to-RTL Instruction Set Interpreter. MBMV 2012: 121-132
• 
  Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker:
  Enhanced Integration of QBF Solving Techniques. MBMV 2012: 133-143
• 
  Hagen Sämrow, Claas Cornelius, Philipp Gorski, Jakob Salzmann, Dirk Timmermann:
  Effiziente Simulation von Gateoxiddefekten auf Gatterebene mit Transistorlevel-Genauigkeit. MBMV 2012: 157-168
• 
  Timo Schönwald, Benjamin Ranft, Oliver Bringmann, Wolfgang Rosenstiel:
  Latency-Optimized Force-directed Process Mapping for MPSoC Architectures. MBMV 2012: 145-156
• 
  Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen:
  Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV 2012: 169-180
• 
  Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich:
  Exploiting Model-Knowledge in High-Level Synthesis. MBMV 2012: 181-191
• 
  Liyuan Zhang, Michael Glaß, Martin Streubühr, Jürgen Teich, Andreas von Schwerin, Kai Liu:
  Actor-oriented Modeling und Simulation of Cut-through Communication in Network Controllers. MBMV 2012: 193-204
• 
  Jens Brandt, Klaus Schneider:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. Forschungsergebnisse zur Informatik 68, Verlag Dr. Kovac 2012, ISBN 978-3-8300-6201-1 [contents]