![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/mbmv/mbmv2014.bht:"
@inproceedings{DBLP:conf/mbmv/Appold14, author = {Christian Appold}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {A New Approach to Use Partial Results During Image Computation in {BDD} Based Symbolic Model Checking}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {37--47}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 18:26:03 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/Appold14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/BaranowskiKW14, author = {Rafal Baranowski and Michael A. Kochte and Hans{-}Joachim Wunderlich}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Verifikation Rekonfigurierbarer Scan-Netze}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {137--146}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/BaranowskiKW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/BartschVSSK14, author = {Christian Bartsch and Carlos Villarraga and Bernard Schmidt and Dominik Stoffel and Wolfgang Kunz}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Efficient SAT/simulation-based model generation for low-level embedded software}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {147--157}, publisher = {Cuvillier}, year = {2014}, timestamp = {Wed, 31 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/BartschVSSK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/BoersmaSK14, author = {Maarten Boersma and Ulrike Schmidt and Markus Kaltenbach}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Automatic detection of sticky clock gating equations}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {93--100}, publisher = {Cuvillier}, year = {2014}, timestamp = {Mon, 28 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/BoersmaSK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/BurgHHEBRKB14, author = {Sebastian Burg and Patrick Heckeler and Stefan Huster and Hanno Eichelberger and J{\"{o}}rg Behrend and J{\"{u}}rgen Ruf and Thomas Kropf and Oliver Bringmann}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {193--196}, publisher = {Cuvillier}, year = {2014}, timestamp = {Fri, 29 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/BurgHHEBRKB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/EichelbergerHRHBKRG14, author = {Hanno Eichelberger and Patrick Heckeler and J{\"{u}}rgen Ruf and Stefan Huster and Sebastian Burg and Thomas Kropf and Wolfgang Rosenstiel and Thomas Greiner}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {61--70}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/EichelbergerHRHBKRG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/FischbachDH14, author = {Robert Fischbach and Michael Dittrich and Andy Heinig}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Effizienter Design Rule Check von 3D Systemaufbauten mit einer hierarchischen XML-basierten Modellierungssprache}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {183--192}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/FischbachDH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/GesellBS14, author = {Manuel Gesell and Felipe Bichued and Klaus Schneider}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Using Different Representations of Synchronous Systems in {SAL}}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {13--24}, publisher = {Cuvillier}, year = {2014}, timestamp = {Mon, 22 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/GesellBS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/HusterMBEHRKR14, author = {Stefan Huster and Merdin Macic and Sebastian Burg and Hanno Eichelberger and Patrick Heckeler and J{\"{u}}rgen Ruf and Thomas Kropf and Wolfgang Rosenstiel}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Increasing Software Reliability by Integrating Formal Verification and Robustness Testing}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {125--136}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/HusterMBEHRKR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KhadraBS14, author = {Mohamed Ammar {Ben Khadra} and Yu Bai and Klaus Schneider}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Synthesis of Distributed Synchronous Specifications to SysteMoC}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {71--81}, publisher = {Cuvillier}, year = {2014}, timestamp = {Fri, 28 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/KhadraBS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KolchuzhinMSMHWG14, author = {Vladimir Kolchuzhin and Jan Mehner and Milind Shende and Erik Markert and Ulrich Heinkel and Christian Wagner and Thomas Gessner}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {System Level Modeling of Piezoresistive Effect of Carbon Nanotubes for Sensor Application}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {205--208}, publisher = {Cuvillier}, year = {2014}, timestamp = {Fri, 20 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/KolchuzhinMSMHWG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KoppelmannB014, author = {Bastian Koppelmann and Markus Becker and Wolfgang M{\"{u}}ller}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Portierung der TriCore-Architektur auf {QEMU}}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {49--60}, publisher = {Cuvillier}, year = {2014}, timestamp = {Wed, 19 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/KoppelmannB014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KummZ14, author = {Martin Kumm and Peter Zipf}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Efficient High Speed Compression Trees on Xilinx FPGAs}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {171--182}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/KummZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KuznikD014, author = {Christoph Kuznik and Bertrand Defo and Wolfgang M{\"{u}}ller}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Semi-automatische Generierung von {\"{U}}berdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {113--124}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/KuznikD014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/MollerKBZ14, author = {Konrad M{\"{o}}ller and Martin Kumm and Bj{\"{o}}rn Barschtipan and Peter Zipf}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Dynamically Reconfigurable Constant Multiplication on FPGAs}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {159--169}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/MollerKBZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/RadojicicKG14, author = {Carna Radojicic and Kristin Kr{\"{u}}ger and Christoph Grimm}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Semi-Symbolische Analyse eines Sigma-Delta Modulators}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {83--92}, publisher = {Cuvillier}, year = {2014}, timestamp = {Mon, 22 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/RadojicicKG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/RienerKDF14, author = {Heinz Riener and Oliver Kesz{\"{o}}cze and Rolf Drechsler and G{\"{o}}rschwin Fey}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {A Logic for Cardinality Constraints (Extended Abstract)}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {217--220}, publisher = {Cuvillier}, year = {2014}, timestamp = {Tue, 14 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/RienerKDF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/ScheiblerB14, author = {Karsten Scheibler and Bernd Becker}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Implication Graph Compression inside the {SMT} Solver iSAT3}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {25--36}, publisher = {Cuvillier}, year = {2014}, timestamp = {Fri, 20 Jan 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/ScheiblerB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/SoekenND14, author = {Mathias Soeken and Max Nitze and Rolf Drechsler}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Formale Methoden f{\"{u}}r Alle}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {213--216}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/SoekenND14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/StieberWHD14, author = {Sebastian Stieber and Johann{-}Peter Wolff and Christian Haubelt and Rainer Dorsch}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Hybride Prototypisierung eines Sensorsubsystems}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {209--212}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/StieberWHD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/TholeF14, author = {Niels Thole and G{\"{o}}rschwin Fey}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Equivalence Checking on System Level using Stepwise Induction}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {197--200}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/TholeF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/UrbanLHSV14, author = {Roberto Urban and Kai Lehniger and Maximilian Heyne and Mario Sch{\"{o}}lzel and Heinrich Theodor Vierhaus}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Vergleich der Beschreibung und Simulation einer Befehlssatzarchitektur in {LISA} und CoMet}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {101--111}, publisher = {Cuvillier}, year = {2014}, timestamp = {Tue, 17 Jul 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/UrbanLHSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/WindhorstLGD14, author = {Aljoscha Windhorst and Hoang Minh Le and Daniel Gro{\ss}e and Rolf Drechsler}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Funktionale Abdeckungsanalyse von C-Programmen}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {201--204}, publisher = {Cuvillier}, year = {2014}, timestamp = {Tue, 12 Jul 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/WindhorstLGD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2014, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.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.