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 11 to 20 of 598.
  1. 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 …

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

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

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

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

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

  7. Filip Fatz; Philip Hake; Peter Fettke

    Blockchain-based Decentralized Validation of Tax Processes

    In: Judith Michael; Dominik Bork (Hrsg.). Companion Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers co-located with …

  8. Adrian Rebmann; Alexander Beuther; Steffen Schuhmann; Peter Fettke

    Hands-on Process Discovery with Python - Utilizing Jupyter Notebook for the Digital Assistance in Higher Education

    In: Judith Michael; Dominik Bork (Hrsg.). Modellierung 2020 Short, Workshop and Tools & Demo Papers. Fachtagung "Modellierung" der Gesellschaft für …

  9. Mathias Jenny; Niels Will; Gerd Dellbrügge; Antonia Meißner; Anna Lena Nowak; Andreas Kruse; Sebastian Glende

    Perspektiven der Künstlichen Intelligenz für den Einzelhandel in Deutschland

    Studie im Auftrag des Bundesministeriums für Wirtschaft und Energie, 1/2020.

  10. Christos Kotselidis; Sotiris Diamantopoulos; Orestis Akrivopoulos; Viktor Rosenfeld; Katerina DOka; Hazeef Mohammed; Georgios Mylonas; Vassilis Spitadakis; Will Morgan; Juan Fumero; Foivos S. Zakkak; Michail Papadimitriou; Maria Xekalaki; Nikos Foutris; Athanasios Stratikopoulos; Nectarios Koziris; Ioannis Konstantinou; Ioannis Mytilinis; Constatinos Bitsakos; Christos Tsalidis; Christos Tselios; Nikolaos Kanakis; Clemens Lutz; Sebastian Breß; Volker Markl

    Efficient Compilation and Execution of JVM-Based Data Processing Frameworks on Heterogeneous Co-Processors

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, IEEE, 2020.