In: Dina Demner-Fushman; Sophia Ananiadou; Makoto Miwa; Kirk Roberts; Junichi Tsujii (Hrsg.). Proceedings of the 23rd Workshop on Biomedical Natural Language Processing. Workshop on Current Trends in Biomedical Natural Language Processing (BioNLP-2024), located at Association for Computational Linguistics (ACL), August 16, Bangkok, Thailand, Pages 506-513, Association for Computational Linguistics, 8/2024.
Werner Damm; David Hess; Mark Schweda; Janos Sztipanovits; Klaus Bengler; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; Klas Ihme; Severin Kacianka; Alyssa J Kerscher; Sebastian Lehnhoff; Andreas Luedtke; Alexander Pretschner; Astrid Rakow; Jochem Rieger; Daniel Sonntag; Maike Schwammberger; Benedikt Austel; Anirudh Unni; Eric Veith
In: ACM Transactions on Cyber-Physical Systems (TCPS), Vol. 8, Pages 1-32, ACM, 1/2024.
Klaus Bengler; Werner Damm; Andreas Luedtke; Jochem Rieger; Benedikt Austel; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Alyssa J Kerscher; Forrest Laine; Sebastian Lehnhoff; Alexander Pretschner; Astrid Rakow; Daniel Sonntag; Janos Sztipanovits; Maike Schwammberger; Mark Schweda; Anirudh Unni; Eric Veith
In: ACM Transactions on Cyber-Physical Systems (TCPS), Vol. 8, Pages 1-27, ACM, 1/2024.
Michael Barz; Panagiotis Karagiannis; Johan Kildal; Andoni Rivera Pinto; Judit Ruiz de Munain; Jesús Rosel; Maria Madarieta; Konstantina Salagianni; Panagiotis Aivaliotis; Sotiris Makris; Daniel Sonntag
In: 36. 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-2024), February 25-27, Darmstadt, Germany, 2024.
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-2024), February 14-15, Landau, Germany, 2024.
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-2024), February 14-15, Kaiserslautern, Germany, 2024.
In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction (HRI-2024), March 11-14, Boulder, CO, USA, Pages 613-617, ISBN 979-8-4007-0323-2, ACM, 2024.
In: 2024 IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2024), May 13-17, Yokohama, Japan, Pages 15804-15810, IEEE, 2024.
In: Tung X. Bui (Hrsg.). 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024. Hawaii International Conference on System Sciences (HICSS-2024), 57th Hawaii International Conference on System Sciences, January 3-6, Honolulu, Hilton Hawaiian Village Waikiki Beach Resort, HI, USA, Pages 3374-3383, ScholarSpace, 2024.