Publications

Page 7 of 7.

Mathias Soeken; Robert Wille; Rolf Drechsler
Eliminating Invariants in UML/OCL Models
In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.
Rolf Drechsler; Melanie Diepenbeck; Daniel Große; Ulrich Kühne; Hoang M. Le; Julia Seiter; Mathias Soeken; Robert Wille
Completeness-Driven Development
In: G. Rozenberg; H.-J. Kreowski; G. Engels; H. Ehrig (Hrsg.). Proceedings of the 6th International Conference on Graph Transformation 2012 "Modeling …
Rolf Drechsler; Mathias Soeken; Robert Wille
Formal Specification Level: Towards Verification-driven Design Based on Natural Language Processing
In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012), September 18-20, Vienna, …
Robert Wille; Mathias Soeken; Eleonora Schönborn; Rolf Drechsler
Circuit Line Minimization in the HDL-based Synthesis of Reversible Logic
In: Proceedings of the IEEE Computer Society Annual Symposium on VLSI 2012. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2012), August …
Melanie Diepenbeck; Mathias Soeken; Daniel Große; Rolf Drechsler
Behavior Driven Development for Circuit Design and Verification
In: Proceedings of the IEEE International Workshop on High-Level Design Validation and Test 2012. IEEE International Workshop on High-Level Design …
Mathias Soeken; Robert Wille; Christoph Hilken; Nils Przigoda; Rolf Drechsler
Synthesis of Reversible Circuits with Minimal Lines for Large Functions
In: Conference Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-12), 17th, January 30 - February 2, Sydney, New South Wales, …
Robert Wille; Mathias Soeken; Rolf Drechsler
Debugging of Inconsistent UML/OCL Models
In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.
Mathias Soeken; Stefan Frehse; Robert Wille; Rolf Drechsler
RevKit: An Open Source Toolkit for the Design of Reversible Circuits
In: Alexis De Vos; Robert Wille (Hrsg.). Reversible Computation - Third International Workshop, RC 2011. International Workshop on Reversible …