In: 75th International Astronautical Congress. International Astronautical Congress (IAC-2024), October 14-18, Milan, Italy, International Astronautical Federation (IAF), 2024.
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.
In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2024), September 10-13, Padova, Italy, Pages 1-8, IEEE, 2024.
In: Siddharth Barman; Slawomir Lasota (Hrsg.). 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS-2024), December 16-18, Pages 22:1-22:25, Leibniz International Proceedings in Informatics (LIPIcs), Vol. 323, ISBN 978-3-95977-355-3, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 12/2024.
In: SIGGRAPH Asia 2024 Conference Papers. ACM SiggraphAsia (SigAsia-2024), December 3-6, Tokyo, Japan, SA '24 (SA '24), ISBN 9798400711312, Association for Computing Machinery, New York, NY, USA, 12/2024.
In: AACD '24: Proceedings of the 11th ACM Workshop on Adaptive and Autonomous Cyber Defense. ACM Workshop on Adaptive and Autonomous Cyber Defense (AACD-24), located at ACM Conference on Computer and Communications Security (CCS '24), October 14, Salt Lake City, USA, ISBN 979-8-4007-1231-9, Association for Computing Machinery, New York, NY, USA, 12/2024.