default search action
Search dblp for Publications
export results for "toc:db/conf/mbmv/mbmv2020.bht:"
@inproceedings{DBLP:conf/mbmv/AdeltKMS20, author = {Peer Adelt and Bastian Koppelmann and Wolfgang Mueller and Christoph Scheytt}, title = {A Scalable Platform for {QEMU} Based Fault Effect Analysis for {RISC-V} Hardware Architectures}, booktitle = {23rd {GMM/ITG/GI} Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, {MBMV} 2020, Stuttgart, Germany, March 19-20, 2020}, pages = {1--8}, publisher = {{VDE} / {IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/document/9094540}, timestamp = {Tue, 03 Nov 2020 16:04:29 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/AdeltKMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/FroemmerGBK0020, author = {Jens Froemmer and Yara Gowayed and Nico Bannow and Wolfgang Kunz and Christoph Grimm and Klaus Schneider}, title = {Area Estimation Framework for Digital Hardware Design using Machine Learning}, booktitle = {23rd {GMM/ITG/GI} Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, {MBMV} 2020, Stuttgart, Germany, March 19-20, 2020}, pages = {1--10}, publisher = {{VDE} / {IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/document/9094535}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/FroemmerGBK0020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/HellerNPHT20, author = {Jakob Heller and Christoph Niemann and Franz Plocksties and Christian Haubelt and Dirk Timmermann}, title = {Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS}, booktitle = {23rd {GMM/ITG/GI} Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, {MBMV} 2020, Stuttgart, Germany, March 19-20, 2020}, pages = {1--8}, publisher = {{VDE} / {IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/document/9094537}, timestamp = {Thu, 04 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/HellerNPHT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KohlerH020, author = {Martin K{\"{o}}hler and Felix Hasselwander and Klaus Schneider}, title = {Properties of Invariants and Induction Lemmata}, booktitle = {23rd {GMM/ITG/GI} Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, {MBMV} 2020, Stuttgart, Germany, March 19-20, 2020}, pages = {1--10}, publisher = {{VDE} / {IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/document/9094539}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/KohlerH020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/LuenemannFG20, author = {Daniel Luenemann and Maher Fakih and Kim Gr{\"{u}}ttner}, title = {Capturing Neural-Networks as Synchronous Dataflow Graphs}, booktitle = {23rd {GMM/ITG/GI} Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, {MBMV} 2020, Stuttgart, Germany, March 19-20, 2020}, pages = {1--10}, publisher = {{VDE} / {IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/document/9094536}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/LuenemannFG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/RudolfGH20, author = {Jens Rudolf and Florian Gr{\"{u}}tzmacher and Christian Haubelt}, title = {Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs}, booktitle = {23rd {GMM/ITG/GI} Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, {MBMV} 2020, Stuttgart, Germany, March 19-20, 2020}, pages = {1--9}, publisher = {{VDE} / {IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/document/9094538}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/RudolfGH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2020, title = {23rd {GMM/ITG/GI} Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, {MBMV} 2020, Stuttgart, Germany, March 19-20, 2020}, publisher = {{VDE} / {IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/xpl/conhome/9094533/proceeding?isnumber=9094534}, isbn = {978-3-8007-5220-1}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/2020.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.