![](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
16. MBMV 2014: Böblingen, Germany
- Jürgen Ruf, Dirk Allmendinger, Matteo Michel:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. Cuvillier 2014 - Manuel Gesell, Felipe Bichued, Klaus Schneider:
Using Different Representations of Synchronous Systems in SAL. MBMV 2014: 13-24 - Karsten Scheibler, Bernd Becker:
Implication Graph Compression inside the SMT Solver iSAT3. MBMV 2014: 25-36 - Christian Appold:
A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking. MBMV 2014: 37-47 - Bastian Koppelmann, Markus Becker, Wolfgang Müller:
Portierung der TriCore-Architektur auf QEMU. MBMV 2014: 49-60 - Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner:
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. MBMV 2014: 61-70 - Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider:
Synthesis of Distributed Synchronous Specifications to SysteMoC. MBMV 2014: 71-81 - Carna Radojicic, Kristin Krüger, Christoph Grimm:
Semi-Symbolische Analyse eines Sigma-Delta Modulators. MBMV 2014: 83-92 - Maarten Boersma, Ulrike Schmidt, Markus Kaltenbach:
Automatic detection of sticky clock gating equations. MBMV 2014: 93-100 - Roberto Urban, Kai Lehniger, Maximilian Heyne, Mario Schölzel, Heinrich Theodor Vierhaus:
Vergleich der Beschreibung und Simulation einer Befehlssatzarchitektur in LISA und CoMet. MBMV 2014: 101-111 - Christoph Kuznik, Bertrand Defo, Wolfgang Müller:
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. MBMV 2014: 113-124 - Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. MBMV 2014: 125-136 - Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich:
Verifikation Rekonfigurierbarer Scan-Netze. MBMV 2014: 137-146 - Christian Bartsch, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz:
Efficient SAT/simulation-based model generation for low-level embedded software. MBMV 2014: 147-157 - Konrad Möller, Martin Kumm, Björn Barschtipan, Peter Zipf:
Dynamically Reconfigurable Constant Multiplication on FPGAs. MBMV 2014: 159-169 - Martin Kumm, Peter Zipf:
Efficient High Speed Compression Trees on Xilinx FPGAs. MBMV 2014: 171-182 - Robert Fischbach, Michael Dittrich, Andy Heinig:
Effizienter Design Rule Check von 3D Systemaufbauten mit einer hierarchischen XML-basierten Modellierungssprache. MBMV 2014: 183-192 - Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann:
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. MBMV 2014: 193-196 - Niels Thole, Görschwin Fey:
Equivalence Checking on System Level using Stepwise Induction. MBMV 2014: 197-200 - Aljoscha Windhorst, Hoang Minh Le, Daniel Große, Rolf Drechsler:
Funktionale Abdeckungsanalyse von C-Programmen. MBMV 2014: 201-204 - Vladimir Kolchuzhin, Jan Mehner, Milind Shende, Erik Markert, Ulrich Heinkel, Christian Wagner, Thomas Gessner:
System Level Modeling of Piezoresistive Effect of Carbon Nanotubes for Sensor Application. MBMV 2014: 205-208 - Sebastian Stieber, Johann-Peter Wolff, Christian Haubelt, Rainer Dorsch:
Hybride Prototypisierung eines Sensorsubsystems. MBMV 2014: 209-212 - Mathias Soeken, Max Nitze, Rolf Drechsler:
Formale Methoden für Alle. MBMV 2014: 213-216 - Heinz Riener, Oliver Keszöcze, Rolf Drechsler, Görschwin Fey:
A Logic for Cardinality Constraints (Extended Abstract). MBMV 2014: 217-220
![](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.