Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 196
  1. 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.

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

  3. Tim Henkes; Steffen Reith; Marc Stöttinger; Norbert Herfurth; Goran Panic; Julian Wälde; Fabian Buschkowski; Pascal Sasdrich; Christoph Lüth; Milan Funck; Tuba Kiyan; Arnd Weber; Detlef Boeck; René Rathfelder; Torsten Grawunder

    Evaluating an open-source hardware approach from HDL to GDS for a security chip design — a review of the final stage of project HEP

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

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

  5. Manuel Reif; Mohammad Hossein Rimaz; Christiane Plociennik; Martin Ruskowski; Alexander David

    Shared Digital Product Passport for holistic lifecycle assessment

    In: atp - Automatisierungstechnische Praxis, Vol. 66, No. 4, Pages 58-65, Vulkan-Verlag, 4/2024.

  6. Christiane Plociennik; Ali Nazeri; Mohammad Hossein Rimaz; Svenja Knetsch; Alice do Carmo Precci Lopes; Tabea Hagedorn; Julian Baehr; Malte Vogelgesang; Chanchan Li; Wladislaw Benner; Bernd Kellerer; Emanuel Ionescu; Martin Ruskowski; Anke Weidenkaff

    Connecting Producers and Recyclers: A Digital Product Passport Concept and Implementation Suitable for End-of-Life Management

    In: Luca Settineri; Paolo C. Priarone (Hrsg.). Procedia CIRP. CIRP Conference on Life Cycle Engineering (CIRP LCE-2024), June 19-21, Turin, Italy, …

  7. Mitigating Translationese with GPT-4: Strategies and Performance

    In: Proceedings of the 25th Annual Conference of the European Association for Machine Translation. Annual Conference of the European Association for …

  8. When Elote, Choclo and Mazorca are not the Same. Isomorphism-based Perspective to the Spanish Varieties Divergences

    In: Proceedings of the Eleventh Workshop on NLP for Similar Languages, Varieties and Dialects (VarDial). Workshop on NLP for Similar Languages, …

  9. Cristina España-Bonet; Alberto Barrón-Cedeño

    Elote, Choclo and Mazorca: on the Varieties of Spanish.

    In: 2024 Annual Conference of the North American Chapter of the Association for Computational Linguistics. Annual Conference of the North American …

  10. To Clarify or not to Clarify: A Comparative Analysis of Clarification Classification with Fine-Tuning, Prompt Tuning, and Prompt Engineering

    In: Yang Cao; Isabel Papadimitriou; Anaelia Ovalle; Marcos Zampieri; Frank Ferraro; Swabha Swayamdipta (Hrsg.). Proceedings of the 2024 Conference of …