Skip to main content Skip to main navigation

Publications

Displaying results 471 to 480 of 13858.

  1. Muhammad Hassan; Sallar Ahmadi-Pour; Khushboo Qayyum; Chandan Kumar Jha; Rolf Drechsler

    LLM-guided Formal Verification Coupled with Mutation Testing

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  2. Andreas Schliebitz; Heiko Tapken; Martin Atzmueller

    Preprocessing Ground-Based Hyperspectral Image Data for Improving CNN-based Classification

    In: Michael Leyer; Johannes Wichmann (Hrsg.). Lernen, Wissen, Daten, Analysen (LWDA) Conference Proceedings, Marburg, Germany, October 9-11, 2023. GI-Workshop-Tage "Lernen, Wissen, Daten, Analysen" (LWDA-2023), October 9-11, Marburg, Germany, Pages 399-413, CEUR Workshop Proceedings, Vol. 3630, CEUR-WS.org, 2023.

  3. Dan Hudson; Ruud JR Den Hartigh; L Rens A Meerhoff; Martin Atzmueller

    Explainable Multi-Modal and Local Approaches to Modelling Injuries in Sports Data

    In: 2023 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE International Conference on Data Mining Workshops (ICDMW-2023), December 4, Shanghai, China, Pages 949-957, IEEE, 2023.

  4. Thomas Vögele; Jorge Ocón; Thierry Germa; Shashank Govindaraj; Carlos J. Perez-del-Pulgar; Fredrik Bakkevig Haugli; Raúl Domínguez; Leon Cedric Danter; Jonathan Babel; Iulia Dragomir; Anne-Claire Berthet; Fabio Polisano; Gonzalo J. Paz-Delgado; Laura M. Mantoani; Eric Törn; Alexander Dettmann; Valérie Ciarletti

    COROB-X: DEMONSTRATION OF A COOPERATIVE ROBOT TEAM IN EXTENSIVE FIELD TESTS

    In: ASTRA Proceedings. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2023), 17th, October 18-20, Leiden, Netherlands, European Space Agency (ESA), 2023.

  5. Hans-Georg Fill; Jordi Cabot; Wolfgang Maaß; Marten Van Sinderen

    AI-Driven Software Engineering – The Role of Conceptual Modeling

    In: Enterprise Modelling and Information Systems Architectures (EMISAJ) (Hrsg.). Enterprise Modelling and Information Systems Architectures - International Journal of Conceptual Modeling (EMISAJ), Vol. 19, Pages 1-11, Gesellschaft für Informatik e.V. 2024.

  6. Werner Damm; Martin Fränzle; Alyssa J. Kerscher; Forrest Laine; Klaus Bengler; Bianca Biebl; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Sebastian Lehnhoff; Andreas Lüdtke; Alexander Pretschner; Astrid Rakow; Jochem W. Rieger; Daniel Sonntag; Janos Sztipanovits; Maike Schwammberger; Mark Schweda; Alexander Trende; Anirudh Unni; Eric M. S. P. Veith

    A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations

    In: ACM Transactions on Cyber-Physical Systems (TCPS), Vol. 8, No. 1, Pages 1-23, ACM, 2024.

  7. Sajjad Parvin; Chandan Jha; Frank Sill Torres; Rolf Drechsler

    Hidden Cost of Circuit Design with RFETs

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  8. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  9. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2024), April 3-5, Kielce, Poland, 2024.

  10. Caroline Dominik; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

Year

More options