Publications

Page 6 of 7.

Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler
Exact Template Matching Using Boolean Satisfiability
In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013), …
Melanie Diepenbeck; Mathias Soeken; Daniel Große; Rolf Drechsler
Towards Automatic Scenario Generation from Coverage Information
In: 8th International Workshop on Automation of Software Test . International Workshop on Automation of Software Test (AST-13), 8th, May 18-19, San …
Oliver Keszöcze; Mathias Soeken; Eugen Kuska; Rolf Drechsler
lips: An IDE for Model Driven Engineering based on Natural Language Processing
In: Workshop on Natural Language Analysis in Software Engineering. Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE-13), May …
Rolf Drechsler; Mathias Soeken
Hardware-Software Co-Visualization: Developing Systems in the Holodeck
In: IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems . IEEE Symposium on Design and Diagnostics of Electronic Circuits and …
Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler
Reducing the Depth of Quantum Circuits Usind Additional Lines
In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July …
Robert Wille; Mathias Soeken; D. Michael Miller; Rolf Drechsler
Trading Off Circuit Lines and Gate Costs in the Synthesis of Reversible Logic
In: Integration, the VLSI Journal, Elsevier, 2013.
Rolf Drechsler; Mathias Soeken; Robert Wille
Formal Specification Level
In: Jan Haase (Hrsg.). Models, Methods and Tools for Complex Chip Design. Chapter 3, Pages 37-52, Vol. 265, ISBN 978-3-319-01417-3, Springer, 2013.
Mathias Soeken; Rolf Drechsler
Grammar-based Program Generation Based on Model Finding
In: IEEE International Design and Test Symposium - Proceedings. IEEE International Design and Test Symposium (IDT-13), 8th IEEE International Design …
Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler
Exact Ttemplate Matching using Boolean Satisfiability
In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS), Pages 328-333, …
Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler
Reducing the depth of quantum circuits using additional circuit lines
In: International Conference on Reversible Computation - Proceedings. International Conference on Reversible Computation (RC), Pages 221-233, …