2013 // Conference paper
Determining relevant model elements for the verification of UML/OCL specifications
Proceedings -Design, Automation and Test in Europe, DATE
Seiter, J.; Wille, R.; Soeken, M.; Drechsler, R.
2013 // Journal article
Effect of negative control lines on the exact synthesis of reversible circuits
Journal of Multiple-Valued Logic and Soft Computing
Wille, R.; Mathias, S.; Przigoda, N.; Drechsler, R.
2013 // Journal article
Enhanced formal verification flow for circuits integrating debugging and coverage analysis
Electronic Communications of the EASST
Große, D.; Fey, G.; Drechsler, R.
2013 // Conference paper
Exact template matching using boolean satisfiability
Proceedings of The International Symposium on Multiple-Valued Logic
Abdessaied, N.; Soeken, M.; Wille, R.; Drechsler, R.
2013 // Book
Exploiting negative control lines in the optimization of reversible circuits
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Datta, K.; Rathi, G.; Wille, R.; Sengupta, I.; Rahaman, H.; Drechsler, R.
2013 // Conference paper
Exploiting reversibility in the complete simulation of reversible circuits
IEEE AFRICON Conference
Wille, R.; Stelter, S.; Drechsler, R.
2013 // Conference paper
Fault ordering for automatic test pattern generation of reversible circuits
Proceedings of The International Symposium on Multiple-Valued Logic
Wille, R.; Zhang, H.; Drechsler, R.
2013 // Book
FoREnSiC- An automatic debugging environment for c programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Bloem, R.; Drechsler, R.; Fey, G.; Finder, A.; Hofferek, G.; Könighofer, R.; Raik, J.; Repinski, U.; Sülflow, A.
2013 // Conference paper
Grammar-based program generation based on model finding
2013 8th IEEE Design and Test Symposium, IDT 2013
Soeken, M.; Drechsler, R.
2013 // Conference paper
Hardware-Software Co-Visualization: Developing systems in the holodeck
Proceedings of the 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2013
Drechsler, R.; Soeken, M.
2013 // Conference paper
Improved SAT-based ATPG: More constraints, better compaction
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Eggersglus, S.; Wille, R.; Drechsler, R.
2013 // Conference paper
Improving the mapping of reversible circuits to quantum circuits using multiple target lines
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Wille, R.; Soeken, M.; Otterstedt, C.; Drechsler, R.
2013 // Conference paper
Incorporating user preferences in many-objective optimization using relation epsilon-preferred
IJCCI 2013 - Proceedings of the 5th International Joint Conference on Computational Intelligence
Drechsler, N.; Sülflow, A.; Drechsler, R.
2013 // Conference paper
Lips: An IDE for model driven engineering based on natural language processing
2013 1st International Workshop on Natural Language Analysis in Software Engineering, NaturaLiSE 2013 - Proceedings
Keszocze, O.; Soeken, M.; Kuksa, E.; Drechsler, R.
2013 // Conference paper
Minimal stimuli generation in simulation-based verification
Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013
Yang, S.; Wille, R.; Große, D.; Drechsler, R.
2013 // Book
On the Q in QMDDs: Efficient representation of quantum functionality in the qmdd data-structure
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Niemann, P.; Wille, R.; Drechsler, R.
2013 // Conference paper
PASSAT 2.0: A multi-functional SAT-based testing framework
LATW 2013 - 14th IEEE Latin-American Test Workshop
Drechsler, R.; Diepenbeck, M.; Eggersgluss, S.; Wille, R.
2013 // Book
Property checking of quantum circuits using quantum multiple-valued decision diagrams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Seiter, J.; Soeken, M.; Wille, R.; Drechsler, R.
2013 // Journal article
Quantum circuits employing roots of the Pauli matrices
Physical Review A - Atomic, Molecular, and Optical Physics
Soeken, M.; Miller, D.M.; Drechsler, R.
2013 // Book
Reducing the depth of quantum circuits using additional circuit lines
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Abdessaied, N.; Wille, R.; Soeken, M.; Drechsler, R.
2013 // Book
Reversible circuit synthesis of symmetric functions using a simple regular structure
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Deb, A.; Das, D.K.; Rahaman, H.; Bhattacharya, B.B.; Wille, R.; Drechsler, R.
2013 // Conference paper
Scalable fault localization for SystemC TLM designs
Proceedings -Design, Automation and Test in Europe, DATE
Le, H.M.; Große, D.; Drechsler, R.
2013 // Conference paper
The SyReC hardware description language: Enabling scalable synthesis of reversible circuits
Midwest Symposium on Circuits and Systems
Wille, R.; Drechsler, R.
2013 // Conference paper
Towards a generic verification methodology for system models
Proceedings -Design, Automation and Test in Europe, DATE
Wille, R.; Gogolla, M.; Soeken, M.; Kuhlmann, M.; Drechsler, R.
2013 // Conference paper
Towards automatic scenario generation from coverage information
2013 8th International Workshop on Automation of Software Test, AST 2013 - Proceedings
Diepenbeck, M.; Soeken, M.; Grobe, D.; Drechsler, R.
