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 21 to 30 of 598.
  1. Tom J. Kazmierski; Sebastian Steinhorst; Daniel Große

    Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2018

    ISBN 978-3-030-31585-6, Springer, 2020.

  2. Coverage-Directed Stimuli Generation for Characterization of RF Amplifiers

    In: 32. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2020). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  3. André Zenner; Akhmajon Makhsadov; Sören Klingner; David Liebemann; Antonio Krüger

    Immersive Process Model Exploration in Virtual Reality

    In: IEEE Transactions on Visualization and Computer Graphics (TVCG), Vol. 26, No. 5, Pages 2104-2114, IEEE, 5/2020.

  4. Ekaterina Loginova; Stalin Varanasi; Günter Neumann

    Towards End-to-End Multilingual Question Answering

    In: Information Systems Frontiers (ISF), Vol. 22, Pages 1-14, Springer, 3/2020.

  5. Vladimir Herdt; Daniel Große; Rolf Drechsler

    Fuzz-Testing RISC-V Simulators

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  6. Rahel Flechtner; Katharina Lorenz; Gesche Joost

    Designing a Wearable Soft-Robotic Orthosis: A Body-Centered Approach

    In: Proceedings of the Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction. International Conference on Tangible, …

  7. Thorsten Schoormann; Simon Hagen; Jonas Brinker; Sebastian Wildau; Oliver Thomas; Ralf Knackstedt

    Towards Aligning Business Models with Business Processes: A Tool-based Approach

    In: Dominik Bork; Dimitris Karagiannis; Heinrich C. Mayr (Hrsg.). Modellierung 2020. Fachtagung "Modellierung" der Gesellschaft für Informatik (GI) …

  8. Vladimir Herdt; Daniel Große; Jonas Wloka; Tim Güneysu; Rolf Drechsler

    Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes

    In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Peking, China, 2020.

  9. Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning

    In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Beijing, China, 2020.

  10. Vladimir Herdt; Daniel Große; Pascal Pieper; Rolf Drechsler

    RISC-V based Virtual Prototype: An Extensible and Configurable Platform for the System-level

    In: Journal of Systems Architecture: Embedded Software Design (JSA), Pages o.A-o.A. Elsevier, 2020.