Skip to main content Skip to main navigation
Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)© DFKI

Cyber-Physical Systems

Publikationen

Seite 3 von 105.

  1. Mirjana Ivanovic; Serge Autexier; Miltiadis Kokkonidis; Johannes Rust

    Quality medical data management within an open AI architecture – cancer patients case

    In: Connection Science, Vol. 35, No. 1, Page 2194581, Taylor & Francis, 4/2023.

  2. Rune Krauss; Mehran Goli; Rolf Drechsler

    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 …

  3. Milos Savic; Vladimir Kurbalija; Mihailo Ilic; Mirjana Ivanovic; Dusan Jakovetic; Antonios Valachis; Serge Autexier; Johannes Rust; Thanos Kosmidis

    The application of machine learning techniques in prediction of quality of life features for cancer patients

    In: Computer Science and Information Systems Journal, Vol. 20, No. 1, Pages 381-404, ComSIS Consortium, Novi Sad, Serbia, 1/2023.

  4. Automated Equivalence Checking Method for Majority based In-Memory Computing on ReRAM Crossbars

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

  5. 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.

  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. 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.

  8. 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.

  9. 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.

  10. 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 …

Kontakt

Assistenz der Leitung:
Kristiane Schmitt, M.A.
Tel.: +49 421 218 59840
Kristiane.Schmitt@dfki.de

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
Cyber-Physical Systems

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen