Publications

Page 5 of 7.

Mathias Soeken; Christopher B. Harris; Nabila Abdessaied; Ian G. Harris; Rolf Drechsler
Automating the Translation of Assertions Using Natural Language Processing Techniques
In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, 2014.
Mathias Soeken; Nabila Abdessaied; Arman Allahyari-Abhari; Andi Buzo; Liana Musat; Georg Pelz; Rolf Drechsler
Quality Assessment for Requirements based on Natural Language Processing
In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), Special Session at the Forum on …
Mathias Soeken; Michael Kirkedal Thomsen
White Dots do Matter: Rewriting Reversible Logic Circuits
In: D. Michael Miller; Gerhard W. Dueck (Hrsg.). Proceedings of the 5th International Conference on Reversible Computation. International Conference …
Robert Wille; Mathias Soeken; Christian Otterstedt; Rolf Drechsler
Improving the Mapping of Reversible Circuits to Quantum Circuits Using Multiple Target Lines
In: 18th Asia and South Pacific Design Automation Conference. Asia and South Pacific Design Automation Conference (ASP-DAC-2013), 18th, January 22-25, …
Robert Wille; Martin Gogolla; Mathias Soeken; Mirco Kuhlmann; Rolf Drechsler
Towards a Generic Verification Methodology for System Models
In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.
Julia Seiter; Robert Wille; Mathias Soeken; Rolf Drechsler
Determining Relevant Model Elements for the Verification of UML/OCL Specifications
In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.
Mathias Soeken; Robert Wille; Eugen Kuksa; Rolf Drechsler
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen
In: 16. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen". ITG/GMM/GI-Workshop …
Mathias Soeken; Robert Wille; Rolf Drechsler
Formale Verifikation von UML-basierten Spezifikationen - Prüfung der Korrektheit von Systementwürfen vor deren Implementierung
In: Industrie Management - Zeitschrift für industrielle Geschäftsprozesse, Vol. 01/2013, Pages 44-48, GITO, 2013.
Robert Wille; Mathias Soeken; Nils Przigoda; Rolf Drechsler
Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits
In: Journal of Multiple-Valued Logic and Soft Computing, 2013.
Laura Tague; Mathias Soeken; Shin-ichi Minato; Rolf Drechsler
Debugging of Reversible Circuits using πDDs
In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013), …