Skip to main content Skip to main navigation

Publications

Displaying results 1901 to 1910 of 15196.

  1. Dominique Mercier; Andreas Dengel; Sheraz Ahmed

    TimeREISE: Time-series Randomized Evolving Input Sample Explanation

    In: Sensors - Open Access Journal (Sensors), Vol. 22, Pages 1-19, MDPI, 5/2022.

  2. Sabine Klein; Andreas Emrich; Peter Fettke

    Analysis of the Tool Support for Business Model Innovation

    In: Tung X. Bui (Hrsg.). Proceedings of the 55th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2022), HICSS 2022, located at 55th Annual Hawaii International Conference on System Sciences, January 3-7, Hawaii/Virtual, HI, USA, Pages 6363-6372, HICSS, ISBN 978-0-9981331-5-7, HICSS, 2022.

  3. Dennis Wittchen; Katta Spiel; Bruno Fruchard; Donald Degraen; Oliver Schneider; Georg Freitag; Paul Strohmeier

    TactJam: An End-to-End Prototyping Suite for Collaborative Design of On-Body Vibrotactile Feedback

    In: Sixteenth International Conference on Tangible, Embedded, and Embodied Interaction. International Conference on Tangible, Embedded and Embodied Interaction (TEI-2022), New York, NY, USA, TEI '22, ISBN 9781450391474, Association for Computing Machinery, 2022.

  4. Mehran Goli; Rolf Drechsler

    Simulation-based Verification of SystemC-based VPs at the ESL

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2022), February 17-18, virtual, 2022.

  5. Niklas Bruns; Vladimir Herdt; Eyck Jentzsch; Rolf Drechsler

    RISC-V Processor Verification with Coverage-guided Aging

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2022), February 17-18, virtual, 2022.

  6. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods

    In: IEEE European Test Symposium (ETS). IEEE European Test Symposium (ETS-27), May 23-27, Barcelona, Spain, 2022.

  7. Christoph Heinbach; Martin Schwemmer; Oliver Thomas

    Logistics Platform Strategies for Freight Technology-enabled Smart Services

    In: Wolfgang Kersten; Christian M. Ringle; Thorsten Blecker (Hrsg.). Adapting to the Future: How Digitalization Shapes Sustainable Logistics and Resilient Supply Chain Management. Hamburg International Conference of Logistics (HICL-2021), September 22-24, Pages 611-636, ISBN 978-3-7549-2770-0, epubli GmbH, 2021.

  8. Thomas Röfer; Tim Laue; Arne Hasselbring; Lukas Malte Monnerjahn; Nele Matschull; Lukas Plecher

    B-Human 2021 - Playing Soccer Out of the Box

    In: Rachid Alami; Joydeep Biswas; Maya Cakmak; Oliver Obst (Hrsg.). RoboCup 2021: Robot World Cup XXIV. RoboCup International Symposium (RoboCup-2021), June 22-28, Pages 302-313, Lecture Notes in Artificial Intelligence (LNAI), Vol. 13132, Springer, 2022.

  9. Muhammad Hassan; Rolf Drechsler

    System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022), February 27 - March 1, Bremerhaven, Germany, 2022.

  10. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022), February 27 - March 1, Bremerhaven, Germany, 2022.

Year

More options