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 101 to 110 of 504.
  1. 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.

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

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

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

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

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

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

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

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

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