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 shed light on backward rewriting for large and complex 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 - 22nd Workshop on "Methods and Description Languages for the Modeling and Verification of Circuits and Systems"
Fey, G.; Drechsler, R.
2019 // Conference paper
Smart Home Programming: Development and Evaluation of an Educational Programming App 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
Toward 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
Toward 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 an 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 the Nearest-Neighbor Implementation 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 based on Gröbner bases
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 and verification of UML/OCL models using satisfiability solvers
Automated Validation and Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, N.; Wille, R.; Przigoda, J.; Drechsler, R.
