Skip to main content Skip to main navigation

Publications

Displaying results 3671 to 3680 of 13858.

  1. Shivesh Kumar; Kai von Szadkowski; Andreas Mueller; Frank Kirchner

    An Analytical and Modular Software Workbench for Solving Kinematics and Dynamics of Series-Parallel Hybrid Robots

    In: Journal of Mechanisms and Robotics (JMR), Vol. 12, No. 2, Pages 1-12, ASME, 4/2020.

  2. Harshad Dhotre; Stephan Eggersglüß; Rolf Drechsler

    Power-Layout-Aware Test Pattern Re-scheduling

    In: 32. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2020). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2020), February 16-18, Ludwigsburg, Germany, 2020.

  3. Václav Jirkovský; Ondřej Šebek; Petr Kadera; Pavel Burget; Sönke Knoch; Tilman Becker

    Facilitation of Domain-Specific Data Models Design using Semantic Web Technologies for Manufacturing

    In: Maria Indrawan-Santiago; Eric Pardede; Ivan Luiz Salvadori; Matthias Steinbauer; Ismail Khalil; Gabriele Anderst-Kotsis (Hrsg.). Proceedings of the 21st International Conference on Information Integration and Web-Based Applications & Services. International Conference on Information Integration and Web-based Applications & Services (iiWAS-2019), December 2-4, Munich, Germany, Pages 649-653, ISBN 9781450371797, Association for Computing Machinery, New York, NY, USA, 12/2019.

  4. 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) (MoHoL-2020), February 19-21, Vienna, Austria, Pages 12-27, ISBN 978-3-88579-696-1, Gesellschaft für Informatik e.V. Bonn, 2020.

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

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

    Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side

    In: 57th Design Automation Conference. Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

  7. Niklas Bruns; Daniel Große; Rolf Drechsler

    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.

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

  9. 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 Modellierung 2020. International Workshop on Conceptual Modeling for Distributed Ledger Technologies (MOD-DLT-2020), located at Modellierung 2020, Vienna, Austria, Pages 48-50, CEUR-WS, Vol. 2542, CEUR Workshop Proceedings, 2/2020.

  10. Christian Wiezorek; Stefan Werner; Christian Backe; Miguel Bande Firvida; Thomas Vögele; Peter Conradi; Kai Strunz

    Design and operation planning of sector-coupled energy systems using the flexibility of smart DSM

    In: CIRED - Open Access Proceedings Journal. CIRED Workshops (CIRED-2020), CIRED 2020 Berlin Workshop (CIRED 2020), located at International Conference on Electricity Distribution (CIRED), September 22-23, Berlin, Germany, Pages 78-81, Vol. 2020, ISBN 978-1-83953-214-6, IET, 2020.

Year

More options