Dr.-Ing. Dipl.-Inf. Robert Wille |
 |
||||||||||
|
DFKI GmbH Cyber-Physical Systems Gebäude MZH Bibliothekstraße 1 D-28359 Bremen |
|
Publikationen
- 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, Yokohama, Japan, IEEE, 2013. - 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. - Rolf Drechsler; Ian Harris; Ecker Wolfgang; Rainer Findenig; Robert Wille
Design and Verification of Embedded Systems from Natural Language Descriptions.
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 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-13), 16. March 12-14, Rostock, Germany, o.A. 2013. - Mehr...