Cyber-Physical Systems

Page 3 of 117.

1. Martha Schnieber; Rolf Drechsler

   Automated polynomial formal verification using generalized binary decision diagram patterns

   In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2025.

2. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

   Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

   In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

3. Sallar Ahmadi-Pour; Sangeet Saha; Klaus McDonald-Maier; Rolf Drechsler

   MESSI: Task Mapping and Scheduling Strategy for FPGA-based Heterogeneous Real-Time SystemsMESSI: Task Mapping and Scheduling Strategy for FPGA-based Heterogeneous Real-Time Systems

   In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

4. Saeideh Nabipour; Kamalika Datta; Lennart Weingarten; Abhoy Kole; Rolf Drechsler

   Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design

   In: 55th International Symposium on Multiple-Valued Logic (ISMVL 2025). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2025), June 5-6, Montreal, Canada, 2025.

5. Anton Maidl; Abhoy Kole; Kamalika Datta; Jannis Ulrich Stoppe; Rolf Drechsler

   Towards an Automated Debugging Approach for Fault Identification in Quantum Circuits

   In: 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2025), May 5-7, Lyon, France, 2025.

6. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

   Polynomial Formal Verification of a RISC-V Processor

   In: IEEE Transactions on Nanotechnology, IEEE, 2025.

7. Moritz Schmidt; Abhoy Kole; Leon Wichette; Rolf Drechsler; Frank Kirchner; Elie Mounzer

   Exploration of Design Alternatives for Reducing Idle Time in Shor's Algorithm: A Study on Monolithic and Distributed Quantum Systems

   In: ArXiv e-prints (arxiv), Vol. abs/2503.22564, Arxiv, 2025.

8. Saeideh Nabipour; Kamalika Datta; Lennart Weingarten; Abhoy Kole; Rolf Drechsler

   Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design

   In: IEEE International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2025), June 5-6, Montreal, Canada, 2025.

9. Weiyan Zhang; Muhammad Hassan; Rolf Drechsler

   LLM-assisted Performance Estimation of Embedded Software on RISC-V Processors

   In: 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2025), May 5-7, Lyon, France, 2025.

10. Karl Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution

    In: 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), May 5-7, 2025.

• previous
• 1
• 2
• 3
• 4
• …
• 117
• next