Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 504.
  1. Tobias Gerber; Charlotta Johnsson

    Vertical Integration of Decision-Relevant Production Information into IT systems of Manufacturing Companies

    In: Theodor Borangiu; André Thomas; Damien Trentesaux. Service Orientation in Holonic and Multi Agent Manufacturing and Robotics. Chapter 10, Vol. …

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

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

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

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

  6. Constantin Houy; Armella-Lucia Vella; Tom Thaler; Peter Fettke; Peter Loos

    Analyse des Qualitätsdiskurses zur Modellverständlichkeit in experimentellen Studien

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

  7. Vinzenz Bargsten; Pablo Zometa; Rolf Findeisen

    Modeling, parameter identification and model-based control of a lightweight robotic manipulator

    In: 2013 IEEE International Conference on Control Applications. IEEE International Conference on Control Applications (CCA-2013), August 28-30, …

  8. Evgeny Bogdanov; Carsten Ullrich; Erik Isaksson; Matthias Palmér; Denis Gillet

    Towards PLEs through Widget Spaces in Moodle

    In: Computer Science and Information Systems Journal, Vol. 11, No. 1, Pages 443-460, ComSIS Consortium, 2013.

  9. Rossana Damiano; Cristina Gena; Vincenzo Lombardo; Fabrizio Nunnari

    Leveraging Web 3D Guidance in Cultural Heritage Fruition

    In: Proceedings of the Biannual Conference of the Italian Chapter of SIGCHI. Italian Chapter of SIGCHI (CHItaly-2013), September 16-20, Trento, Italy, …

  10. Max Feltes; Sheraz Ahmed; Andreas Dengel; Marcus Liwicki

    Improved Contour-Based Corner Detection for Architectural Floor Plans

    In: Graphics Recognition. Current Trends and Challenges (Hrsg.). GREC. IAPR International Workshop on Graphics Recognition (GREC-13), Springer, 2013.