Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 2013
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 504

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

  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 …

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

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

  5. Julian Krumeich; Dirk Werth; Peter Loos

    Nutzung des Viewpoint-Konzepts zur Unterstützung kollaborativer Modellierung – Konzeption und prototypische Implementierung

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

  6. Marc Manz; Sebastian Bartsch; Frank Kirchner

    MANTIS - A Robot With Advanced Locomotion And Manipulation Abilities

    In: Proceedings of the 12th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in …

  7. Roland Sonsalla; Martin Fritsche; Thomas Vögele; Frank Kirchner

    Concept Study For The Faster Micro Scout Rover

    In: Proceedings of the 12th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in …

  8. Tom Thaler; Peter Fettke; Peter Loos

    Process Mining - Eine Fallstudie

    In: HMD - Praxis der Wirtschaftsinformatik, Vol. 293, Pages 56-65, dpunkt.verlag GmbH, Heidelberg, 10/2013.

  9. Tom Thaler

    Entwicklung einer Methode zum Process Mining unter besonderer Berücksichtigung von Organisationswissen

    Mastersthesis, Institut für Wirtschaftsinformatik im Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH, Best Diploma Award 2012 - …

  10. Anne Roudaut; Abhijit Karnik; Markus Löchtefeld; Sriram Subramanian

    Morphees: toward high "shape resolution" in self-actuated flexible mobile devices

    In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems …

Jahr