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

Further information:

AG Computer Architecture & Reliable Embedded Systems; DFKI Cyber Physical Systems

Ecosystem

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