In: 2023 IEEE 27th International Conference on Intelligent Engineering Systems (INES). Conference on Intelligent Engineering Systems (INES-2023), July 26-28, Nairobi, Kenya, Pages 000111-000124, IEEE, 2023.
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 37, Pages 1-3, Springer, Berlin Heidelberg, 5/2023.
In: 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023. International Conference on Design Science Research in Information Systems and Technology (DESRIST-2023), May 31 - June 3, Pretoria, South Africa, Springer Nature Switzerland, 5/2023.
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
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.