arXiv subjects

Stefan Wagner

Publications and source records attributed to Stefan Wagner.

At least 55 records · Page 3Linked to original sources

arXiv2025

Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems

Autonomous Driving Systems (ADS) use complex decision-making (DM) models with multimodal sensory inputs, making rigorous validation and verification (V&V) essential for safety and reliability. These models pose challenges in diagnosing failures, tracing anomalies, and maintaining transparency, with current manual testing methods being inefficient and labor-intensive. This vision paper presents a methodology that integrates explainability, transparency, and interpretability into V&V processes. We propose refining V&V requirements through literature reviews and stakeholder input, generating explainable test scenarios via large language models (LLMs), and enabling real-time validation in simulation environments. Our framework includes test oracle, explanation generation, and a test chatbot, with empirical studies planned to evaluate improvements in diagnostic efficiency and transparency. Our goal is to streamline V&V, reduce resources, and build user trust in autonomous technologies.

cs.SE↗

arXiv2025

Hydrogen response to high-density dislocations in bulk perovskite oxide SrTiO3

Hydrogen plays an increasingly important role in green energy technologies. For instance, proton-conducting oxides with high performance for fuel cell components or electrolysers need to be developed. However, this requires a fundamental understanding of hydrogen-defects interactions. While point defects and grain boundaries in oxides have been extensively studied, the role of dislocations as line defects remains less understood, primarily due to the challenge for effective dislocation engineering in brittle oxides. In this work, we demonstrate the impact of dislocations in bulk single-crystal perovskite oxide SrTiO3 on hydrogen uptake and diffusion using deuterium as tracer. Dislocations with a high density up to ~10 to the power of 14 per square meter were mechanically introduced at room temperature. Exposing this dislocation-rich and the reference regions (with a dislocation density of ~10 to the power of 10 per square meter) to deuterium at 400 °C for 1h, followed by secondary ion mass spectrometry measurements, we observed a ~100 times increase in deuterium incorporation in the dislocation-rich region. The result suggests that dislocations in oxides can act as an effective reservoir for deuterium. This proof-of-concept brings new insights into the emerging hydrogen-dislocation interactions in functional oxides.

cond-mat.mtrl-sci↗

arXiv2025

Towards Mixed-Criticality Software Architectures for Centralized HPC Platforms in Software-Defined Vehicles: A Systematic Literature Review

Centralized electrical/electronic architectures and High-Performance Computers (HPCs) are redefining automotive software development, challenging traditional microcontroller-based approaches. Ensuring real-time, safety, and scalability in software-defined vehicles necessitates reevaluating how mixed-criticality software is integrated into centralized architectures. While existing research on automotive SoftWare Architectures (SWAs) is relevant to the industry, it often lacks validation through systematic, empirical methods. To address this gap, we conduct a systematic literature review focusing on automotive mixed-criticality SWAs. Our goal is to provide practitioner-oriented guidelines that assist automotive software architects and developers design centralized, mixed-criticality SWAs based on a rigorous and transparent methodology. First, we set up a systematic review protocol grounded in established guidelines. Second, we apply this protocol to identify relevant studies. Third, we extract key functional domains, constraints, and enabling technologies that drive changes in automotive SWAs, thereby assessing the protocol's effectiveness. Additionally, we extract techniques, architectural patterns, and design practices for integrating mixed-criticality requirements into HPC-based SWAs, further demonstrating the protocol's applicability. Based on these insights, we propose an exemplary SWA for a microprocessor-based system-on-chip. In conclusion, this study provides a structured approach to explore and realize mixed-criticality software integration for next-generation automotive SWAs, offering valuable insights for industry and research applications.

cs.SE↗

arXiv2025

From Coders to Critics: Empowering Students through Peer Assessment in the Age of AI Copilots

The rapid adoption of AI powered coding assistants like ChatGPT and other coding copilots is transforming programming education, raising questions about assessment practices, academic integrity, and skill development. As educators seek alternatives to traditional grading methods susceptible to AI enabled plagiarism, structured peer assessment could be a promising strategy. This paper presents an empirical study of a rubric based, anonymized peer review process implemented in a large introductory programming course. Students evaluated each other's final projects (2D game), and their assessments were compared to instructor grades using correlation, mean absolute error, and root mean square error (RMSE). Additionally, reflective surveys from 47 teams captured student perceptions of fairness, grading behavior, and preferences regarding grade aggregation. Results show that peer review can approximate instructor evaluation with moderate accuracy and foster student engagement, evaluative thinking, and interest in providing good feedback to their peers. We discuss these findings for designing scalable, trustworthy peer assessment systems to face the age of AI assisted coding.

cs.CY↗

arXiv2025

How Soft Skills Shape First-Year Success in Higher Education

Soft skills are critical for academic and professional success, but are often neglected in early-stage technical curricula. This paper presents a semi-isolated teaching intervention aimed at fostering study ability and key soft skills-communication, collaboration, and project management-among first-year computer science students. The elective seminar Soft Skills and Tools for Studies and Career in IT was alongside a mandatory team-based programming course. We analyze project outcomes and student experiences across three cohorts across three groups: students who attended the seminar, students who teamed up with a seminar attendee, and students with no exposure to the seminar. Results show that seminar participants performed significantly better in individual presentations and team projects. Qualitative feedback further indicates improved team dynamics and study preparedness. Although self-assessed collaboration and communication did not reach statistical significance, consistent trends suggest that early soft skills training enhances academic integration. We recommend embedding such interventions early in technical study programs to support the transition into university life.

cs.CY↗

arXiv2025

Supporting Preschool Emotional Development with AI-Powered Robots

This study evaluates the integration of AI-powered robots in early childhood education, focusing on their impact on emotional self-regulation, engagement, and collaborative skills. A ten-week experimental design involving two groups of children assessed the robot's effectiveness through progress assessments, parental surveys, and teacher feedback. Results demonstrated that early exposure to the robot significantly enhanced emotional recognition, while sustained interaction further improved collaborative and social engagement. Parental and teacher feedback highlighted high acceptance levels, emphasizing the robot's ease of integration and positive influence on classroom dynamics. This research underscores the transformative potential of AI and robotics in education. The findings advocate for the broader adoption of AI-powered interventions, carefully examining equitable access, ethical considerations, and sustainable implementation. This work sets a foundation for exploring long-term impacts and expanding applications of AI in inclusive and impactful educational settings.

cs.RO↗

arXiv2025

ReqBrain: Task-Specific Instruction Tuning of LLMs for AI-Assisted Requirements Generation

Requirements elicitation and specification remains a labor-intensive, manual process prone to inconsistencies and gaps, presenting a significant challenge in modern software engineering. Emerging studies underscore the potential of employing large language models (LLMs) for automated requirements generation to support requirements elicitation and specification; however, it remains unclear how to implement this effectively. In this work, we introduce ReqBrain, an Al-assisted tool that employs a fine-tuned LLM to generate authentic and adequate software requirements. Software engineers can engage with ReqBrain through chat-based sessions to automatically generate software requirements and categorize them by type. We curated a high-quality dataset of ISO 29148-compliant requirements and fine-tuned five 7B-parameter LLMs to determine the most effective base model for ReqBrain. The top-performing model, Zephyr-7b-beta, achieved 89.30\% Fl using the BERT score and a FRUGAL score of 91.20 in generating authentic and adequate requirements. Human evaluations further confirmed ReqBrain's effectiveness in generating requirements. Our findings suggest that generative Al, when fine-tuned, has the potential to improve requirements elicitation and specification, paving the way for future extensions into areas such as defect identification, test case generation, and agile user story creation.

cs.SE↗

arXiv2025

From Reality to Virtual Worlds: The Role of Photogrammetry in Game Development

Photogrammetry is transforming digital content creation by enabling the rapid conversion of real-world objects into highly detailed 3D models. This paper evaluates the role of RealityCapture, a GPU-accelerated photogrammetry tool, in game development of Virtual Reality (VR). We assess its efficiency, reconstruction accuracy, and integration with Unreal Engine, comparing its advantages and limitations against traditional modeling workflows. Additionally, we examined user preferences between designed 3D assets and photogrammetry-generated models. The results revealed that while photogrammetry enhances realism and interactivity, users slightly preferred manually designed models for small, manipulable elements because of the level of detail. However, from a developer perspective, RealityCapture significantly reduces development time while maintaining geometric precision and photorealistic textures. Despite its reliance on high-performance hardware, its automation, scalability, and seamless integration with real-time rendering engines make it a valuable tool for game developers and VR creators. Future improvements in AI-driven optimization and cloud-based processing could enhance accessibility, broadening its applications in gaming, cultural heritage preservation, and simulation.

cs.GR↗

arXiv2025

Drastic softening of Pd nanoparticles induced by hydrogen cycling

Single crystalline faceted Pd nanoparticles attached to a sapphire substrate were fabricated employing the solid state dewetting method. The as-dewetted nanoparticles tested in compression exhibited all features of dislocation nucleation-controlled plasticity, including the size effect on strength and ultrahigh compressive strength reaching up to 11 GPa. Hydrogen cycling of as-dewetted Pd nanoparticles resulted in their drastic softening and in change of the deformation mode. This softening effect was correlated with the high density of glissile dislocations observed in the cycled particles. This work demonstrates that the nanomechanical behavior of hydride-forming metals can be manipulated by hydrogen cycling.

cond-mat.mtrl-sci↗

arXiv2025

Towards Evaluation Guidelines for Empirical Studies involving LLMs

In the short period since the release of ChatGPT, large language models (LLMs) have changed the software engineering research landscape. While there are numerous opportunities to use LLMs for supporting research or software engineering tasks, solid science needs rigorous empirical evaluations. However, so far, there are no specific guidelines for conducting and assessing studies involving LLMs in software engineering research. Our focus is on empirical studies that either use LLMs as part of the research process or studies that evaluate existing or new tools that are based on LLMs. This paper contributes the first set of holistic guidelines for such studies. Our goal is to start a discussion in the software engineering research community to reach a common understanding of our standards for high-quality empirical studies involving LLMs.

cs.SE↗

arXiv2025

Saturated Fell bundles and their classification

We present a comprehensive classification theory for saturated Fell bundles over locally compact groups, utilizing data associated with their base group and unit fiber. This framework offers a unified approach to understanding the structure and properties of such bundles, providing key insights into their classification.

math.OA↗

arXiv2025

Assessing Teamwork Dynamics in Software Development Projects

This study investigates teamwork dynamics in student software development projects through a mixed-method approach combining quantitative analysis of GitLab commit logs and qualitative survey data. We analyzed individual contributions across six project phases, comparing self-reported and actual contributions to measure discrepancies. Additionally, a survey captured insights on team leadership, conflict resolution, communication practices, and workload perceptions. Findings reveal that teams with minimal contribution discrepancies achieved higher project grades and exam pass rates. In contrast, teams with more significant discrepancies experienced lower performance, potentially due to role clarity and communication issues. These results underscore the value of shared leadership, structured conflict resolution, and regular feedback in fostering effective teamwork, offering educators strategies to enhance collaboration in software engineering education through self-reflection and balanced workload allocation.

cs.SE↗

arXiv2024

Exceptional X-ray activity in BL Lacertae

BL Lacertae is a unique blazar for which the X-ray band can cover either the synchrotron or the inverse Compton, or both parts of the broadband spectral energy distribution. In the latter case, when the spectral upturn is located in the X-ray range, it allows contemporaneous study of the low- and high-energy ends of the electron distribution function. In this work, we study spectral and temporal variability using X-ray and optical observations of the blazar performed with the Neil Gehrels Swift Observatory from 2020 to 2023. The large set of observational data reveals intensive flaring activity, accompanied by spectral changes in both spectral branches. We conclude that the low-energy and high-energy ends of the particle distribution function are characterised by similar variability scales. Additionally, the hard X-ray observations of BL Lacertae performed with the Nuclear Spectroscopic Telescope Array (NuSTAR) confirm a concave spectral curvature for some epochs of the blazar activity and reveal that it can be shifted up to energies of as high as 8 keV. The time-resolved spectral analysis allows us to disentangle X-ray spectral variability features of the synchrotron from inverse Compton components. Despite significant variability of both spectral components, we find only small changes in the position of the spectral upturn. The different slopes and shapes of the X-ray spectrum of BL Lacertae demonstrate that the classification of this source is not constant, and BL Lacertae can exhibit features of either high-, intermediate-, or low-energy peaked blazar in different epochs of observation. This also indicates that the spectral upturn for this blazar can be located not only in the X-ray range of 0.3-10 keV, but also at lower or higher energies.

astro-ph.HE↗

arXiv2024

Task-Based Role-Playing VR Game for Supporting Intellectual Disability Therapies

Intellectual Disability (ID) is characterized by deficits in intellectual functioning and adaptive behavior, necessitating customized therapeutic interventions to improve daily life skills. This paper presents the development and evaluation of Space Exodus, a task-based role-playing Virtual Reality (VR) game designed to support therapy for children with ID. The game integrates everyday life scenarios into an immersive environment to enhance skill acquisition and transfer. Functional tests and preliminary experiments demonstrated the system's stability, usability, and adaptability, with 70--80\% of participants demonstrating successful skill transfer to new challenges. Challenges, such as VR discomfort, controller misoperation, and task complexity, were identified, emphasizing the need for ergonomic improvements and adaptive guidance. The results provide empirical evidence supporting VR as a promising tool in ID therapy. Future work will focus on refining gameplay mechanics, enhancing user guidance, and expanding accessibility to broader populations.

cs.HC↗

arXiv2024

Code Collaborate: Dissecting Team Dynamics in First-Semester Programming Students

Understanding collaboration patterns in introductory programming courses is essential, as teamwork is a critical skill in computer science. In professional environments, software development relies on effective teamwork, navigating diverse perspectives, and contributing to shared goals. This paper offers a comprehensive analysis of the factors influencing team efficiency and project success, providing actionable insights to enhance the effectiveness of collaborative programming education. By analyzing version control data, survey responses, and performance metrics, the study highlights the collaboration trends that emerge as first-semester students develop a 2D game project. Results indicate that students often slightly overestimate their contributions, with more engaged individuals more likely to acknowledge mistakes. Team performance shows no significant variation based on nationality or gender composition, though teams that disbanded frequently consisted of lone wolves, highlighting collaboration challenges and the need for strengthened teamwork skills. Presentations closely reflected individual project contributions, with active students excelling in evaluative questioning and performing better on the final exam. Additionally, the complete absence of plagiarism underscores the effectiveness of proactive academic integrity measures, reinforcing honest collaboration in educational settings.

cs.SE↗

arXiv2024

Towards an Argument Pattern for the Use of Safety Performance Indicators

UL 4600, the safety standard for autonomous products, mandates the use of Safety Performance Indicators (SPIs) to continuously ensure the validity of safety cases by monitoring and taking action when violations are identified. Despite numerous examples of concrete SPIs available in the standard and companion literature, their contribution rationale for achieving safety is often left implicit. In this paper, we present our initial work towards an argument pattern for the use of SPIs to ensure validity of safety cases throughout the entire lifecycle of the system. Our aim is to make the implicit argument behind using SPIs explicit, and based on this, to analyze the situations that can undermine confidence in the chosen set of SPIs. To maintain the confidence in SPIs' effectiveness, we propose an approach to continuously monitor their expected performance by using meta-SPIs.

cs.SE↗

arXiv2024

Centralization potential of automotive E/E architectures

Current automotive E/E architectures are subject to significant transformations: Computing-power-intensive advanced driver-assistance systems, bandwidth-hungry infotainment systems, the connection of the vehicle with the internet and the consequential need for cyber-security drives the centralization of E/E architectures. A centralized architecture is often seen as a key enabler to master those challenges. Available research focuses mostly on the different types of E/E architectures and contrasts their advantages and disadvantages. There is a research gap on guidelines for system designers and function developers to analyze the potential of their systems for centralization. The present paper aims to quantify centralization potential reviewing relevant literature and conducting qualitative interviews with industry practitioners. In literature, we identified seven key automotive system properties reaching limitations in current automotive architectures: busload, functional safety, computing power, feature dependencies, development and maintenance costs, error rate, modularity and flexibility. These properties serve as quantitative evaluation criteria to estimate whether centralization would enhance overall system performance. In the interviews, we have validated centralization and its fundament - the conceptual systems engineering - as capabilities to mitigate these limitations. By focusing on practical insights and lessons learned, this research provides system designers with actionable guidance to optimize their systems, addressing the outlined challenges while avoiding monolithic architecture. This paper bridges the gap between theoretical research and practical application, offering valuable takeaways for practitioners.

cs.SE↗

arXiv2024

How Mature is Requirements Engineering for AI-based Systems? A Systematic Mapping Study on Practices, Challenges, and Future Research Directions

Artificial intelligence (AI) permeates all fields of life, which resulted in new challenges in requirements engineering for artificial intelligence (RE4AI), e.g., the difficulty in specifying and validating requirements for AI or considering new quality requirements due to emerging ethical implications. It is currently unclear if existing RE methods are sufficient or if new ones are needed to address these challenges. Therefore, our goal is to provide a comprehensive overview of RE4AI to researchers and practitioners. What has been achieved so far, i.e., what practices are available, and what research gaps and challenges still need to be addressed? To achieve this, we conducted a systematic mapping study combining query string search and extensive snowballing. The extracted data was aggregated, and results were synthesized using thematic analysis. Our selection process led to the inclusion of 126 primary studies. Existing RE4AI research focuses mainly on requirements analysis and elicitation, with most practices applied in these areas. Furthermore, we identified requirements specification, explainability, and the gap between machine learning engineers and end-users as the most prevalent challenges, along with a few others. Additionally, we proposed seven potential research directions to address these challenges. Practitioners can use our results to identify and select suitable RE methods for working on their AI-based systems, while researchers can build on the identified gaps and research directions to push the field forward.

cs.SE↗