Skip to main content Skip to main navigation

Publications

Displaying results 191 to 200 of 15200.

  1. Julia Mayer; Martin Memmel

    Mit Metadaten durch den urbanen Datendschungel - Verwaltung und Nutzung kommunaler Daten im Forschungsprojekt "Ageing Smart - Räume intelligent gestalten"

    In: vhw Verbandszeitschrift, Vol. 2023, No. 1, Pages 5-8, vhw - Bundesverband für Wohnen und Stadtentwicklung e.V. 2/2023.

  2. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    New Directions for Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits

    In: 35. 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-2023), February 26-28, Erfurt, Germany, 2023.

  3. Lennart Weingarten; Alireza Mahzoon; Mehran Goli; Rolf Drechsler

    Polynomial Formal Verification of a Processor: A RISC-V Case Study

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, USA, 2023.

  4. Ece Nur Demirhan Coskun; Muhammad Hassan; Mehran Goli; Rolf Drechsler

    VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, USA, 2023.

  5. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods

    In: 28th IEEE European Test Symposium 2023. IEEE European Test Symposium (ETS-2023), May 22-26, Venice, Italy, 2023.

  6. Sara Khan; Mehmed Yüksel; Andre Ferreira

    ASIMS: Acceleration Spectrograms Based Intelligent Mobility System for Vehicle Damage Detection

    In: Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems VEHITS. International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS-2023), April 26-28, Prague, Czech Republic, Pages 179-186, Vol. 1, ISBN 978-989-758-652-1, SciTePress, 4/2023.

  7. Daphne Theodorakopoulos; Christoph Manss; Frederic Theodor Stahl; Marius Lindauer

    Green AutoML for Plastic Litter Detection

    In: ICLR 2023 Workshop on Tackling Climate Change with Machine Learning. International Conference on Learning Representations (ICLR), None, 2023.

  8. Michael Kenzel; Stefan Lemme; Richard Membarth; Matthias Kurtenacker; Hugo Devillers; Markus Steinberger; Philipp Slusallek

    AnyQ: An Evaluation Framework for Massively-Parallel Queue Algorithms

    In: Proceedings of the 37th IEEE International Parallel & Distributed Processing Symposium (IPDPS). IEEE International Parallel & Distributed Processing Symposium (IPDPS-2023), May 15-19, St. Petersburg, FL, USA, Pages 736-745, IEEE, 5/2023.

  9. Johannes Pauli; Maximilian Hoffmann; Ralph Bergmann

    Similarity-Based Retrieval in Process-Oriented Case-Based Reasoning Using Graph Neural Networks and Transfer Learning

    In: Florida OJ. International FLAIRS Conference (FLAIRS-2023), Clearwater, Florida, USA, Florida OJ, 2023.

  10. Adrian Lubitz.; Matias Valdenegro-Toro.; Frank Kirchner.

    The VVAD-LRS3 Dataset for Visual Voice Activity Detection

    In: Proceedings of the 18th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - HUCAPP. International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP-2023), February 19-21, Lissabon, Portugal, Pages 39-46, ISBN 978-989-758-634-7, SciTePress, 2023.

Year

More options