Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 11 bis 20 von 739
  1. Georg Rehm; Andy Way (Hrsg.)

    European Language Equality: A Strategic Agenda for Digital Language Equality

    Cognitive Technologies, Springer, Cham, Switzerland, 2/2023.

  2. Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler

    Trojan-D2: Post-Layout Design and Detection of Stealthy Hardware Trojans - a RISC-V Case Study

    In: Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference …

  3. Extending the Design Space of Dynamic Quantum Circuits for Toffoli based Network

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  4. Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler

    FELOPi: A Framework for Simulation and Evaluation of Post-Layout File Against Optical Probing

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  5. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  6. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Processor Verification using Symbolic Execution: A RISC-V Case-Study

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  7. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Floating Point Adders

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  8. EDDY: A Multi-Core BDD Package With Dynamic Memory Management and Reduced Fragmentation

    In: Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference …

  9. Yuxi Liu; Boris Belousov; Niklas Funk; Georgia Chalvatzaki; Jan Peters; Oliver Tessmann

    Auto(mated)nomous Assembly

    In: António Gomes Correia; Miguel Azenha; Paulo J. S. Cruz; Paulo Novais; Paulo Pereira (Hrsg.). Trends on Construction in the Digital Era. …

  10. Michael Lutter; Boris Belousov; Shie Mannor; Dieter Fox; Animesh Garg; Jan Peters

    Continuous-Time Fitted Value Iteration for Robust Policies

    In: IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), Vol. 45, No. 5, Pages 5534-5548, IEEE, 2023.