Export list as BibTeX file

2024

• November 2024 Continuous safety & security evidence generation, curation and assurance case construction using the Evidential Tool Bus Natarajan Shankar, Minyoung Kim, Huascar Sanchez, Harald Rueß, Tewodros Beyene, Radouane Bouchekir and et al. In 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), IEEE. Details URL DOI BIB
• October 2024 Neuromorphic force-control in an industrial task: validating energy and latency benefits Camilo Amaya, Evan Eames, Gintautas Palinauskas, Alexander Perzylo, Yulia Sandamirskaya and Axel von Arnim In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Abu Dhabi, UAE, Details BIB
• September 2024 A Failure Model Library for Simulation-based Validation of Functional Safety Tiziano Munaro, Irina Muntean and Alexander Pretschner In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 14988 of Lecture Notes in Computer Science, Springer, Cham. Details DOI BIB
• September 2024 Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators Sebastian Bergemann and Nina Benkendorf In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion ’24), ACM. Details DOI BIB
• September 2024 Smart Energy Forecasting: An In-depth Study on Forecasting Methods for Electric-thermal Storage Systems Cristian Sebastian Cubides-Herrera, Jan Mayer, Jessy Matar and Markus Duchon In IEEE SmartGridComm 2024 Conference, Oslo, Norway, Details BIB
• September 2024 You Can Only Verify When You Know the Answer: Feature-Based Explanations Reduce Overreliance on AI for Easy Decisions, but Not for Hard Ones Zelun Tony Zhang, Felicitas Buchner, Yuanting Liu and Andreas Butz In Mensch und Computer 2024 (MuC ’24), pages 1-15, ACM. Details DOI BIB
• June 2024 Emergent Needs in Assuring Security-Relevant Compliance of Information Systems Tomas Bueno Momčilović and Dian Balta In EICC 2024: European Interdisciplinary Cybersecurity Conference, pages 46–49, Xanthi, Greece, Association for Computing Machinery. Details DOI BIB
• April 2024 Software in the Manufacturing Industry: Emerging Security Challenge Areas for IIoT Platforms Yannick Landeck, Dian Balta, Martin Wimmer and Christian Knierim In 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP ’24), ACM, New York, NY, USA. Details DOI BIB

2023

• October 2023 Towards Confidentiality in Multi-Model Inconsistency Detection for Systems Engineering Sebastian Bergemann In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), IEEE. Details DOI BIB
• September 2023 A Retrospective Analysis of Grey Literature for AI-Supported Test Automation Filippo Ricca, Alessandro Marchetto and Andrea Stocco In In Proceedings of the 16th International Conference on the Quality of Information and Communications Technology, pages 90–105, Springer Nature Switzerland. Details URL DOI BIB