Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 81 bis 90 von 504
  1. Lucas Davi; Alexandra Dmitrienko; Stefan Nürnberger; Ahmad-Reza Sadeghi

    Gadge Me if You Can: Secure and Efficient Ad-Hoc Instruction-Level Randomization for x86 and ARM

    In: Proceedings of the 8th ACM SIGSAC Symposium on Information, Computer and Communications Security. ACM Symposium on Information, Computer and …

  2. Sören Bleikertz; Sven Bugiel; Hugo Ideler; Stefan Nürnberger; Ahmad-Reza Sadeghi

    Client-controlled Cryptography-as-a-Service in the Cloud

    In: Proceedings of the 11th International Conference on Applied Cryptography and Network Security 2013. International Conference on Applied …

  3. Luis Manuel Vaca Benitez; Niels Will; Marc Tabie; Steffen Schmidt; Elsa Andrea Kirchner; Jan Albiez

    An EMG-based assistive orthosis for upper limb rehabilitation

    In: International Conference on Biomedical Electronics and Devices. International Conference on Biomedical Electronics and Devices (BIODEVICES-2013), …

  4. Elsa Andrea Kirchner; Jan Albiez; Anett Seeland; Mathias Jordan; Frank Kirchner

    Towards Assistive Robotics for Home Rehabilitation

    In: Proceedings of the 6th International Conference on Biomedical Electronics and Devices. International Conference on Biomedical Electronics and …

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

  6. Julian Krumeich; Dirk Werth; Peter Loos

    Knowledge Management and Business Processes Learning on the Job – A Conceptual Approach and its Prototypical Implementation

    In: Dirk Malzahn (Hrsg.). eKNOW 2013, The Fifth International Conference on Information, Process, and Knowledge Management. International Conference …

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

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

  9. Jana-Rebecca Rehse; Peter Fettke; Peter Loos

    Eine Untersuchung der Potentiale automatisierter Abstraktionsansätze für Geschäftsprozessmodelle im Hinblick auf die induktive Entwicklung von Referenzprozessmodellen

    In: Rainer Alt; Bogdan Franczyk (Hrsg.). Proceedings of the 11th International Conference on Wirtschaftsinformatik. Internationale Tagung …

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