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.
• Hoang M. Le; Daniel Große; Rolf Drechsler
  Scalable Fault Localization for SystemC TLM Designs.
  In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, 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.
• Mehr...