default search action
Search dblp for Publications
export results for "toc:db/conf/mbmv/mbmv2015.bht:"
@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} }
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.