Export list as BibTeX file

2025

• July 2025 Automated Factual Benchmarking for In-Car Conversational Systems using Large Language Models Rafael Giebisch , Ken E. Friedl , Lev Sorokin and Andrea Stocco In Proceedings of the 36th IEEE Intelligent Vehicles Symposium, pages 8 pages, July 2025. IEEE. Details BIB
• June 2025 An ISO 26262-Derived Evaluation Methodology for Automated Fault Injection Test Case Generators Nina Benkendorf , Carolin Ganahl and Tiziano Munaro In Proceedings of the 2025 IEEE Intelligent Vehicles Symposium (IV) (To Appear), June 2025. Details BIB
• June 2025 Analyzing the Usage of Donation Platforms for PyPI Libraries Alexandros Tsakpinis and Alexander Pretschner In EASE '25: Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering, June 2025. Association for Computing Machinery (ACM). Details URL BIB
• May 2025 A Case Study on the Application of Digital Twins for Enhancing CPS Operations Irina Muntean , Mirgita Frasheri and Tiziano Munaro In Proceedings of the First International Workshop on Autonomous System Quality Assurance and Prediction with Digital Twins (ASQAP) (To Appear), May 2025. Details BIB
• May 2025 Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models Luciano Baresi , Davide Yi Xian Hu , Andrea Stocco and Paolo Tonella In Proceedings of the 47th International Conference on Software Engineering, pages 12 pages, May 2025. IEEE. Details URL DOI BIB
• April 2025 AI, Help Me Think—but for Myself: Assisting People in Complex Decision-Making by Providing Different Kinds of Cognitive Support Leon Reicherts , Zelun Tony Zhang , Elisabeth von Oswald , Yuanting Liu , Yvonne Rogers and Mariam Hassib In Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, pages 255:1-255:19, April 2025. ACM. Details URL DOI BIB
• April 2025 Augmenting Human Cognition With Generative AI: Lessons From AI-Assisted Decision-Making Zelun Tony Zhang and Leon Reicherts In CHI '25 T4T: Workshop on Tools for Thought—Research and Design for Understanding, Protecting, and Augmenting Human Cognition with Generative AI, pages 1-5, April 2025. Details URL DOI BIB
• April 2025 Benchmarking Generative AI Models for Deep Learning Test Input Generation Maryam Maryam , Matteo Biagiola , Vincenzo Riccio and Andrea Stocco In Proceedings of the 18th IEEE International Conference on Software Testing, Verification and Validation, April 2025. IEEE. Details URL BIB
• March 2025 Benchmarking Image Perturbations for Testing Automated Driving Assistance Systems Stefano Carlo Lambertenghi , Hannes Leonhard and Andrea Stocco In Proc. ICST 2025, pages 150-161, March 2025. IEEE. Details URL BIB
• March 2025 Exploring the Potential of Freely Available Satellite Data for Energy Applications Jessy Matar , Mahdi Koubaa and Markus Duchon In 2nd NFDI4Energy Conference 2025, Karlsruhe, March 2025. Details URL BIB
• January 2025 Multi-Dimensional Design Space Exploration: Interplay of Architectural Design Decisions in Evolving Manufacturing Systems Tarik Terzimehić Johannes Kepler University, Linz, Austria, January 2025. Details URL BIB
• January 2025 System Safety Monitoring of Learned Components Using Temporal Metric Forecasting Sepehr Sharifi , Andrea Stocco and Lionel C. Briand ACM Transactions on Software Engineering and Methodology, ():, January 2025. Details URL DOI BIB
• 2025 Model-Based Systems Engineering with the SPES Modeling Language: Challenges – The Industrial View Sebastian Bergemann and Walter Koch GfSE Verlag, 2025. Details URL BIB
• 2025 Model-Based Systems Engineering with the SPES Modeling Language: Usage of the Language Constructs in the SPES Methodology Andreas Bayha , Sebastian Bergemann , Wolfgang Böhm , Jan Philipps , Andreas Vogelsang and Sebastian Voss GfSE Verlag, 2025. Details URL BIB
• 2025 OpenCat: Improving Interoperability of ADS Testing Qurban Ali , Andrea Stocco , Leonardo Mariani and Oliviero Riganelli In Proceedings of the 47th International Conference on Software Engineering Workshops, pages 10 pages, 2025. IEEE. Details BIB

2024

• December 2024 Assurance of Application Security on IIoT Platforms with Knowledge Augmentation Yannick Landeck , Dian Balta , Martin Wimmer and Christian Knierim In 2024 Annual Computer Security Applications Conference Workshops (ACSAC Workshops), Honolulu, HI, USA, December 2024. Details URL BIB
• December 2024 Decentralized Optimal Scheduler for Prosumers in a Local Electric Energy Market Godwin Okwuibe , Armin Wolf and Zhiwei Han , December 2024. IEEE. Details BIB
• December 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 IROS 2024 Proceedings, pages 717-724, Abu Dhabi, UAE, December 2024. IEEE. Details URL DOI BIB
• November 2024 Beyond Recommendations: From Backward to Forward AI Support of Pilots' Decision-Making Process Zelun Tony Zhang , Sebastian S. Feger , Lucas Dullenkopf , Rulu Liao , Lou Süsslin , Yuanting Liu and Andreas Butz Proceedings of the ACM on Human-Computer Interaction, 8(CSCW2):485:1-485:32, November 2024. Details DOI BIB
• 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), November 2024. IEEE. Details URL DOI BIB