Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/mbmv/AbrahamHBS06,
  author       = {Erika {\'{A}}brah{\'{a}}m and
                  Marc Herbstritt and
                  Bernd Becker and
                  Martin Steffen},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Memory-aware Bounded Model Checking for Linear Hybrid Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {153--162},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Fri, 20 Jan 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/AbrahamHBS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/DuplysWRKR06,
  author       = {Paul Duplys and
                  Roland J. Weiss and
                  J{\"{u}}rgen Ruf and
                  Thomas Kropf and
                  Wolfgang Rosenstiel},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Monitoring-based Formal Hardware Verification},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {217--221},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/DuplysWRKR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/EhrenfriedSW06,
  author       = {Andreas Ehrenfried and
                  Daniel Scholz and
                  Tobias Welp},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Anwendungsm{\"{o}}glichkeiten von Bounded Model Checking und
                  affiner Arithmetik f{\"{u}}r die Verifikation von Analogschaltungen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {114--121},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/EhrenfriedSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/FeyD06,
  author       = {G{\"{o}}rschwin Fey and
                  Rolf Drechsler},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {SAT-based Calculation of Source Code Coverage for {BMC}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {163--170},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/FeyD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Forster06,
  author       = {Stefan F{\"{o}}rster},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Verifying Behavioural Extension of Components with Dynamically Evolving
                  Interfaces},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {145--152},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Forster06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/FreibotheDCLSK06,
  author       = {Martin Freibothe and
                  Jens D{\"{o}}ge and
                  Torsten Coym and
                  Stefan Ludwig and
                  Bernd Straube and
                  Ernst Kock},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten
                  f{\"{u}}r die semi-formale Mixed-Signal-Verifikation},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {95--105},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/FreibotheDCLSK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/GrabowskiGB06,
  author       = {Darius Grabowski and
                  Christoph Grimm and
                  Erich Barke},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Ein Verfahren zur effizienten Analyse von Schaltungen mit Parametervarianzen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {181--190},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrabowskiGB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/GruttnerGON06,
  author       = {Kim Gr{\"{u}}ttner and
                  Cornelia Grabbe and
                  Frank Oppenheimer and
                  Wolfgang Nebel},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Modelling and Synthesis of Communication Using OSSS-Channels},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {38--47},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/GruttnerGON06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/HardtS06,
  author       = {Wolfram Hardt and
                  Mathias Sporer},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Ein Metamodell f{\"{u}}r eingebettete Systeme},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {255--260},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/HardtS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/HeinigS06,
  author       = {Andy Heinig and
                  Mario Sch{\"{o}}lzel},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Zeitbeschr{\"{a}}nkte Clusterung zur Design-Space-Exploration
                  geclusterter VLIW-Prozessoren},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {319--328},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/HeinigS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/HeupkeGW06,
  author       = {Wilhelm Heupke and
                  Christoph Grimm and
                  Klaus Waldschmidt},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Semi-symbolische Modellierung von Abweichungen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {173--180},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/HeupkeGW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Issendorff06,
  author       = {Hermann von Issendorff},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {{\"{U}}ber die formale Beschreibung r{\"{a}}umlicher Netze},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {203--213},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Issendorff06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/JaschkeWK06,
  author       = {Christoph J{\"{a}}schke and
                  Ralf Winkelmann and
                  Johannes K{\"{o}}sters},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Control Register Specification and Verification in Complex Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {349--358},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/JaschkeWK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/JesserWHK06,
  author       = {Alexander Jesser and
                  Markus Wedler and
                  Lars Hedrich and
                  Wolfgang Kunz},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {A case study on applying bounded model checking to analog circuit
                  verification},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {106--113},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/JesserWHK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/KebaisyDM06,
  author       = {Iyad Kebaisy and
                  Sven Domann and
                  Bernd Meinerzhagen},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Pr{\"{a}}zise Modellierung und Parameteranpassung eines 5, 2
                  GHz {LNA} f{\"{u}}r WLAN-Anwendungen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {329--336},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/KebaisyDM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/KlausenHB06,
  author       = {Ralf Klausen and
                  Lars Hedrich and
                  Erich Barke},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Vermeidung fehlerhafter Verifikations-Ergebnisse beim {\"{A}}quivalenz-Vergleich
                  nichtlinearer analoger Schaltungen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {122--131},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/KlausenHB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/KneipA06,
  author       = {Sascha Kneip and
                  Walter Anheier},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Vergleich und Optimierung von Algorithmen zur Modulo-Multiplikation
                  auf Smartcards},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {292--301},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/KneipA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/KrauseBR06,
  author       = {Matthias Krause and
                  Oliver Bringmann and
                  Wolfgang Rosenstiel},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Communication Refinement and Target Software Generation using SystemC},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {30--37},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Fri, 29 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/KrauseBR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/KupriyanovHKTSM06,
  author       = {Alexey Kupriyanov and
                  Frank Hannig and
                  Dmitrij Kissler and
                  J{\"{u}}rgen Teich and
                  Rainer Schaffer and
                  Renate Merker},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {An Architecture Description Language for Massively Parallel Processor
                  Architectures},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {11--20},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/KupriyanovHKTSM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/LammermannWRKR06,
  author       = {Stefan L{\"{a}}mmermann and
                  Roland J. Weiss and
                  J{\"{u}}rgen Ruf and
                  Thomas Kropf and
                  Wolfgang Rosenstiel},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {222--226},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/LammermannWRKR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Matrose06,
  author       = {Valerij Matrose},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Fl{\"{a}}chenplanung f{\"{u}}r FPGA-Architekturen mit heterogenen
                  Verdrahtungsressourcen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {284--291},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Matrose06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/MoserGMP06,
  author       = {Nico Moser and
                  Carsten Gremzow and
                  Matthias Menge and
                  Hans{-}Ulrich Post},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Decompilationsbasierte High-Level-Synthese},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {77--84},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/MoserGMP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/MurankoD06,
  author       = {Beate Muranko and
                  Rolf Drechsler},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Technische Dokumentation von Soft- und Hardware-Systemen: Die vergessene
                  Welt},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {227--231},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/MurankoD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Neumann06,
  author       = {Ingmar Neumann},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Modelling Synchronous Multi-Clock Circuits for Retiming},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {69--76},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Neumann06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/NiemannH06,
  author       = {Bernhard Niemann and
                  Christian Haubelt},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Assertion-Based Verification of Transaction Level Models},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {232--236},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/NiemannH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/PigorschSD06,
  author       = {Florian Pigorsch and
                  Christoph Scholl and
                  Stefan Disch},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Advanced Unbounded {CTL} Model Checking By Using AIGs, {BDD} Sweeping,
                  and Quantifier Scheduling},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {135--144},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Tue, 02 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/PigorschSD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/PlatteJSB06,
  author       = {Daniel Platte and
                  Shangjing Jing and
                  Ralf Sommer and
                  Erich Barke},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Ans{\"{a}}tze zur Verbesserung der Simulationsperformance automatisch
                  generierter analoger Verhaltensmodelle},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {191--200},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/PlatteJSB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SanderHH06,
  author       = {Tim Sander and
                  Wolfgang Hess and
                  Sorin A. Huss},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Konzept zur Taskmigration auf heterogenen rekonfigurierbaren Rechenplattformen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {237--241},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/SanderHH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SchneiderBRHKZ06,
  author       = {Axel Schneider and
                  Thomas Bluhm and
                  Tobias Renner and
                  Ulrich Heinkel and
                  Joachim Kn{\"{a}}blein and
                  Reynaldo Zavala},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Formale Spezifikation und Verifikation abstrakter Beschreibungen von
                  Telekommunikationsprotokollen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {339--348},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/SchneiderBRHKZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SchneiderS06,
  author       = {Klaus Schneider and
                  Tobias Sch{\"{u}}le},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {A Framework for Verifying and Implementing Embedded Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {242--247},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/SchneiderS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SidaC06,
  author       = {Marius Sida and
                  Guido Clemens},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Efficient Top Down Design and Verification of a Bluetooth Transceiver
                  using the {IEEE} 1076.1 Language Standard},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {311--318},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/SidaC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Siegle06,
  author       = {Markus Siegle},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Verifying Finite State Machines in Probabilistic Environments},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {248--254},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Siegle06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SillCT06,
  author       = {Frank Sill and
                  Claas Cornelius and
                  Dirk Timmermann},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Reduzierung des Leckstromverbrauchs mit gemischten Gattern in Deep
                  Submicron Technologien},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {275--283},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/SillCT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Strom06,
  author       = {{\O}yvind Str{\o}m},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Verification and validation of Atmel's new 32 bit {AVR} microprocessor},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {305--308},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Fri, 09 Nov 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/Strom06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Vachoux06,
  author       = {Alain Vachoux},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Analog and Mixed-Signal Extensions to SystemC},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {3--8},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Vachoux06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/VersenSLS06,
  author       = {Martin Versen and
                  Achim Schramm and
                  Daewon Lee and
                  Ronny Schneider},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Address Decoder Test and Verification by Generalization of Application
                  Fail Sequences},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {261--265},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/VersenSLS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/VickRV06,
  author       = {Axel Vick and
                  Helmut Rossmann and
                  Heinrich Theodor Vierhaus},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Timing-/Power-getriebener Layout-Entwurf f{\"{u}}r Zellen-basierte
                  Digitalschaltungen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {61--68},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/VickRV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/ViehlBR06,
  author       = {Alexander Viehl and
                  Oliver Bringmann and
                  Wolfgang Rosenstiel},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Virtual Prototyping und fr{\"{u}}he Evaluierung von Systems-on-Chip
                  mit {UML2} und SysML},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {266--270},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Fri, 29 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/ViehlBR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/WeissW06,
  author       = {Axel Wei{\ss} and
                  Frank Winkler},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Entwurf Global Asynchroner Lokal Synchroner Strukturen auf der Basis
                  einer deklarativen Beschreibung mit {XML}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {21--29},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Wed, 13 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/WeissW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Winkelmann06,
  author       = {Klaus Winkelmann},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Going Beyond Assertions},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {87--91},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Winkelmann06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Ziller06,
  author       = {Roberto M. Ziller},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Verallgemeinerte {\"{U}}berwachersynthese},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {271--271},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Ziller06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/ZillerS06,
  author       = {Roberto M. Ziller and
                  Detlef Schmid},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Erstellung korrekter Spezifikationen f{\"{u}}r diskrete Systeme},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {359--368},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/ZillerS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/ZipfHGP06,
  author       = {Peter Zipf and
                  Volker Hampel and
                  Manfred Glesner and
                  Thilo Pionteck},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Eine Scheduling Heuristik zur Minimierung der Verlustleistung},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {51--60},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/ZipfHGP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mbmv/2006,
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/2006.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.