Kognitive Assistenzsysteme

Seite 59 von 64.

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

2. 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, 2013.

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

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

5. Hoang M. Le; Daniel Große; Rolf Drechsler; Vladimir Herdt

   Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation

   In: Design Automation Conference. Design Automation Conference (DAC-13), June 2-6, Austin, TX, USA, IEEE, 2013.

6. Melanie Diepenbeck; Mathias Soeken; Daniel Große; Rolf Drechsler

   Towards Automatic Scenario Generation from Coverage Information

   In: 8th International Workshop on Automation of Software Test . International Workshop on Automation of Software Test (AST-13), 8th, May 18-19, San Francisco, USA, IEEE, 2013.

7. Hoang m. Le; Daniel Große; Vladimir Herdt; Rolf Drechsler

   SystemC Verifikation mittels symbolischer Simulation einer Zwischensprache

   In: Electronic Design Automation Workshop. Electronic Design Automation Workshop (edaWorkshop-13), May 14-16, Dresden, Germany, VDE, 2013.

8. Oliver Keszöcze; Mathias Soeken; Eugen Kuska; Rolf Drechsler

   lips: An IDE for Model Driven Engineering based on Natural Language Processing

   In: Workshop on Natural Language Analysis in Software Engineering. Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE-13), May 25, San Francisco, CA, USA, 2013.

9. Rolf Drechsler; Mathias Soeken

   Hardware-Software Co-Visualization: Developing Systems in the Holodeck

   In: IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems . IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-13), April 8-10, Karlovy Vary, Czech Republic, IEEE, 2013.

10. Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler

    Reducing the Depth of Quantum Circuits Usind Additional Lines

    In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July 4-5, Victoria, BC, Canada, Lecture Notes in Computer Science (LNCS), Springer, 2013.

• vorherige
• 1
• …
• 58
• 59
• 60
• …
• 64
• nächste