Search dblp for Publications

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

 download as .bib file

@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}
}
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.