Search dblp for Publications

• > Home > Search

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