2014 // Conference paper
iTac: Aspect Based Sentiment Analysis using Sentiment Trees and Dictionaries
8th International Workshop on Semantic Evaluation, SemEval 2014 - co-located with the 25th International Conference on Computational Linguistics, COLING 2014, Proceedings
Bornebusch, F.; Cancino, G.; Diepenbeck, M.; Drechsler, R.; Djomkam, S.; Fanseu, A.N.; Jalali, M.; Michael, M.; Mohsen, J.; Nitze, M.; Plump, C.; Soeken, M.; Tchambo, F.; Toni; Ziegler, H.
2014 // Book
Mapping NCV circuits to optimized Clifford+T circuits
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Miller, D.M.; Soeken, M.; Drechsler, R.
2014 // Conference paper
Message from the symposium chair
Proceedings of The International Symposium on Multiple-Valued Logic
Drechsler, R.
2014 // Conference paper
Optimal SWAP gate insertion for nearest neighbor quantum circuits
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Wille, R.; Lye, A.; Drechsler, R.
2014 // Conference paper
Optimization-based multiple target test generation for highly compacted test sets
Proceedings - 2014 19th IEEE European Test Symposium, ETS 2014
Eggersglüß, S.; Schmitz, K.; Krenz-Bååth, R.; Drechsler, R.
2014 // Conference paper
Optimizing DD-based synthesis of reversible circuits using negative control lines
Proceedings of the 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2014
Schonborn, E.; Datta, K.; Wille, R.; Sengupta, I.; Rahaman, H.; Drechsler, R.
2014 // Conference paper
Panel: Future SoC verification methodology: UVM evolution or revolution?
Proceedings -Design, Automation and Test in Europe, DATE
Drechsler, R.; Chevallaz, C.; Fummi, F.; Hu, A.J.; Morad, R.; Schirrmeister, F.; Goryachev, A.
2014 // Book
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Esparcia-Alcázar, A.I.; Mora, A.M.; Agapitos, A.; Burelli, P.; Bush, W.S.; Cagnoni, S.; Cotta, C.; De Falco, I.; Cioppa, A.D.; Divina, F.; Drechsler, R.; Eiben, A.E.; De Vega, F.F.; Glette, K.; Haasdijk, E.; Ignacio Hidalgo, J.; Kaufmann, P.; Nguyen, T.T.; Pošík, P.; Schaefer, R.; Sim, K.; Simões, A.; Tettamanzi, A.G.; Urquhart, N.; Zhang, M.; Zincir-Heywood, N.
2014 // Book
Quantum circuit optimization by Hadamard gate reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Abdessaied, N.; Soeken, M.; Drechsler, R.
2014 // Conference paper
Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization
Proceedings - 2014 9th IEEE International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2014
Becker, B.; Drechsler, R.; Eggersgluss, S.; Sauer, M.
2014 // Book
Requirements Engineering for Cyber-Physical Systems Challenges in the Context of "Industrie 4.0"
IFIP Advances in Information and Communication Technology
Wiesner, S.; Gorldt, C.; Soeken, M.; Thoben, K.-D.; Drechsler, R.
2014 // Book
RevVis: Visualization of structures and properties in reversible circuits
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Wille, R.; Stoppe, J.; Schönborn, E.; Datta, K.; Drechsler, R.
2014 // Conference paper
Safety evaluation of automotive electronics using virtual prototypes: State of the art and research challeng
Proceedings - Design Automation Conference
Oetjens, J.-H.; Bannow, N.; Becker, M.; Bringmann, O.; Burger, A.; Chaari, M.; Chakraborty, S.; Drechsler, R.; Ecker, W.; Grüttner, K.; Kruse, Th.; Kuznik, C.; Le, H.M.; Mauderer, A.; Müller, W.; Müller-Gritschneder, D.; Poppen, F.; Post, H.; Reiter, S.; Rosenstiel, W.; Roth, S.; Schlichtmann, U.; Schwerin, A.V.; Tabacaru, B.-A.; Viehl, A.
2014 // Conference paper
Self-verification as the key technology for next generation electronic systems
SBCCI 2014: Proceedings of the 27th Symposium on Integrated Circuits and Systems Design
Drechsler, R.; Le, H.M.; Soeken, M.
2014 // Journal article
Testing integrated circuits A special issue on the occasion of the 60th birthday of Prof. Dr. Bernd Becker
IT - Information Technology
Drechsler, R.
2014 // Conference paper
Towards verifying determinism of SystemC designs
Proceedings -Design, Automation and Test in Europe, DATE
Le, H.M.; Drechsler, R.
2014 // Journal article
Trading off circuit lines and gate costs in the synthesis of reversible logic
Integration, the VLSI Journal
Wille, R.; Soeken, M.; Michael Miller, D.; Drechsler, R.
2014 // Journal article
Upper bounds for reversible circuits based on Young subgroups
Information Processing Letters
Abdessaied, N.; Soeken, M.; Kirkedal Thomsen, M.; Drechsler, R.
2014 // Conference paper
Validating SystemC implementations against their formal specifications
SBCCI 2014: Proceedings of the 27th Symposium on Integrated Circuits and Systems Design
Stoppe, J.; Wille, R.; Drechsler, R.
2013 // Conference paper
A compact and efficient SAT encoding for quantum circuits
IEEE AFRICON Conference
Wille, R.; Przigoda, N.; Drechsler, R.
2013 // Journal article
A formal model for embedded brain reading
Industrial Robot
Kirchner, E.A.; Drechsler, R.
2013 // Conference paper
An evolutionary approach to reversible logic synthesis using output permutation
2013 8th IEEE Design and Test Symposium, IDT 2013
Datta, K.; Sengupta, I.; Rahaman, H.; Drechsler, R.
2013 // Conference paper
Cone of influence analysis at the electronic system level using machine learning
Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013
Stoppe, J.; Wille, R.; Drechsler, R.
2013 // Conference paper
Data extraction from SystemC designs using debug symbols and the SystemC API
Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI
Stoppe, J.; Wille, R.; Drechsler, R.
2013 // Conference paper
Debugging of reversible circuits using pDDs
Proceedings of The International Symposium on Multiple-Valued Logic
Tague, L.; Soeken, M.; Minato, S.-I.; Drechsler, R.