Abstract is missing.
- Properties of Invariants and Induction LemmataMartin Köhler, Felix Hasselwander, Klaus Schneider 0001. 1-10 [doi]
- Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMSJakob Heller, Christoph Niemann, Franz Plocksties, Christian Haubelt, Dirk Timmermann. 1-8 [doi]
- Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow GraphsJens Rudolf, Florian Grützmacher, Christian Haubelt. 1-9 [doi]
- A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware ArchitecturesPeer Adelt, Bastian Koppelmann, Wolfgang Mueller, Christoph Scheytt. 1-8 [doi]
- Capturing Neural-Networks as Synchronous Dataflow GraphsDaniel Luenemann, Maher Fakih, Kim Grüttner. 1-10 [doi]
- Area Estimation Framework for Digital Hardware Design using Machine LearningJens Froemmer, Yara Gowayed, Nico Bannow, Wolfgang Kunz, Christoph Grimm 0001, Klaus Schneider 0001. 1-10 [doi]