Publikationen

Seite 52 von 58.

Mathias Soeken; Max Nitze; Rolf Drechsler
Formale Methoden für Alle
In: Jürgen Ruf; Dirk Allmendinger; Matteo Michel (Hrsg.). MBMV 2014 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von …
Elsa Andrea Kirchner; Rolf Drechsler
Towards Formalization of Embedded Brain Reading
In: Design, Automation & Test in Europe 2013. Design, Automation & Test in Europe (DATE-2013), International Workshop on Neuromorphic and Brain-Based …
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.
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.
Rolf Drechsler; Daniel Große; Hoang M. Le; André Sülflow
Synchronized Debugging across Different Abstraction Levels in System Design
In: Embedded World Conference 2013. Embedded World Conference, February 26-28, Nuremberg, Germany, 2013.
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, …
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.
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 …
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.