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 71 bis 80 von 504
  1. 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 …

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

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

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

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

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

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

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

  9. Mathias Soeken; Michael Kirkedal Thomsen

    White Dots do Matter: Rewriting Reversible Logic Circuits

    In: D. Michael Miller; Gerhard W. Dueck (Hrsg.). Proceedings of the 5th International Conference on Reversible Computation. International Conference …

  10. Context-sensitive Collaboration in Service Processes through the Integration of Telecommunication Technology and Business Process Management

    In: Ralph H. Sprague (Hrsg.). Proceedings of the 46th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on …