Table of Contents

• AIRE 2025: 12th International Workshop on Artificial Intelligence and Requirements EngineeringSepideh Ghavanati, Quim Motger, Julian Frattini. 1-3 [doi]
• RAG to RichEs: Bridging RE Automation Pains with RAG Gains: Keynote AbstractChetan Arora 0002. 4 [doi]
• Beyond Retrieval: A Study of Using LLM Ensembles for Candidate Filtering in Requirements TraceabilityDominik Fuchß, Stefan Schwedt, Jan Keim, Tobias Hey 0001. 5-12 [doi]
• Explainability as a Compliance Requirement: What Regulated Industries Need from AI Tools for Design Artifact GenerationSyed Tauhid Ullah Shah, Mohammad Hussein, Ann Barcomb, Mohammad Moshirpour. 13-22 [doi]
• Description and Comparative Analysis of QuRE: A New Industrial Requirements Quality DatasetHenning Femmer, Frank Houdek, Max Unterbusch, Andreas Vogelsang. 23-29 [doi]
• One Size Does Not Fit All: On the Role of Batch Size in Classifying Requirements with LLMsAshley T. van Can, Fatma Basak Aydemir, Fabiano Dalpiaz. 30-39 [doi]
• Automating Translation from Legal Text to Legal Requirements Specification LanguageCaroline Witty, Sarah Santos, Travis D. Breaux. 40-48 [doi]
• Automatic Generation of Explainability Requirements and Software Explanations From User ReviewsMartin Obaidi, Jakob Droste, Hannah Deters, Marc Herrmann, Kurt Schneider, Jil Klünder, Hugo Villamizar, Jannik Fischbach, Steffen Krätzig. 49-58 [doi]
• C-LEIA: An Interactive LLM-based Simulator for Requirements InterviewsNelson Lojo, Rafael González, Rohan Philip, José Antonio Parejo, Amador Durán Toro, Armando Fox, Pablo Fernández 0001. 59-61 [doi]
• DRGM: Data Requirement Goal Modeling for ML-Based SystemsAsma Z. Yamani, Nadeen AlAmoudi, Salma Albelali, Malak Baslyman, Jameleddine Hassine. 62-73 [doi]
• Automatic Classification of User Requirements from Online Feedback - A Replication StudyMeet Bhatt, Nic Boilard, Muhammad Rehan Chaudhary, Cole Thompson, Jacob Idoko, Aakash Sorathiya, Gouri Ginde. 74-83 [doi]
• CMER: A Context-Aware Approach for Mining Ethical Concern-related App ReviewsAakash Sorathiya, Gouri Ginde. 84-94 [doi]
• Welcome to the 9th International Workshop on Crowd-Based Requirements Engineering (CrowdRE'25)Farnaz Fotrousi, Maria Spichkova, Nitish Patkar, Muneera Bano. 95-98 [doi]
• From App Features to Explanation Needs: Analyzing Correlations and Predictive PotentialMartin Obaidi, Kushtrim Qengaj, Jakob Droste, Hannah Deters, Marc Herrmann, Elisa Schmid, Kurt Schneider, Jil Klünder. 99-106 [doi]
• A German Gold-Standard Dataset for Sentiment Analysis in Software EngineeringMartin Obaidi, Marc Herrmann, Elisa Schmid, Raymond Ochsner, Kurt Schneider, Jil Klünder. 107-114 [doi]
• Towards Using Personas in Requirements Engineering: What Has Been Changed Recently?Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland. 115-122 [doi]
• Towards Better Requirements from the Crowd: Developer Engagement with Feature Requests in Open Source SoftwarePragyan K. C, Rambod Ghandiparsi, Thomas Herron, John Heaps, Mitra Bokaei Hosseini. 123-130 [doi]
• Welcome to the 5th IEEE International Workshop on Environment-Driven Requirements Engineering (EnviRE'25)Xiaohong Chen 0001, Zhi Jin 0001, Nan Niu, Yijun Yu. 131-132 [doi]
• From Causal Graphs to Problem Diagrams: Enhancing Safety Requirement Modeling with LLMLiyuan Zhang, Zhi Li 0017, Hongbin Xiao, Changjin Li, Bo Huang, Xu Chen. 133-140 [doi]
• ConSum4DCR: A Q&A Knowledge Extraction Method for Developer Chatroom EnvironmentsYankun Jin, Ye Wang 0012, Qiao Huang, Lingfeng Bao, Siyuan Zhou, Bo Jiang 0009. 141-148 [doi]
• Prompting LLM for Embedded SRS Generation: A Case Study of Elder Care SystemChunhui Wang, Jiaqi Zhao, Zhi Jin. 149-156 [doi]
• PF-ENV: Extending Problem Frames for AI-Enabled System Requirements Environment ModelingJian Tu, Juntao Gao, Runkun Zhang, Yilong Yang 0001. 157-164 [doi]
• Constructing Cross-Level Traceability Links in the Automotive Domain: A Case StudyWei Xie, Yi Zhao, Min Zhang, Yinghua Huang. 165-172 [doi]
• AirReq: Automated Requirements Smell Detection and Elimination for Commercial Aircraft SystemsTianyi Wang, Weiru Wang 0001, Yilong Yang 0001. 173-180 [doi]
• Automatic Generation of Structured Requirements for Aerospace Embedded Systems Using LLMsJingkai Lin, Yixing Luo, Xiao-hong Chen 0001, Bin Gu 0006, Zhi Jin 0001. 181-188 [doi]
• Classification and Description of AI Component Requirements in Autonomous Driving SystemRuolin Gong, Yu Zhang, Qin Li. 189-195 [doi]
• ME4PD: A Multi-Modal and Dynamically Extensible System for Problem Frame ConstructionYang Hua, Hongbin Xiao, Zhi Li 0017. 196-199 [doi]
• Research on Requirement Vulnerability Detection Method Based on Graph Neural Network and Counterfactual ExplanationKang Liu, Bo Huang, Shenao Wu, Yujie Luo, Jin Liu, Gang Chen. 200-207 [doi]
• Welcome to the Twelfth International Workshop on Evolving Security and Privacy Requirements Engineering (ESPRE'25)Sepideh Ghavanati, Duncan Ki-Aries, Seok-Won Lee, Mattia Salnitri. 208 [doi]
• ®'s MitigationsJukka Ruohonen, Eun-Young Kang 0001, Qusai Ramadan. 209-214 [doi]
• A Mapping Analysis of Requirements Between the CRA and the GDPRJukka Ruohonen, Kalle Hjerppe, Eun-Young Kang 0001. 215-222 [doi]
• Can we use LLMs to recover Trace Links between Source Code and Security Requirements?Jan-Marc Paßlack, Alexander Specht, Marc Herrmann, Duaa Adel Ali Elsofi, Marco Ehl, Katharina Großer, Jan Jürjens, Kurt Schneider. 223-232 [doi]
• Towards Evidence-Based Conceptual Modeling for International Data Protection RequirementsClaudia Negri Ribalta, René Noël, Anastasia Sergeeva, Gabriele Lenzini. 233-242 [doi]
• LLMPathy: A Multi-Agent LLM Approach for Eliciting Inclusive Security RequirementsWaleed Bin Shahid, Bilal Naqvi, Hammad Afzal. 243-248 [doi]
• Generating Context-Aware Learning Materials for Software Security via LLM Agents and TraceabilityBen Luca Schüring, Marc Herrmann, Alexander Specht, Marco Ehl, Duaa Adel Ali Elsofi, Katharina Großer, Jan Jürjens, Kurt Schneider. 249-258 [doi]
• SAGE: A Context-Aware Approach for Mining Privacy Requirements Relevant Reviews from Mental Health AppsAakash Sorathiya, Gouri Ginde. 259-268 [doi]
• A First Appraisal of NIS2 and CRA Compliance Leveraging Open Source ToolsGiovanni Corti, Gianluca Sassetti, Amir Sharif, Serena Elisa Ponta, Matteo Rizzi, Pietro De Matteis, Luca Piras 0003, Roberto Carbone, Silvio Ranise. 269-274 [doi]
• Expanding ML-Documentation Standards For Better SecurityCara Ellen Appel. 275-282 [doi]
• MoDRE 2025: 15th International Model-Driven Requirements Engineering WorkshopAna Moreira 0001, Gunter Mussbacher, João Araújo 0001, Pablo Sánchez 0002, Boqi Chen. 283-285 [doi]
• Model-Driven Integration of Domain Knowledge into Machine Learning Workflows: A Case for Multidisciplinary System DesignNeeraj Katiyar, Jhelum Chakravorty. 286-292 [doi]
• An Assistive Approach for Learning Goal ModelingKarenna Kung, Alicia M. Grubb. 293-297 [doi]
• Assisting Stakeholders in Class Diagram Interpretation with LLMs: a Work in ProgressChiara Mannari, Tommaso Turchi, Manlio Bacco, Alessio Malizia. 298-303 [doi]
• Goal-Oriented Process Mining: A Scalability ExperimentMahdi Ghasemi, Daniel Amyot, William Van Woensel. 304-313 [doi]
• A Domain-Specific Language For Specifying Requirement Patterns for Model-Driven Software DevelopmentDavid Mosquera, Marcela Ruiz, Anastassios Martakos. 314-324 [doi]
• Viability Checking and Requirements Completion: How Constraint Programming Helps State Machines in Performance Requirements EngineeringGefei Zhang. 325-330 [doi]
• Supporting Pragmatic Interoperability: An LLM Based Process to Analyze Distributed Intentionality (i*) ModelsRoberto de Cerqueira Figueiredo, Julio César Sampaio do Prado Leite, Célia Ghedini Ralha, Rita Suzana Pitangueira Maciel, Daniela Barreiro Claro. 331-339 [doi]
• The Preface Intersection of Requirements Engineering and Web3 SystemsItzhak Aviv, Alfred Taudesh, Davor Svetinovic, Seok-Won Lee. 340-343 [doi]
• A Requirements Analysis for a Decentralized Mathematics Prediction MarketQuentin Botha, Laurent Bindschaedler, Christoph Siebenbrunner. 344-352 [doi]
• Challenges of Digitizing Reality into a Connected Metaverse - the Complexity of Data Requirements of Distributed Digital TwinsEthan Hadar. 353-358 [doi]
• Account Abstraction for Enforcing Blockchain-Based AI Agent Non-Functional RequirementsJan Gorzny, Fatemeh Heidari Soureshjani, Martin Derka. 359-364 [doi]
• Designing a Requirements-Driven Tokenomic Mechanism for Advanced Air Mobility Systems: A Simulation-Based EvaluationBastien Rigault, Alexander Neulinger, Lukas Sparer, Alfred Taudes, Helmut Prendinger. 365-374 [doi]
• Requirements Engineering for Integrating Quantum Key Distribution with Blockchain SystemsOfir Joseph, Eran Dahan, Itzhak Aviv, Irit Hadar, Eli Bordo, Dror Pezo. 375-382 [doi]
• Shaping Decentralized Collaboration in DAOs with a Requirements Engineering FrameworkEran Dahan. 383-394 [doi]
• A Computational Decision Support Workflow for Requirement Engineering in DAOsQuentin Botha, Laurent Bindschaedler, Christoph Siebenbrunner. 395-401 [doi]
• Requirements Engineering for Accountable and Conscious Human-centered AI: PrefaceIrit Hadar, Boris Kantsepolsky, Eran Sadovski, Sofia Sherman. 402-404 [doi]
• Towards Systematic Specification and Verification of Fairness Requirements: A Position PaperQusai Ramadan, Jukka Ruohonen, Abhishek Tiwari, Adam Alami, Zeyd Boukhers. 405-411 [doi]
• Legal Requirements Compliance using NLP and Knowledge GraphsPaolo Falcarin, Purbasha Chowdhury, Ettore Carbone, Teresa Scantamburlo, Rocco Tripodi, Sebastiano Vascon. 412-418 [doi]
• Engineering Accountable AI: A Role-Based Lifecycle ApproachEthan Hadar. 419-424 [doi]
• Incorporating FATES Principles in Continuous Development of ML-Integrated Systems: Importance of RequirementsJean-Michel Bruel, T. Gouaichault, Olivier Teste, Mireille Blay-Fornarino, Nathan Lacroix, Frédéric Precioso, Sébastien Mosser 0001. 425-431 [doi]
• Explainability Needs in Agriculture: Exploring Dairy Farmers' User PersonasMengisti Berihu Girmay, Jakob Droste, Hannah Deters, Joerg Doerr. 432-438 [doi]
• Eliciting and Modelling Human Values for Human-centric Artificial Intelligence Systems with Motivational Goal ModelsKuldar Taveter, Mohamad Gharib. 439-441 [doi]
• Aligning AI Systems with Human ValuesMarc Herrmann, Michael Mircea, Kurt Schneider. 442-444 [doi]
• Responsible use of AI in Software Solutions for Neurodiverse and Elderly Communities in the Nordic CountriesKrzysztof Wnuk, Damian Kedziora, Grischa Liebel, Anh Nguyen Duc 0001. 445-447 [doi]
• Design Requirements for Responsible AI Tools in Education: Empirical Study on ChatGPT and Creative ThinkingMoshe Leiba. 448-452 [doi]
• Welcome to RETRAI 2025 from the ChairsLina Marsso, Isobel Standen, Walid Maalej. 453 [doi]
• Navigating the Human-oversight Dilemma in AI-based SystemsEran Sadovski, Itzhak Aviv, Irit Hadar. 454-461 [doi]
• Educational Requirements for Trustworthy Recommender SystemsAlexandru Mateescu. 462-467 [doi]
• Beyond the Checklist: Rethinking Trustworthiness in AI SystemDonatella Donati, Paola Inverardi, Beatrice Melis, Patrizio Pelliccione. 468-474 [doi]
• Extrinsic Safeguarding Mechanism Requirements for Trustworthy Physical AIMatthew Harris, Dewi Madden. 475-483 [doi]
• Safe Experimentation with LLM-Controlled UAVs: An Agile Systems Engineering Approach to Requirements Development for Autonomous SystemsMatthew Harris, Dewi Madden, Kyle Thomas. 484-493 [doi]
• A Critical Look at the EU AI Act's Requirements and Affected Systems - Who Must Explain What?Matthias Wagner 0008, Marie-Therese Wittmann, Markus Borg. 494-503 [doi]
• Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI SystemsSepeedeh Shahbeigi, Nawshin Mannan Proma, Victoria J. Hodge, Richard Hawkins, Boda Li, Valentina Donzella. 504-507 [doi]
• How to Consider AI Technology Systems as a Part of Human Normative SystemsMatthew Whiteley. 508-516 [doi]
• Ethical and Empathetic Requirements for Trustworthy ChatBotsSophia Jit, Nikita Dvornik. 517-523 [doi]
• Muli-Agent LLMs as Ethics Advocates for AI based SystemsAsma Z. Yamani, Malak Baslyman, Moataz Ahmed. 524-532 [doi]
• Towards a Framework for Operationalizing the Specification of Trustworthy AI RequirementsHugo Villamizar, Daniel Méndez 0001, Marcos Kalinowski. 533-537 [doi]
• Towards Trustworthy Sentiment Analysis in Software Engineering: Dataset Characteristics and Tool SelectionMartin Obaidi, Marc Herrmann, Kurt Schneider, Jil Klünder. 538-547 [doi]
• Prompt Engineering for Requirements Engineering: A Literature Review and RoadmapKaicheng Huang, Fanyu Wang, Yutan Huang, Chetan Arora 0002. 548-557 [doi]
• On the Role of Transparency in Building Inclusive and Trustworthy AI SystemsDidar Zowghi. 558-559 [doi]
• Welcome to the Sixth International Workshop on Requirements Engineering for Well-Being, Aging, and HealthLysanne Lessard, Meira Levy, Samuel Fricker, Sofia Ouhbi. 560-561 [doi]
• Lessons Learned from a Facilitated Usability Study: Using Older Adults' Needs and Challenges to Inform Requirements ValidationLuis Garnica Chavira, Oscar A. Mondragon Campos, Yair Cabrera Menendez, Natalia Villanueva-Rosales, Jeffrey Escamilla. 562-571 [doi]
• A Requirements Approach for Ecological Health Agentic AI: The Case of Digital Mentor for Occupational TherapistsEthan Hadar, Irit Hadar, Meira Levy, Sharon Zlotnik. 572-577 [doi]
• Towards Personalised Digital Support: Clinician Perspectives on Patient Recruitment and Retention in Decentralised Clinical TrialsMaryam R. Yeganeh, Samuel A. Fricker. 578-587 [doi]
• Cases and Lessons in Prompting Artificial Intelligence for Social WorkSamuel Fricker, Lauri Goldkind, Stefan Hackstein, Joshua Weber. 588-597 [doi]
• Iterative Development of a Semi-Structured Interview Guide to Explore Clinicians' Experiences with Connected Mental HealthShweta Premanandan, Sofia Ouhbi, Magdalena Stadin, Charlotte Blease, Åsa Cajander, Maria Hägglund. 598-604 [doi]
• Designing Age-Friendly Apps: Mining Functional, Usability, and Privacy Requirements from Existing Mobile ApplicationsNancy Manasreh, Paola Spoletini, Maria Valero, Valentina Nino, Israel Sanchez-Cardona. 605-611 [doi]