© Jörg Sarbach
© Jörg Sarbach
Prof. Rolf Drechsler

Weitere Informationen:

AG Rechnerarchitektur & Zuverlässige Eingebettete Systeme; DFKI Cyber Physical Systems

Ökosystem

Publikationen
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.