default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd MBMV 2019: Kaiserslautern, Germany
- 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. VDE Verlag 2019, ISBN 978-3-8007-4945-4
- Michael Schwarz, Dominik Stoffel, Wolfgang Kunz:
ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization. 1-4 - Martin Köhler, Klaus Schneider:
Inductive Proof Rules Beyond Safety Properties. 1-9 - Fin Hendrik Bahnsen, Görschwin Fey:
Approximation of Neural Networks for Verification. 1-10 - Görschwin Fey, Rolf Drechsler:
Self-Explaining Digital Systems - Some Technical Steps. 1-8 - Iryna Kmitina, Nico Bannow, Christoph Grimm, Daniel Zielinski, Carna Zivkovic:
Optimization Framework for Hardware Design of Engine Control Units. 1-8 - Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken:
Logic Optimization of Majority-Inverter Graphs. 1-4 - Keerthikumara Devarajegowda, Wolfgang Ecker, Wolfgang Kunz:
How to Keep 4-Eyes Principle in a Design and Property Generation Flow. 1-6 - Jens Rudolf, Manuel Strobel, Joscha Benz, Christian Haubelt, Martin Radetzki, Oliver Bringmann:
Automated Sensor Firmware Development - Generation, Optimization, and Analysis. 1-12 - Markus Hedderich, Markus Heimberger, Axel Klekamp:
SEMAS - System Engineering Methodology for Automated Systems | The world described in layers. 1-9
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 2026-08-14 21:51 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
