default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th MBMV 2022: Virtual Event, Germany
- Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2022, 25th Workshop, Virtual Event, Germany, February 17-18, 2022. VDE/IEEE 2022, ISBN 978-3-8007-5754-1
- Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz:
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. 1-4 - Lukas Mentel, Karsten Scheibler, Tino Teige:
Detection and Elimination of Constants to Strengthen k-Induction. 1-10 - Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp:
Making PROGRESS in Property Directed Reachability. 1-2 - Mehran Goli, Rolf Drechsler:
Simulation-based Verification of SystemC-based VPs at the ESL. 1-4 - Sebastian Prebeck, Sathya Ashok, Mounika Vaddeboina, Keerthikumara Devarajegowda, Wolfgang Ecker:
A Scalable, Configurable and Programmable Vector Dot-Product Unit for Edge AI. 1-9 - Omair Rafique, Klaus Schneider:
Data-aware Global Scheduling of Dataflow Process Networks. 1-9 - Klaus Schneider, Anoop Bhagyanath, Julius Roob:
Virtual Buffers for Exposed Datapath Architectures. 1-11 - Ming Hu, Leonore Winterer, Ralf Wimmer:
Diagnosing Partially Observable Markov Decision Processes. 1-10 - Alireza Mahzoon, Rolf Drechsler:
Polynomial Formal Verification of Complex Multipliers. 1-4
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.
last updated on 2025-10-30 00:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
