2019 // Conference paper
Resilience Evaluation for Approximating SystemC Designs Using Machine Learning Techniques
Proceedings - IEEE International Symposium on Rapid System Prototyping, RSP
Goli, M.; Stoppe, J.; Drechsler, R.
2019 // Journal article
Reversible Circuits: IC/IP Piracy Attacks and Countermeasures
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Saeed, S.M.; Zulehner, A.; Wille, R.; Drechsler, R.; Karri, R.
2019 // Conference paper
RevSCA: Using reverse engineering to bring light into backward rewriting for big and dirty multipliers
Proceedings - Design Automation Conference
Mahzoon, A.; Große, D.; Drechsler, R.
2019 // Conference paper
SAT-Hard: A Learning-Based Hardware SAT-Solver
Proceedings - Euromicro Conference on Digital System Design, DSD 2019
Ustaoglu, B.; Huhn, S.; Sill Torres, F.; Grobe, D.; Drechsler, R.
2019 // Conference paper
Scalable design for field-coupled nanocomputing circuits
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Walter, M.; Wille, R.; Torres, F.S.; Große, D.; Drechsler, R.
2019 // Conference paper
Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes
Proceedings - Euromicro Conference on Digital System Design, DSD 2019
Goli, M.; Drechsler, R.
2019 // Conference paper
Scratch and google blockly: How girls' programming skills and attitudes are influenced
ACM International Conference Proceeding Series
Seraj, M.; Katterfeldt, E.-S.; Bub, K.; Autexier, S.; Drechsler, R.
2019 // Journal article
Security validation of VP-based SoCs using dynamic information flow tracking
IT - Information Technology
Goli, M.; Hassan, M.; Große, D.; Drechsler, R.
2019 // Conference paper
Self-Explaining Digital Systems – Some Technical Steps
MBMV 2019 - 22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Fey, G.; Drechsler, R.
2019 // Conference paper
Smart homes programming: Development and evaluation of an educational programming application for young learners
Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019
Seraj, M.; Große, C.S.; Autexier, S.; Drechsler, R.
2019 // Conference paper
Synchronization of Clocked Field-Coupled Circuits
Proceedings of the IEEE Conference on Nanotechnology
Torres, F.S.; Walter, M.; Wille, R.; Große, D.; Drechsler, R.
2019 // Conference paper
Systematic RISC-V based Firmware Design<sup>∗</sup>
Proceedings of the 2019 Forum on Specification and Design Languages, FDL 2019
Herdt, V.; Grose, D.; Drechsler, R.; Gerum, C.; Jung, A.; Benz, J.-J.; Bringmann, O.; Schwarz, M.; Stoffel, D.; Kunz, W.
2019 // Conference paper
T-depth Optimization for Fault-Tolerant Quantum Circuits
Proceedings of The International Symposium on Multiple-Valued Logic
Niemann, P.; Gupta, A.; Drechsler, R.
2019 // Conference paper
Temporal tracing of on-chip signals using timeprints
Proceedings - Design Automation Conference
Massoud, R.; Le, H.M.; Chini, P.; Saivasan, P.; Meyer, R.; Drechsler, R.
2019 // Book
Towards early validation of firmware-based power management using virtual prototypes: A constrained random approach
Lecture Notes in Electrical Engineering
Herdt, V.; Le, H.M.; Große, D.; Drechsler, R.
2019 // Conference paper
Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents
Proceedings - Euromicro Conference on Digital System Design, DSD 2019
Meywerk, T.; Walter, M.; Herdt, V.; Grobe, D.; Drechsler, R.
2019 // Conference paper
Verifying Instruction Set Simulators using Coverage-guided Fuzzing
Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019
Herdt, V.; Große, D.; Le, H.M.; Drechsler, R.
2019 // Journal article
Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Herdt, V.; Le, H.M.; Große, D.; Drechsler, R.
Dec 2018 // Journal article
An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Frank Sill Torres; Robert Wille; Philipp Niemann; Rolf Drechsler
2018 // Conference paper
A novel approach for nearest neighbor realization of 2d quantum circuits
Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI
Bhattacharjee, A.; Bandyopadhyay, C.; Wille, R.; Drechsler, R.; Rahaman, H.
2018 // Conference paper
An exact method for design exploration of quantum-dot cellular automata
Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
Walter, M.W.; Wille, R.; Grose, D.; Torres, F.S.; Drechsler, R.
2018 // Conference paper
Analyzing frame conditions in UML/OCL models consistency equivalence and independence
MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development
Niemann, P.; Przigoda, N.; Wille, R.; Drechsler, R.
2018 // Conference paper
Approximate hardware generation using symbolic computer algebra employing gröbner basis
Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
Froehlich, S.; Große, D.; Drechsler, R.
2018 // Conference paper
Approximation-aware testing for approximate circuits
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Chandrasekharan, A.; Eggersglüß, S.; Große, D.; Drechsler, R.
2018 // Book
Automated validation & verification of UML/OCL models using satisfiability solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, N.; Wille, R.; Przigoda, J.; Drechsler, R.
