Abstract is missing.
- ACCESS: HW/SW-Co-Equivalence Checking for Firmware OptimizationMichael Schwarz, Dominik Stoffel, Wolfgang Kunz. 1-4 [doi]
- Self-Explaining Digital Systems - Some Technical StepsGörschwin Fey, Rolf Drechsler. 1-8 [doi]
- SEMAS - System Engineering Methodology for Automated Systems | The world described in layersMarkus Hedderich, Markus Heimberger, Axel Klekamp. 1-9 [doi]
- Logic Optimization of Majority-Inverter GraphsHeinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken. 1-4 [doi]
- Optimization Framework for Hardware Design of Engine Control UnitsIryna Kmitina, Nico Bannow, Christoph Grimm 0001, Daniel Zielinski, Carna Zivkovic. 1-8 [doi]
- Automated Sensor Firmware Development - Generation, Optimization, and AnalysisJens Rudolf, Manuel Strobel, Joscha Benz, Christian Haubelt, Martin Radetzki, Oliver Bringmann 0001. 1-12 [doi]
- Approximation of Neural Networks for VerificationFin Hendrik Bahnsen, Görschwin Fey. 1-10 [doi]
- Inductive Proof Rules Beyond Safety PropertiesMartin Koehler, Klaus Schneider. 1-9 [doi]
- How to Keep 4-Eyes Principle in a Design and Property Generation FlowKeerthikumara Devarajegowda, Wolfgang Ecker, Wolfgang Kunz. 1-6 [doi]