Abstract is missing.
- Message from the SE'25 Workshop ChairsKevin Feichtinger, Lisa Sonnleithner. 1 [doi]
- ASE 2025 Workshop SummaryJörg Henß, Stefan Kugele. 2 [doi]
- Automotive Software Engineering in an increasingly Data-Driven Automotive SectorOliver Denninger, Joachim K. Axmann, Severin Kacianka, Bernd Westphal. 3 [doi]
- Automotive Security Engineering: A Demonstration of an Integrated Approach to EAST-ADL and Security ModelingAlexander Fischer, Ramin Tavakoli Kolagari. 4 [doi]
- AvioSE 2025 Workshop SummaryAndreas Schweiger, Umut Durak, Marina Reich, Björn Annighöfer. 5 [doi]
- Reconfigurable Computing Hypervisors: State-of-the-Art and Ways AheadVincent Janson, Phillip Nöldeke, Samuel Kleine, Umut Durak. 6 [doi]
- Integration of GPU RTL IP into System-level Simulation through TLM: A Case Study with Vortex RISC-V GPU in the METASAT Platform Digital TwinLorenzo Lazzara, Giulia Stazi, Valerio Di Valerio, Stefano Sinisi, Alessandro Ulisse, Marc Solé Bonet, Janis Wolf, Leonidas Kosmidis. 7 [doi]
- Viability of Rust for Avionics Software Development - Current status and way forwardJan Sommer, Tamara Gutierrez Rojo, Andreas Lund 0001, Hany Abdelmaksoud, Daniel Lüdtke. 8 [doi]
- Arguing machine learning assurance for certificationTihomir Varchev, Stephan Staudacher, Zamira Daw, Michael Holloway. 9 [doi]
- Erfolgsbedingungen für Anfänger zum Erlernen der Programmierung portabler GUIs in einem SemesterRony G. Flatscher, Till Winkler 0001. 10 [doi]
- GenSE 2025 Workshop SummaryRubén Ruiz-Torrubiano, Alois Haselböck, Danilo Valerio. 11 [doi]
- On the logical (in)consistency of code-generating LLMsKe Dong, William Hsu, Pascal Hitzler, Eugene Y. Vasserman. 12 [doi]
- Code Generation for Niche Programming Languages with Large Language ModelsPhilipp Kogler, Wei Chen, Stefan Wallner. 13 [doi]
- Stories Complicate Things: A Qualitative Analysis of Coding Problems (Un)solved by GitHub CopilotJulian Oertel, Jil Klünder, Regina Hebit. 14 [doi]
- QSE 2025 Workshop SummaryMalte Lochau, Benedikt Fauseweh, Ina Schaefer. 15 [doi]
- Bridge the Gap Between HPC Systems and Various Quantum Platforms: A Unified Quantum PlatformAmr Elsharkawy, Xiaorang Guo, Martin Schulz 0001. 16 [doi]
- Bounds for Quantum Circuits using Logic-Based AnalysisBenedikt Fauseweh, Ben Hermann, Falk Howar. 17 [doi]
- Improved Bounds for Rounding Errors in Quantum Circuit SimulatorsJonas Klamroth, Niko Lemke, Ruben Götz, Bernhard Beckert. 18 [doi]
- GeQuPI: Quantum Program Improvement with Multi-Objective Genetic ProgrammingFelix Gemeinhardt, Stefan Klikovits, Manuel Wimmer. 19 [doi]
- Load Balancing For High Performance Computing Using Quantum AnnealingOmer Rathore, Alastair Basden, Nicholas Chancellor, Halim Kusumaatmaja. 20 [doi]
- Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware ExpertsLudwig Schmid, David F. Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille. 21 [doi]
- Quantum Software Ecosystem DesignAchim Basermann, Michael Epping, Benedikt Fauseweh, Michael Felderer, Elisabeth Lobe, Melven Röhrig-Zöllner, Gary Schmiedinghoff, Peter K. Schuhmacher, Yoshinta Setyawati, Alexander Weinert. 22 [doi]
- A quantum algorithm for solving open system dynamics on quantum computers using noiseJuha Leppäkangas, Nicolas Vogt, Keith R. Fratus, Kirsten Bark, Jesse A. Vaitkus, Pascal Stadler, Jan-Michael Reiner, Sebastian Zanker, Michael Marthaler. 23 [doi]
- Diagrammatic Quantum Circuit Compression for Hamiltonian SimulationVictoria Wadewitz, Aaron Szasz, Daan Camps, Katherine Klymko, Tobias Stollenwerk. 24 [doi]
- Minimizing Readout and State Preparation Time for Neutral Atom Quantum ComputingJonas Winklmann, Martin Schulz 0001. 25 [doi]
- Workflow for Creating and Sealing a Research Data Management Container (RDMC)Jan Bernoth, Safial Islam Ayon, Firas Al Laban, Stefan Bavendiek, Hannes Federrath, Michael Striewe, Michael Goedicke. 26 [doi]
- Case Study: Creating a Reusable Execution Environment for WiKoDaChristoph Blessing, Sabih Ahmed Khan, Jan Bernoth. 27 [doi]
- A Classification Framework for Scientific Documents to Support Knowledge Graph PopulationAngelika Kaplan, Jan Keim, Lukas Greiner, Anne Koziolek, Ralf H. Reussner. 28 [doi]
- Structuring Scientific Knowledge in Software Engineering Using the Open Research Knowledge Graph: A Use Case and Experience ReportAngelika Kaplan, Fatma Chebbi, Dominik Fuchß, Oliver Karras, Tobias Hey 0001, Anne Koziolek, Ralf H. Reussner. 29 [doi]
- Research Knowledge Graphs for Sustainable Literature Reviews in Software Engineering and BeyondOliver Karras. 30 [doi]
- SECPPS 2025 Workshop SummaryBianca Wiesmayr, Sandra Greiner 0001. 31 [doi]
- Gamification of Student Development Projects in Software Engineering EducationPaul Bredl. 32 [doi]
- Error categorization in novice codeNadja Just. 33 [doi]
- Requirements Classification for Requirements ReuseJulia Märdian. 34 [doi]