In: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS). IEEE International Conference on Industrial Cyber-Physical Systems (ICPS-2024), May 12-15, St. Louis, MO, USA, Pages 1-8, IEEE, 2024.
Kevin Baum; Biewer Sebastian; Hermanns Holger; Hetmank Sven; Langer Markus; Lauber-Rönsberg Anne; Sterz Sarah
In: Thomas Neele; Anton Wijs (Hrsg.). Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg, Pages 3-25, Lecture Notes in Computer Science (LNCS), Vol. 14624, Springer Nature, Switzerland, 10/2024.
In: Maike Klein; Daniel Krupka; Cornelia Winter; Martin Gergeleit; Ludger Martin (Hrsg.). INFORMATIK 2024. Pages 1079-1097, ISBN 978-3-88579-746-3, Gesellschaft für Informatik e.V. Bonn, 2024.
Amelie Gyrard; Philip Gribbon; Rada Hussein; Somayeh Abedian; Luis Marti Bonmati; Gibi Luisa Caborner; George Manias; Gabriel Danciu; Stefano Dalmiani; Serge Autexier; Rick van Nuland; Mario Jendrosse; Ioannis Avramidis; Eva Garcia Alvarez
In: John Mantas; Arie Hasman (Hrsg.). Proceedings 34th Medical Informatics Europe Conference (MIE 2024). Medical Informatics Europe Congress (MIE-2024), Athens, Greece, Pages 1292-1296, Studies in Health Technol, Vol. 316, IOS Press, 8/2024.
Mariana Neves; Cristian Grozea; Philippe Thomas; Roland Roller; Rachel Bawden; Aurélie Névéol; Steffen Castle; Vanessa Bonato; Giorgio Maria Du Nunzio; Federica Vezzani; Maika Vicente Navarro; Lana Yeganova; Antonio Jimeno Yepes
In: Rebekka Görge; Elena Haedecke; Maximilian Poretschkin; Anna Schmitz (Hrsg.). Symposium on Scaling AI Assessments (SAIA 2024). Symposium on Scaling AI Assessments (SAIA-2024), September 30 - October 1, Cologne, Germany, Pages 7:1-7:19, Open Access Series in Informatics (OASIcs), Vol. 126, ISBN ISSN 2190-6807, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1/2025.