Robotics Innovation Center

Page 11 of 14.

1. Shuo Yang; Robert Wille; Rolf Drechsler

   Determining Cases of Scenarios to Improve Coverage in Simulation-based Verification

   In: Symposium on Integrated Circuits and Systems Design - Proceedings. Symposium on Integrated Circuits and Systems Design (SBCCI-14), 27th, September …

2. Christoph Hilken; Julia Seiter; Robert Wille; Ulrich Kuehne; Rolf Drechsler

   Verifying Consistency between Activity Diagrams and Their Corresponding OCL Contracts

   In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. …

3. Julia Seiter; Robert Wille; Ulrich Kühne; Rolf Drechsler

   Automatic Refinement Checking for Formal System Models

   In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. …

4. Robert Wille; Aaron Lye; Rolf Drechsler

   Exact Recording of Circuit Lines for Nearest Neighbor Quantum Architectures

   In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2014.

5. Jannis Ulrich Stoppe; Robert Wille; Rolf Drechsler

   Validating ESL Implementations Against Their Formal Specifications

   In: Symposium on Integrated Circuits and Systems Design - Proceedings. Symposium on Integrated Circuits and Systems Design (SBCCI-14), 27th, …

6. 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, …

7. 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.

8. 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.

9. 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 …

10. 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.

• previous
• 1
• …
• 10
• 11
• 12
• …
• 14
• next