Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/mbmv/BiewerMGH15,
  author       = {Alexander Biewer and
                  Peter Munk and
                  Jens Gladigau and
                  Christian Haubelt},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {On the Influence of Hardware Design Options on Schedule Synthesis
                  in Time-Triggered Real-Time Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {105--114},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Sat, 17 Jul 2021 09:02:10 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/BiewerMGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/DrechslerSPH15,
  author       = {Chris Drechsler and
                  Matthias Sauppe and
                  Christian P{\"{a}}tz and
                  Ulrich Heinkel},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {41--49},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/DrechslerSPH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/GorskiWT15,
  author       = {Philipp Gorski and
                  Tim Wegner and
                  Dirk Timmermann},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Evaluation of a software-based centralized traffic management inside
                  run-time reconfigurable regions-of-interest of a mesh-based Network-on-Chip
                  topology},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {63--72},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/GorskiWT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/GrafGT15,
  author       = {Sebastian Graf and
                  Michael Gla{\ss} and
                  J{\"{u}}rgen Teich},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Symbolic Message Routing for Multi-Objective Optimization of Automotive
                  {E/E} Architecture Component Platforms},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {115--124},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Tue, 19 Apr 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrafGT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Li015,
  author       = {Xian Li and
                  Klaus Schneider},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {A Counterexample-Guided Approach to Symbolic Simulation of Hybrid
                  Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {50--62},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Thu, 04 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Li015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/MichelKG15,
  author       = {Matteo Michel and
                  Johannes Koesters and
                  Benedikt Geukes},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Modulare Verifikation von Non-Mainline Chip-Level Funktionen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {14--19},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/MichelKG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/MullerHGBR15,
  author       = {Stefan M{\"{u}}ller and
                  Dennis Hospach and
                  Joachim Gerlach and
                  Oliver Bringmann and
                  Wolfgang Rosenstiel},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Framework for Varied Sensor Perception in Virtual Prototypes},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {145--154},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 29 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/MullerHGBR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/NitschBGH15,
  author       = {Alexander Nitsch and
                  Benjamin Beichler and
                  Frank Golatowski and
                  Christian Haubelt},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Model-based Systems Engineering with Matlab/Simulink in the Railway
                  Sector},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {125--134},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/NitschBGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/PanM015,
  author       = {Xiao Pan and
                  Javier Moreno and
                  Christoph Grimm},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Modeling Power Consumption for Design of Power- and Noise-Aware {AMS}
                  Circuits},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {83--92},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Mon, 09 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/PanM015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/PrzigodaWD15,
  author       = {Nils Przigoda and
                  Robert Wille and
                  Rolf Drechsler},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Verbesserung der Fehlersuche in inkonsistenten formalen Modellen (Erweiterte
                  Zusammenfassung)},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {165--172},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/PrzigodaWD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/RashidH15,
  author       = {Aquib Rashid and
                  Wolfram Hardt},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {{HOPE:} Hardware Optimized Parallel Execution},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {155--159},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/RashidH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/RienerTF15,
  author       = {Heinz Riener and
                  Michael Kirkedal Thomsen and
                  G{\"{o}}rschwin Fey},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Execution Tracing of {C} Code for Formal Analysis (Extended Abstract)},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {160--164},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/RienerTF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/ScheiblerWWB15,
  author       = {Karsten Scheibler and
                  Leonore Winterer and
                  Ralf Wimmer and
                  Bernd Becker},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Towards Verification of Artificial Neural Networks},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {30--40},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 26 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/ScheiblerWWB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SchottRH15,
  author       = {Christian Schott and
                  Marko R{\"{o}}{\ss}ler and
                  Ulrich Heinkel},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {5--13},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/SchottRH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SchreinerGRN15,
  author       = {S{\"{o}}ren Schreiner and
                  Kim Gr{\"{u}}ttner and
                  Sven Rosinger and
                  Wolfgang Nebel},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Ein Verfahren zur Bestimmung eines Powermodells von Xilinx MicroBlaze
                  MPSoCs zur Verwendung in Virtuellen Plattformen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {73--82},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/SchreinerGRN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Strauch15,
  author       = {Tobias Strauch},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Deriving {AOC} C-Models from D{\&}V Languages for Single- or Multi-Threaded
                  Execution Using {C} or {C++}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {173--182},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Strauch15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/UrdahlSK15,
  author       = {Joakim Urdahl and
                  Dominik Stoffel and
                  Wolfgang Kunz},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Architectural System Modeling for Correct-by-Construction {RTL} Design},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {93--104},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/UrdahlSK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/VortlerHHK15,
  author       = {Thilo V{\"{o}}rtler and
                  Benny H{\"{o}}ckner and
                  Petra Hofstedt and
                  Thomas Klotz},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Formale Verifikation von eingebetteter Software f{\"{u}}r das
                  Betriebssystem Contiki unter Ber{\"{u}}cksichtigung von Interrupts},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {20--29},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/VortlerHHK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/YangMH15,
  author       = {Lei Yang and
                  Erik Markert and
                  Ulrich Heinkel},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {A new Mapping Method from Fuzzy Logic System into Fuzzy Automaton},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {135--144},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Fri, 07 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/YangMH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mbmv/2015,
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  url          = {https://d-nb.info/1068405465},
  isbn         = {978-3-00-048889-4},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/2015.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.