2018 // Conference paper
Reliability Improvements for Multiprocessor Systems by Health-Aware Task Scheduling
2018 IEEE 24th International Symposium on On-Line Testing and Robust System Design, IOLTS 2018
Schmidt, R.; Massoud, R.; Raik, J.; García-Ortiz, A.; Drechsler, R.
2018 // Conference paper
Resilience evaluation via symbolic fault injection on intermediate code
Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
Le, H.M.; Herdt, V.; Große, D.; Drechsler, R.
2018 // Conference paper
Revealing properties of structural materials by combining regression-based algorithms and nano indentation measurements
2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 - Proceedings
Huhn, S.; Sonnenberg, H.; Eggersglus, S.; Clausen, B.; Drechsler, R.
2018 // Conference paper
SAT-Lancer: A hardware SAT-Solver for self-Verification
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Ustaoglu, B.; Huhn, S.; Große, D.; Drechsler, R.
2018 // Journal article
Synthesis of circuits based on all-optical Mach-Zehnder Interferometers using Binary Decision Diagrams
Microelectronics Journal
Bandyopadhyay, C.; Das, R.; Wille, R.; Drechsler, R.; Rahaman, H.
2018 // Conference paper
Synthesis of reversible circuits using conventional hardware description languages
Proceedings of The International Symposium on Multiple-Valued Logic
Alwardi, Z.; Wille, R.; Drechsler, R.
2018 // Conference paper
Testbench qualification for SystemC-AMS timed data flow models
Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
Hassan, M.; Große, D.; Le, H.M.; Vörtler, T.; Einwich, K.; Drechsler, R.
2018 // Journal article
The complexity of error metrics
Information Processing Letters
Keszocze, O.; Soeken, M.; Drechsler, R.
2018 // Conference paper
Towards a methodology for self-verification
2017 6th International Conference on Reliability, Infocom Technologies and Optimization: Trends and Future Directions, ICRITO 2017
Luth, C.; Ring, M.; Drechsler, R.
2018 // Conference paper
Towards dynamic execution environment for system security protection against hardware flaws
Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI
Schmitz, K.; Keszocze, O.; Schmidt, J.; Grobe, D.; Drechsler, R.
2018 // Conference paper
Towards early validation of firmware-based power management using virtual prototypes: A constrained random approach
Forum on Specification and Design Languages
Herdt, V.; Le, H.M.; Grose, D.; Drechsler, R.
2018 // Conference paper
Towards fully automated TLM-to-RTL property refinement
Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
Herdt, V.; Le, H.M.; Grose, D.; Drechsler, R.
2018 // Conference paper
Towards lightweight satisfiability solvers for self-verification
2017 7th International Symposium on Embedded Computing and System Design, ISED 2017
Bornebusch, F.; Wille, R.; Drechsler, R.
2018 // Conference paper
Towards reversed approximate hardware design
Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018
Froehlich, S.; Grobe, D.; Drechsler, R.
2018 // Conference paper
Towards self-explaining digital systems: A design methodology for the next generation
2018 IEEE 3rd International Verification and Security Workshop, IVSW 2018
Drechsler, R.; Luth, C.; Fey, G.; Guneysu, T.
2018 // Conference paper
Towards Self-explaining Intelligent Environments
2018 7th International Conference on Reliability, Infocom Technologies and Optimization: Trends and Future Directions, ICRITO 2018
Autexier, S.; Drechsler, R.
2018 // Conference paper
Verifying next generation electronic systems
2017 International Conference on Infocom Technologies and Unmanned Systems: Trends and Future Directions, ICTUS 2017
Drechsler, R.; Grose, D.
2017 // Other
A PLiM Computer for the Internet of Things
Computer
Soeken, M.; Gaillardon, P.-E.; Shirinzadeh, S.; Drechsler, R.; De Micheli, G.
2017 // Book
Advanced logic synthesis
Advanced Logic Synthesis
Reis, A.I.; Drechsler, R.
2017 // Conference paper
An adaptive prioritized ϵ-preferred evolutionary algorithm for approximate BDD optimization
GECCO 2017 - Proceedings of the 2017 Genetic and Evolutionary Computation Conference
Shirinzadeh, S.; Soeken, M.; Große, D.; Drechsler, R.
2017 // Journal article
An automated approach for generating and checking control logic for reversible hardware description language-based designs
Journal of Low Power Electronics
Wille, R.; Keszocze, O.; Othmer, L.; Thomsen, M.K.; Drechsler, R.
2017 // Conference paper
An improved gate library for logic synthesis of optical circuits
Proceedings - 2016 6th International Symposium on Embedded Computing and System Design, ISED 2016
Burman, S.; Datta, K.; Wille, R.; Sengupta, I.; Drechsler, R.
2017 // Conference paper
Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specifications
Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017
Goli, M.; Stoppe, J.; Drechsler, R.
2017 // Conference paper
Automatic protocol compliance checking of SystemC TLM-2.0 simulation behavior using timed automata
Proceedings - 35th IEEE International Conference on Computer Design, ICCD 2017
Goli, M.; Stoppe, J.; Drechsler, R.
2017 // Conference paper
BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips
Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI
Stoppe, J.; Keszöcze, O.; Luenert, M.; Wille, R.; Drechsler, R.
