![](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/mbmv2010.bht:"
@inproceedings{DBLP:conf/mbmv/BaudischBS10, author = {Daniel Baudisch and Jens Brandt and Klaus Schneider}, editor = {Manfred Dietrich}, title = {Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {11--20}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 14 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/BaudischBS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/BillichRH10, author = {Enrico Billich and Marko R{\"{o}}{\ss}ler and Ulrich Heinkel}, editor = {Manfred Dietrich}, title = {Effiziente Auslastung der heterogenen Ressourcen eines Systems durch domain-{\"{u}}bergreifendes Multithreading}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {127--136}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/BillichRH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/Bol0K10, author = {Alexander Bol and Wolfgang M{\"{u}}ller and Alexander Krupp}, editor = {Manfred Dietrich}, title = {Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {167--176}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/Bol0K10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/BrandtGS10, author = {Jens Brandt and Mike Gem{\"{u}}nde and Klaus Schneider}, editor = {Manfred Dietrich}, title = {From Synchronous Guarded Actions to SystemC}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {187--196}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 14 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/BrandtGS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/DornesE10, author = {Tobias Dornes and Hans Eveking}, editor = {Manfred Dietrich}, title = {Formale Verifikation von Systemeigenschaften unter Verwendung normalisierter formaler Spezifikationen}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {47--56}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/DornesE10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/FalkZHTD10, author = {Joachim Falk and Christian Zebelein and Christian Haubelt and J{\"{u}}rgen Teich and Rainer Dorsch}, editor = {Manfred Dietrich}, title = {Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {137--146}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/FalkZHTD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/JaschkeSHWR10, author = {Christoph J{\"{a}}schke and Carsten Schmitt and Ulla Herter and Tobias Wich and Jochen Rust}, editor = {Manfred Dietrich}, title = {Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {227--236}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/JaschkeSHWR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KalinnikASWB10, author = {Natalia Kalinnik and Erika {\'{A}}brah{\'{a}}m and Tobias Schubert and Ralf Wimmer and Bernd Becker}, editor = {Manfred Dietrich}, title = {Exploiting Different Strategies for the Parallelization of an {SMT} Solver}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {97--106}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Fri, 26 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/KalinnikASWB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KieselLTSHT10, author = {Rainer Kiesel and Otto L{\"{o}}hlein and Anestis Terzis and Martin Streub{\"{u}}hr and Christian Haubelt and J{\"{u}}rgen Teich}, editor = {Manfred Dietrich}, title = {Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core {ECU} Implementation}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {117--126}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/KieselLTSHT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KollmannPS10, author = {Steffen Kollmann and Victor Pollex and Frank Slomka}, editor = {Manfred Dietrich}, title = {Holistic Real-Time Analysis with an Expressive Event Model}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {67--76}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/KollmannPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KriestenHS10, author = {Daniel Kriesten and Ulrich Heinkel and J{\"{o}}rg Schneider}, editor = {Manfred Dietrich}, title = {Integration von Konfigurationsmechanismen f{\"{u}}r Xilinx-FPGA in das Linux-OS}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {237--246}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Fri, 18 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/KriestenHS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/LangerPH10, author = {Jan Langer and Dimo Pepelyashev and Ulrich Heinkel}, editor = {Manfred Dietrich}, title = {Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {31--40}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/LangerPH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/MillerKB10, author = {Christian Miller and Stefan Kupferschmid and Bernd Becker}, editor = {Manfred Dietrich}, title = {Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {77--86}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Fri, 20 Jan 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/MillerKB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/NopperMLBS10, author = {Tobias Nopper and Christian Miller and Matthew Lewis and Bernd Becker and Christoph Scholl}, editor = {Manfred Dietrich}, title = {{SAT} Modulo {BDD} -- {A} Combined Verification Approach for Incomplete Designs}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {107--116}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Tue, 02 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/NopperMLBS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/OuBHG10, author = {Jiong Ou and Peter Brunmayr and Jan Haase and Christoph Grimm}, editor = {Manfred Dietrich}, title = {Ein formales Modell f{\"{u}}r den Entwurf von flexiblen Kommunikationssystemen}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {207--216}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/OuBHG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/PelzR10, author = {Georg Pelz and Monica Rafaila}, editor = {Manfred Dietrich}, title = {From Requirements to Comprehensive Verification of Smart Power ICs}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {41--45}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/PelzR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/ProssKH10, author = {Uwe Pro{\ss} and Karl Kr{\"{o}}ber and Ulrich Heinkel}, editor = {Manfred Dietrich}, title = {Abh{\"{a}}ngigkeitsanalyse und Parameterberechnung auf Spezifikationsebene}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {197--206}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/ProssKH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/Schonherr10, author = {Jens Sch{\"{o}}nherr}, editor = {Manfred Dietrich}, title = {Abstracting from Register-Transfer to Algorithmic Level for Verification}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {147--156}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/Schonherr10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/SchweikertE10, author = {Martin Schweikert and Hans Eveking}, editor = {Manfred Dietrich}, title = {Verwendung von {UML} Sequenzdiagrammen zur Spezifikation und Generierung von {RTL} Eigenschaftss{\"{a}}tzen}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {177--186}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/SchweikertE10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/SeidelKDH10, author = {Stephan Seidel and Thomas Klotz and Ulrich Donath and J{\"{u}}rgen Haufe}, editor = {Manfred Dietrich}, title = {Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {157--166}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/SeidelKDH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/ShoufanSH10, author = {Abdulhadi Shoufan and Hagen St{\"{u}}bing and Sorin A. Huss}, editor = {Manfred Dietrich}, title = {Interactive Optimization of FPGA-based Systems-on-Chips}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {217--226}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/ShoufanSH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/SoekenWKGD10, author = {Mathias Soeken and Robert Wille and Mirco Kuhlmann and Martin Gogolla and Rolf Drechsler}, editor = {Manfred Dietrich}, title = {Verifying {UML/OCL} Models Using Boolean Satisfiability}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {57--66}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/SoekenWKGD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/ThalmaierNWSK10, author = {Max Thalmaier and Minh D. Nguyen and Markus Wedler and Dominik Stoffel and Wolfgang Kunz}, editor = {Manfred Dietrich}, title = {Analyzing k-step induction to compute invariants for SAT-based property checking}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {87--96}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/ThalmaierNWSK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/WilleOD10, author = {Robert Wille and Sebastian Offermann and Rolf Drechsler}, editor = {Manfred Dietrich}, title = {SyReC: {A} Programming Language for Synthesis of Reversible Circuits}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, pages = {21--30}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/WilleOD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2010, editor = {Manfred Dietrich}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Thu, 28 Jun 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2010.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.