Research PapersRequirements Engineering 2024
RE’24 welcomes original research papers focusing on traditional areas of requirements engineering, as well as new ideas which challenge the boundaries of the area.
Best papers will get the opportunity to be published in a special issue journal.
Accepted Papers
Wed 26 JunDisplayed time zone: (UTC) Coordinated Universal Time change
10:15 - 10:45 | |||
10:15 30mCoffee break | Coffee Break Catering |
10:45 - 12:15 | ClassificationsResearch Papers / Industrial Innovation Papers at M101 Chair(s): Sallam Abualhaija University of Luxembourg | ||
10:45 30mPaper | Multi-Label Requirements Classification with Large Taxonomies Industrial Innovation Papers Waleed Abdeen Blekinge Institute of Technology, Michael Unterkalmsteiner Blekinge Institute of Technology, Krzysztof Wnuk Blekinge Institute of Technology | ||
11:15 30mPaper | Lessons from the Use of Natural Language Inference (NLI) in Requirement Engineering Tasks Research Papers Mohamad Fazelnia University of Hawaii at Manoa, Viktoria Koscinski Rochester Institute of Technology, Spencer Herzog , Mehdi Mirakhorli Rochester Institute of Technology Pre-print | ||
11:45 30mPaper | Classifying Ambiguous Requirements: An Explainable Approach in Railway Industry (Presentation Only) Industrial Innovation Papers |
10:45 - 12:15 | Cyber-Physical SystemsIndustrial Innovation Papers / RE@Next! Papers / Research Papers at M104 Chair(s): Jane Cleland-Huang University of Notre Dame | ||
10:45 30mPaper | Engineering Safety Requirements for Autonomous Driving with Large Language Models Industrial Innovation Papers Ali Nouri Volvo cars & Chalmers University of Technology, Beatriz Cabrero-Daniel University of Gothenburg, Fredrik Torner Volvo cars, Hakan Sivencrona Zenseact AB, Christian Berger Chalmers University of Technology, Sweden | ||
11:15 30mPaper | Requirements Strategy for Managing Human Factors in Agile Automated Vehicle Development Research Papers Amna Pir Muhammad Chalmers | University of Gothenburg, Alessia Knauss Veoneer Research, Sweden, Eric Knauss Chalmers | University of Gothenburg, Jonas Bärgman Chalmers University of Technology | ||
11:45 30mPaper | Digital Process Twins for Interleaving Requirements Elicitation and Design of Cyber-Physical Systems RE@Next! Papers |
10:45 - 12:15 | VerificationIndustrial Innovation Papers / Research Papers at V101 Chair(s): Farnaz Fotrousi Chalmers and Gothenburg University | ||
10:45 30mPaper | Scalable Redundancy Detection for Real-Time Requirements Research Papers Elisabeth Henkel University Freiburg, Nico Hauff University Freiburg, Lena Funk , Vincent Langenfeld University of Freiburg, Andreas Podelski University of Freiburg | ||
11:15 30mPaper | Requirements Satisfiability with In-Context Learning Research Papers Sarah Santos , Travis Breaux Carnegie Mellon University, Tom Norton , Sara Haghighi , Sepideh Ghanavati University of Maine Pre-print | ||
11:45 30mPaper | Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report Industrial Innovation Papers Gustav Ung , Jesper Amilon KTH Royal Institute of Technology, Dilian Gurov KTH Royal Institute of Technology, Christian Lidström KTH Royal Institute of Technology, Mattias Nyberg , Karl Palmskog KTH Royal Institute of Technology |
12:15 - 13:45 | |||
12:15 90mSocial Event | First Timer's Lunch Catering Alicia M. Grubb Smith College |
13:45 - 15:15 | ExplainabilityResearch Papers / RE@Next! Papers / Industrial Innovation Papers at M101 Chair(s): Krzysztof Wnuk Blekinge Institute of Technology | ||
13:45 30mPaper | Explainability Requirements for Time Series Forecasts: A Study in the Energy Domain Industrial Innovation Papers Jakob Droste Leibniz Universität Hannover, Ronja Fuchs Kraftwerk Kraft-Wärme-Kopplung GmbH, Hannah Deters Leibniz University Hannover, Jil Klünder Leibniz Universität Hannover, Kurt Schneider Leibniz Universität Hannover, Software Engineering Group | ||
14:15 30mPaper | Explainability as a Requirement for Hardware: Introducing Explainable Hardware (XHW) RE@Next! Papers Timo Speith University of Bayreuth, Julian Speith Max Planck Institute for Security and Privacy (MPI-SP), Steffen Becker , Yixin Zou , Asia Biega , Christof Paar Link to publication DOI Pre-print | ||
14:45 30mPaper | Explanations in Everyday Software Systems: Towards a Taxonomy for Explainability Needs Research Papers Jakob Droste Leibniz Universität Hannover, Hannah Deters Leibniz University Hannover, Martin Obaidi Leibniz Universität Hannover, Kurt Schneider Leibniz Universität Hannover, Software Engineering Group Pre-print |
13:45 - 15:15 | ModellingResearch Papers / Journal-First / Industrial Innovation Papers at V101 Chair(s): Jennifer Horkoff Chalmers and the University of Gothenburg | ||
13:45 30mPaper | Non-Functional Requirements Discovery and Quality Assurance using Goal Model for Earthquake Warning System in Operation Industrial Innovation Papers | ||
14:15 30mPaper | Including Business Strategy in Model-Driven Methods: An Experiment Journal-First Rene Noel Escuela de Ingenieria Civil Informatica, Universidad de Valparaiso, Jose Ignacio Panach Navarrete Universitat de València, Oscar Pastor Universitat Politecnica de Valencia | ||
14:45 30mPaper | Utilizing Process Models in the Requirements Engineering Process Through Model2Text Transformation Research Papers |
15:15 - 15:45 | |||
15:15 30mCoffee break | Coffee Break Catering |
15:45 - 17:45 | Education and CareerJournal-First / RE@Next! Papers at M104 Chair(s): Colin C. Venter University of Huddersfield | ||
15:45 30mPaper | Exploring the REIT Architecture for Requirements Elicitation Interview Training with Robotic and Virtual Tutors Journal-First Link to publication File Attached | ||
16:15 30mPaper | GPT-Powered Elicitation Interview Script Generator for Requirements Engineering Training RE@Next! Papers Pre-print File Attached | ||
16:45 30mPaper | SwissREview: Mapping the Requirements Engineering Job Landscape RE@Next! Papers Anthea Moravánszky University of Szeged, Hungary; University of Applied Sciences of the Grisons, Switzerland File Attached |
15:45 - 17:45 | User-feedbackResearch Papers / RE@Next! Papers at V101 Chair(s): Oliver Karras TIB - Leibniz Information Centre for Science and Technology | ||
15:45 30mPaper | GlobalTagNet: A Graph-Based Framework for Multi-Label Classification in GitHub Issues Research Papers | ||
16:15 30mPaper | From Posts to Reqs and Back: Investigating Instagram's Potential in Supporting Requirements Engineers. An Empirical Study RE@Next! Papers Pre-print | ||
16:45 30mPaper | Towards Crowd-Based Requirements Engineering for Digital Farming (CrowdRE4DF) RE@Next! Papers Eduard C. Groen Fraunhofer IESE, Kazi Rezoanur Rahman , Nikita Narsinghani , Joerg Doerr Fraunhofer IESE Pre-print Media Attached File Attached |
15:45 - 17:45 | Responsible RequirementsRE@Next! Papers / Research Papers at V201 Chair(s): Jacek Dąbrowski Lero - the Science Foundation Ireland Research Centre for Software | ||
15:45 30mPaper | A Vision to Enhance Trust Requirements for Peer Support Systems by Revisiting Trust Theories RE@Next! Papers File Attached | ||
16:15 30mPaper | Uncovering Patterns of Users' Ethical Concerns about Software RE@Next! Papers Özge Karaçam Vrije Universiteit Amsterdam, Tom P Humbert Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam Pre-print | ||
16:45 30mPaper | How do practitioners reason about security requirements? An interview study Research Papers Pre-print |
Thu 27 JunDisplayed time zone: (UTC) Coordinated Universal Time change
10:15 - 10:45 | |||
10:15 30mCoffee break | Coffee Break Catering |
10:45 - 12:15 | SpecificationResearch Papers / RE@Next! Papers at M104 Chair(s): Kurt Schneider Leibniz Universität Hannover, Software Engineering Group | ||
10:45 30mPaper | Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements Research Papers Tom Yaacov Ben-Gurion University of the Negev, Achiya Elyasaf Ben-Gurion University of the Negev, Gera Weiss Ben-Gurion University of the Negev Pre-print | ||
11:15 30mPaper | ReqCompletion: Domain-Enhanced Automatic Completion for Software Requirements Research Papers Xiaoli Lian Beihang University, China, Jieping Ma Beihang University, Heyang Lv , Li Zhang Beihang University | ||
11:45 30mPaper | Using LLMs in Software Requirements Specifications: An Empirical Evaluation RE@Next! Papers Madhava Krishna , Bhagesh Gaur Indraprastha Institute of Information Technology, Delhi, Arsh Varma , Pankaj Jalote Pre-print |
10:45 - 12:15 | Requirements QualityRE@Next! Papers / Journal-First at V101 Chair(s): Martin Glinz University of Zurich | ||
10:45 30mPaper | Requirements quality research: a harmonized theory, evaluation, and roadmap Journal-First Julian Frattini Blekinge Institute of Technology, Lloyd Montgomery University of Hamburg, Germany, Jannik Fischbach Netlight GmbH / fortiss GmbH, Daniel Mendez Blekinge Institute of Technology and fortiss, Davide Fucci Blekinge Institute of Technology, Michael Unterkalmsteiner Blekinge Institute of Technology Link to publication DOI Media Attached | ||
11:15 30mPaper | Leveraging LLMs for the Quality Assurance of Software Requirements RE@Next! Papers Sebastian Lubos Graz University of Technology, Alexander Felfernig Graz University of Technology, Trang Tran Graz University of Technology, Damian Garber , Merfat El Mansi , Seda Polat Erdeniz , Viet-Man Le Graz University of Technology File Attached | ||
11:45 30mPaper | Measuring the Fitness-for-Purpose of Requirements: An initial Model of Activities and Attributes RE@Next! Papers Julian Frattini Blekinge Institute of Technology, Jannik Fischbach Netlight GmbH / fortiss GmbH, Davide Fucci Blekinge Institute of Technology, Michael Unterkalmsteiner Blekinge Institute of Technology, Daniel Mendez Blekinge Institute of Technology and fortiss Pre-print Media Attached |
10:45 - 12:15 | Testing and Code GenerationRE@Next! Papers / Industrial Innovation Papers at V201 Chair(s): Mehrdad Sabetzadeh University of Ottawa | ||
10:45 30mPaper | Generating Test Scenarios from NL Requirements via LLMs: An Industrial Study Industrial Innovation Papers | ||
11:15 30mPaper | Coupled Requirements-driven Testing of CPS: From Simulation To Reality RE@Next! Papers Ankit Agrawal Saint Louis University, Missouri, Philipp Zech , Michael Vierhauser University of Innsbruck Pre-print | ||
11:45 30mPaper | Requirements are All You Need: From Requirements to Code with LLMs RE@Next! Papers Bingyang Wei Texas Christian University Pre-print |
13:45 - 15:15 | Evaluation and Research visionRE@Next! Papers / Journal-First at M104 Chair(s): Alicia M. Grubb Smith College | ||
13:45 30mPaper | Evaluating classifiers in SE research: the ECSER pipeline and two replication studies Journal-First Davide Dell'Anna Utrecht University, Fatma Başak Aydemir Utrecht University, Fabiano Dalpiaz Utrecht University | ||
14:15 30mPaper | Requirements Engineering for Research Software: A Vision RE@Next! Papers Pre-print | ||
14:45 30mPaper | Not all requirements prioritization criteria are equal at all times: A quantitative analysis Journal-First Richard Berntsson Svensson Chalmers | University of Gothenburg, Richard Torkar Chalmers and the University of Gothenburg |
13:45 - 15:15 | User-centered REResearch Papers / RE@Next! Papers at V101 Chair(s): Meira Levy Shenkar College of Engineering, Design, Art | ||
13:45 30mPaper | Lessons Learned from Persona Usage in Requirements Engineering Practice Research Papers Devi Karolita University of Palangka Raya, John Grundy Monash University, Tanjila Kanij Monash University, Jennifer McIntosh Monash University, Humphrey Obie Monash University | ||
14:15 30mResearch preview | Comic-Based Morphological Box: Enhancing Vision Design – A Research Preview RE@Next! Papers Nedo Alexander Bartels Fraunhofer IESE, Bilgin Gültekin , Simon Andre Scherr Fraunhofer IESE, Stefanie Ludborzs , Sven Storck Fraunhofer IESE, Annika Zepp Pre-print File Attached | ||
14:45 30mPaper | Paving the Way Towards an Effective Vision Video Usage: An Exploratory Study RE@Next! Papers Lukas Nagel Leibniz University Hannover, Jakob Droste Leibniz Universität Hannover, Anne Hess Technical University of Applied Sciences Würzburg-Schweinfurt / Fraunhofer IESE, Kurt Schneider Leibniz Universität Hannover, Software Engineering Group |
15:15 - 15:45 | |||
15:15 30mCoffee break | Coffee Break Catering |
Fri 28 JunDisplayed time zone: (UTC) Coordinated Universal Time change
10:15 - 10:45 | |||
10:15 30mCoffee break | Coffee Break Catering |
10:45 - 12:15 | |||
10:45 30mPaper | AI-enabled Regulatory Change Analysis of Legal Requirements Research Papers Sallam Abualhaija University of Luxembourg, Marcello Ceci University of Luxembourg, Nicolas Sannier University of Luxembourg, SnT, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Dirk Zetzsche University of Luxembourg, Marco Bodellini University of Luxembourg Pre-print | ||
11:15 30mPaper | Defining a Model for Content Requirements from the Law: an Experience Report Research Papers Marcello Ceci University of Luxembourg, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
11:45 30mPaper | Rethinking Legal Compliance Automation: Opportunities with Large Language Models RE@Next! Papers Shabnam Hassani University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Daniel Amyot University of Ottawa, Jian Liao Pre-print |
10:45 - 12:15 | TraceabilityResearch Papers / RE@Next! Papers / Industrial Innovation Papers at V201 Chair(s): Fatma Başak Aydemir Utrecht University | ||
10:45 30mPaper | Requirements Classification for Traceability Link Recovery Research Papers Tobias Hey Karlsruhe Institute of Technology (KIT), Sophie Corallo Karlsruhe Institute of Technology (KIT), Jan Keim Karlsruhe Institute of Technology (KIT) Pre-print | ||
11:15 30mPaper | Enhancing Traceability Graphs using Machine Learning: Real time use-cases and lessons learnt from ‘impakt’ research project (Presentation Only) Industrial Innovation Papers | ||
11:45 30mPaper | Code Gradients: Automated Traceability of LLM-Generated Code RE@Next! Papers |
13:45 - 14:45 | Compliance and ContractIndustrial Innovation Papers / Research Papers at V101 Chair(s): Amel Bennaceur The Open University, UK | ||
13:45 30mPaper | Normative Requirements Operationalization with Large Language Models Research Papers Nick Feng University of Toronto, Lina Marsso University of Toronto, Sinem Getir Yaman University of York, UK, Isobel Standen University of York, Yesugen Baatartogtokh University of Massachusetts Amherst, Reem Ayad University of Toronto, Victória Oldemburgo de Mello University of Toronto, Beverley Townsend University of York, Hanne Bartels , Ana Cavalcanti University of York, Radu Calinescu University of York, UK, Marsha Chechik University of Toronto | ||
14:15 30mPaper | Towards Understanding Contracts Grammar: A Large Language Model-based Extractive Question-Answering Approach Industrial Innovation Papers Gokul Rejithkumar TCS Research, Preethu Rose Anish TCS Research, Smita Ghaisas Independent Researcher and Consultant |
13:45 - 14:45 | User StoriesRE@Next! Papers / Research Papers at V201 Chair(s): Jens Bæk Jørgensen Mjølner Informatics | ||
13:45 30mPaper | Deriving Domain Models from User Stories: Human vs. Machines Research Papers Maxim Bragilovski Ben-Gurion University, Ashley van Can Department of Information and Computing Sciences, Utrecht University, Arnon Sturm Ben-Gurion University of the Negev, Fabiano Dalpiaz Utrecht University | ||
14:15 30mPaper | Interlinking User Stories and GUI Prototyping: A Semi-Automatic LLM-based Approach RE@Next! Papers Kristian Kolthoff Institute for Enterprise Systems (InES), University Of Mannheim, Felix Kretzer human-centered systems Lab (h-lab), Karlsruhe Institute of Technology (KIT) , Christian Bartelt , Alexander Maedche , Simone Paolo Ponzetto Data and Web Science Group, University of Mannheim Pre-print |
Call for Papers
Building upon last year’s theme of redefining requirements engineering (RE), this year we invite you to sketch the future of RE and explore uncharted territories.
Embracing the theme Exploring New Horizons: Expanding the Frontiers of Requirements Engineering, we invite submissions that challenge existing perceptions of RE, shed light on its intersections with other software engineering activities, fields, and endeavors, and push beyond its established boundaries.
Suggested Paper Topics
Topics of interest include, but are not limited to:
- Requirements Elicitation, Specification, and Analysis
- Requirements Validation and Verification
- Requirements Change Management
- Traceability and Impact Analysis
- Requirements Quality and Metrics
- Requirements Tooling and Automation
- Software Requirements and Architecture
- Requirements-Driven Quality Assurance
- Formal RE
- RE and Modeling
- Requirements in Software Configuration, Maintenance, and Evolution
- Requirements in Agile Development
- Requirements for DevOps
- RE4AI and AI4RE
- Creativity in RE
- Cognitive, Emotional, and Social Aspects of RE
- Distributed and Collaborative RE
- Community-based RE (e.g., open source, crowdsourcing)
- Responsible RE (e.g., ethics, privacy)
- RE for Green and Sustainable Technologies
- Requirements and Legal/Regulatory Compliance
- Diversity, inclusion, and social concerns in RE
- Domain-specific RE (e.g., RE4IoT, RE4VR, Quantum RE, RE for Blockchain)
- Advanced Technologies for RE (e.g., IoT4RE, VR4RE)
- RE Education and Training
- Prompt-based Engineering
- The Next New Thing… … embrace the challenge and surprise the RE community!
Review Criteria
Each paper submitted to the Research Track will be evaluated based on the following criteria:
Novelty: Novelty of contributed solutions, problem formulations, methodologies, theories, and/or evaluations, that is, the extent to which the paper is sufficiently original with respect to the state-of-the-art.
Rigor: Soundness, clarity, and depth of the research contribution.
Relevance: Significance and/or potential impact of the research to the field of RE.
Verifiability and Transparency: Extent to which the paper includes sufficient information on the methods and/or empirical findings to understand how the contribution was achieved. While not mandatory, including information on how the authors support independent verification or replication of the paper’s claimed contributions is encouraged.
Presentation: Clarity and readability of the paper.
Challenge: “Expanding the Frontiers of RE”
In line with this year’s theme, we invite authors to reflect on how the work sprouting from their contribution can help (re)shape the frontiers of RE. Authors interested in participating in the challenge competition will have the opportunity to add their reflections in a dedicated box in the EasyChair submission page. Challenge Criteria
Novelty to RE: Novelty of the idea to the RE community (regardless of its novelty in other fields).
Potential Impact: Extent to which the contribution may impact future research in and practice of RE.
Feasibility: Extent to which the proposed direction can be realistically implemented and applied to RE.
Formatting Instructions
The format of your paper must strictly adhere to the IEEEtran Proceedings Format. LaTeX users: please use the LaTeX class file IEEEtran v1.8 and the following configuration (without option ‘compsoc’ or ‘compsocconf’): \documentclass[conference]{IEEEtran}
Word users: please use this Word template. See the official IEEE Templates page for more information.
Please make sure that your submission:
- does not exceed the respective page limit specified in the track call
- is in PDF format,
- is in letter page size,
- does not have page numbers,
- has all fonts embedded in the PDF file,
- uses only scalable font types (like Type 1, TrueType) — bit-mapped font types (like Type 3) are not acceptable,
- has all figures embedded in vector graphics (if not possible, use a high-resolution bitmap format of at least 300 dpi; do not use JPG, but a lossless format like PNG or GIF),
- has all text in figures and tables large enough and readable when printed,
- has a caption for every figure or table,
- has the title and all headings properly capitalized
- has no orphans and widows (cf. Section Help), and
- does not use footnote references in the abstract.
Submission Instructions
Papers must be submitted electronically in PDF format via the RE’24 EasyChair system. Select the RE’24 Research Track for your submission.
In order to guide the reviewing process, all authors who intend to submit a paper must first submit the title and abstract. Abstracts should describe explicit coverage of context, objectives, methods, and results and conclusions, and should not exceed 200 words.
Papers must not exceed 10 pages for the main body and up to 2 additional pages for the references. Submissions must be written in English and formatted according to the IEEE formatting instructions. Submissions must be double-blinded in conformance with the instructions below.
Please note: Papers that exceed the length specification, are not formatted correctly, or are not properly double-blinded will be desk-rejected without review. Only full paper submissions will be peer-reviewed. Abstract-only submissions will be discarded without further notice after the submission deadline. Accepted papers may require editing for clarity prior to publication and presentation. They will appear in the IEEE Digital Library.
Instructions for the Double-Blind Review Process
The RE’24 Research track will use a double-blind reviewing process. The goal of double-blind reviewing is to ensure that the reviewers can read and review your paper without having to know who any of the authors are, and hence avoid related bias. Of course, authors are allowed and encouraged to submit papers that build on their previously published work.
In order to prepare your submission for double-blind reviewing, please follow the instructions given below.
- Omit all names and affiliations of authors from the title page, but keep sufficient space to re-introduce them in the final version should the paper be accepted.
- Do not include any acknowledgements that might disclose your identity. Leave space in your submission to add such acknowledgements when the paper has been accepted.
- Refer to your own work in the third person, as you would normally do with the work of others. You should not change the names of your own tools, approaches, or systems, since this would clearly compromise the review process; it would also violate the constraint that “no change is made to any technical details of the work”. Instead, refer to the authorship or provenance of tools, approaches, or systems in the third person, so that it is credible that another author could have written your paper. In particular, never blind references.
- When providing supplementary material (e.g., tools, data repositories, source code, study protocols), do this via a website that does not disclose your identity. Please refer to the Open Science Policy in the Call for Papers with guidelines on how to anonymize such content.
- Adhere to instruction 3 when citing previously published own work.
- Remove identification metadata from the PDF file before submission (in Adobe Acrobat Reader, you can check their presence with File Properties, or Ctrl-D).
Important Policy Announcements
Papers submitted to RE’24 must be original. They will be reviewed under the assumption that they do not contain plagiarized material and have not been published nor submitted for review elsewhere while under consideration for RE’24.
RE’24 follows the IEEE policies for cases of double submission and plagiarism