2014 // Conference paper
iTac: Aspect-Based Sentiment Analysis Using Sentiment Trees and Dictionaries
8th International Workshop on Semantic Evaluation, SemEval 2014—held in conjunction 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 - 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 via 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, Multiple Constraints, and Optimization
Proceedings - 2014 9th IEEE International Conference on Design and Technology of Integrated Systems in the 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 "Industry 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 Challenges
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 in Honor of Prof. Dr. Bernd Becker's 60th Birthday
IT - Information Technology
Drechsler, R.
2014 // Conference paper
Toward Verifying the Determinism of SystemC Designs
Proceedings -Design, Automation and Test in Europe, DATE
Le, H.M.; Drechsler, R.
2014 // Journal article
Balancing 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 Reversible Circuits Using pDDs
Proceedings of The International Symposium on Multiple-Valued Logic
Tague, L.; Soeken, M.; Minato, S.-I.; Drechsler, R.