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

• 2019
• 
  Fin Hendrik Bahnsen, Görschwin Fey:
  Approximation of Neural Networks for Verification. MBMV 2019: 1-10
• 
  Keerthikumara Devarajegowda, Wolfgang Ecker, Wolfgang Kunz:
  How to Keep 4-Eyes Principle in a Design and Property Generation Flow. MBMV 2019: 1-6
• 
  Görschwin Fey, Rolf Drechsler:
  Self-Explaining Digital Systems - Some Technical Steps. MBMV 2019: 1-8
• 
  Markus Hedderich, Markus Heimberger, Axel Klekamp:
  SEMAS - System Engineering Methodology for Automated Systems | The world described in layers. MBMV 2019: 1-9
• 
  Iryna Kmitina, Nico Bannow, Christoph Grimm, Daniel Zielinski, Carna Zivkovic:
  Optimization Framework for Hardware Design of Engine Control Units. MBMV 2019: 1-8
• 
  Martin Köhler, Klaus Schneider:
  Inductive Proof Rules Beyond Safety Properties. MBMV 2019: 1-9
• 
  Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken:
  Logic Optimization of Majority-Inverter Graphs. MBMV 2019: 1-4
• 
  Jens Rudolf, Manuel Strobel, Joscha Benz, Christian Haubelt, Martin Radetzki, Oliver Bringmann:
  Automated Sensor Firmware Development - Generation, Optimization, and Analysis. MBMV 2019: 1-12
• 
  Michael Schwarz, Dominik Stoffel, Wolfgang Kunz:
  ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization. MBMV 2019: 1-4
• 
  22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. VDE Verlag 2019, ISBN 978-3-8007-4945-4 [contents]