Search dblp for Publications

export results for "toc:db/conf/mbmv/mbmv2010.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.