Skip to main content Skip to main navigation

Publications

Displaying results 3641 to 3650 of 13856.
  1. Jan Zielasko; Sören Tempel; Vladimir Herdt; Rolf Drechsler

    3D Visualization of Symbolic Execution Traces

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  2. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  3. Alexander Fratzer; Vladimir Herdt; Christoph Lüth; Rolf Drechsler

    Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  4. ProGAN: Toward a Framework for Process Monitoring and Flexibility by Change via Generative Adversarial Networks

    In: Andrea Marrella; Barbara Weber (Hrsg.). Business Process Management Workshops. Business Process Management (BPM), Springer, 2021.

  5. Marc Hildebrandt; Sascha Arnold; Philipp Kloss; Bilal Wehbe; Michael Zipper

    From epi-to bathypelagic: Transformation of a compact auv system for long-term deployments

    In: 2020 IEEE/OES Autonomous Underwater Vehicles Symposium (AUV). IEEE/OES Autonomous Underwater Vehicles (AUV-2020), Memorial University of Newfoundland, St. John's, NL, Canada, Pages 1-6, IEEE, 2020.

  6. René Schubotz; Torsten Spieldenner; Melvin Chelli

    stigLD: Stigmergic coordination of Linked Data prosuming agents

    DKG-22: 1st Workshop on Consumers of Distributed Knowledge Graphs in Digital, Industry and Space, 2/2022.

  7. Explorative Studie zum Stand der Nutzung von Legal Tech in Deutschland

    In: Wirtschaftsinformatik 2022 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2022), located at 17. Internationale Tagung Wirtschaftsinformatik, February 21-23, Nürnberg (online), Germany, AIS Electronic Library (AISeL), 2/2022.

  8. Utilizing Out-Domain Datasets to Enhance Multi-Task Citation Analysis

    In: Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART), Pages 113-134, LNCS, Vol. 13251, ISBN 978-3-031-10161-8, Springer, Cham, 7/2022.

  9. Stéphane Estable; Annelies Ampe; Apostolos Chamos; Gwenaelle Aridon; Daniel Silveira; Francisco Javier Colmenero Lechuga; Isabel Soto; Jeremi Gancet; Mark Shilton; Marko Jankovic; Torsten Vogel

    PERIOD – PERASPERA In-Orbit Demonstration toward the transition into the in-space services, assembly and manufacturing paradigm

    In: IOP Conference Series: Materials Science and Engineering, Vol. 1226, No. 1, Pages 1-8, IOP Publishing, Online, 2/2022.

  10. Milan Niehaus; Janina Senner; Alexander Fehler; Kevin Pacco; Christian Linn; Jan Budke; Alexander Schalk; Lothar Ahle; Boris Brandherm; Franziska Mohaupt; Peter Eckerle; Swantje Gährs (Hrsg.)

    Designetz: Lösungen. Strategien. Impulse - Für das Energiesystem der Zukunft

    Vol. 1, Eigen, 3/2021.