Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/mbmv/0001BR22,
  author       = {Klaus Schneider and
                  Anoop Bhagyanath and
                  Julius Roob},
  title        = {Virtual Buffers for Exposed Datapath Architectures},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
                  February 17-18, 2022},
  pages        = {1--11},
  publisher    = {{VDE/IEEE}},
  year         = {2022},
  url          = {https://ieeexplore.ieee.org/document/9788583},
  timestamp    = {Fri, 12 Jan 2024 10:14:38 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/0001BR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/BartschWKSK22,
  author       = {Christian Bartsch and
                  Stephan Wilhelm and
                  Daniel K{\"{a}}stner and
                  Dominik Stoffel and
                  Wolfgang Kunz},
  title        = {Compositional Fault Propagation Analysis in Embedded Systems using
                  Abstract Interpretation},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
                  February 17-18, 2022},
  pages        = {1--4},
  publisher    = {{VDE/IEEE}},
  year         = {2022},
  url          = {https://ieeexplore.ieee.org/document/9788577},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/BartschWKSK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/GoliD22,
  author       = {Mehran Goli and
                  Rolf Drechsler},
  title        = {Simulation-based Verification of SystemC-based VPs at the {ESL}},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
                  February 17-18, 2022},
  pages        = {1--4},
  publisher    = {{VDE/IEEE}},
  year         = {2022},
  url          = {https://ieeexplore.ieee.org/document/9788580},
  timestamp    = {Fri, 12 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/GoliD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/HuW022,
  author       = {Ming Hu and
                  Leonore Winterer and
                  Ralf Wimmer},
  title        = {Diagnosing Partially Observable Markov Decision Processes},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
                  February 17-18, 2022},
  pages        = {1--10},
  publisher    = {{VDE/IEEE}},
  year         = {2022},
  url          = {https://ieeexplore.ieee.org/document/9788584},
  timestamp    = {Fri, 12 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/HuW022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/MahzoonD22,
  author       = {Alireza Mahzoon and
                  Rolf Drechsler},
  title        = {Polynomial Formal Verification of Complex Multipliers},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
                  February 17-18, 2022},
  pages        = {1--4},
  publisher    = {{VDE/IEEE}},
  year         = {2022},
  url          = {https://ieeexplore.ieee.org/document/9788585},
  timestamp    = {Fri, 12 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/MahzoonD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/MentelST22,
  author       = {Lukas Mentel and
                  Karsten Scheibler and
                  Tino Teige},
  title        = {Detection and Elimination of Constants to Strengthen k-Induction},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
                  February 17-18, 2022},
  pages        = {1--10},
  publisher    = {{VDE/IEEE}},
  year         = {2022},
  url          = {https://ieeexplore.ieee.org/document/9788578},
  timestamp    = {Fri, 12 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/MentelST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/PrebeckAVDE22,
  author       = {Sebastian Prebeck and
                  Sathya Ashok and
                  Mounika Vaddeboina and
                  Keerthikumara Devarajegowda and
                  Wolfgang Ecker},
  title        = {A Scalable, Configurable and Programmable Vector Dot-Product Unit
                  for Edge {AI}},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
                  February 17-18, 2022},
  pages        = {1--9},
  publisher    = {{VDE/IEEE}},
  year         = {2022},
  url          = {https://ieeexplore.ieee.org/document/9788581},
  timestamp    = {Fri, 12 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/PrebeckAVDE22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Rafique022,
  author       = {Omair Rafique and
                  Klaus Schneider},
  title        = {Data-aware Global Scheduling of Dataflow Process Networks},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
                  February 17-18, 2022},
  pages        = {1--9},
  publisher    = {{VDE/IEEE}},
  year         = {2022},
  url          = {https://ieeexplore.ieee.org/document/9788582},
  timestamp    = {Fri, 12 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/Rafique022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Seufert0CRW22,
  author       = {Tobias Seufert and
                  Christoph Scholl and
                  Arun Chandrasekharan and
                  Sven Reimer and
                  Tobias Welp},
  title        = {Making {PROGRESS} in Property Directed Reachability},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
                  February 17-18, 2022},
  pages        = {1--2},
  publisher    = {{VDE/IEEE}},
  year         = {2022},
  url          = {https://ieeexplore.ieee.org/document/9788579},
  timestamp    = {Fri, 12 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/Seufert0CRW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mbmv/2022,
  title        = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
                  February 17-18, 2022},
  publisher    = {{VDE/IEEE}},
  year         = {2022},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/9788575/proceeding},
  isbn         = {978-3-8007-5754-1},
  timestamp    = {Fri, 12 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/2022.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.