REFSQ 2026
Mon 23 - Thu 26 March 2026 Poznań, Poland
REFSQ 2026 (series) / Poznan University of Technology, Lecture Center /

Room information: CW X

VenuePoznan University of Technology, Lecture Center
Room nameCW X
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 24 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
LLMs use in REResearch Track at CW X
14:00
30m
Scientific evaluation
Opportunities and Limitations of GenAI in RE: Viewpoints from PracticeScientific Evaluation Paper
Research Track
Anne Hess Technical University of Applied Sciences Würzburg-Schweinfurt, Andreas Vogelsang paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen, Xavier Franch Universitat Politècnica de Catalunya, Andrea Herrmann Herrmann & Ehrlich, Sylwia Kopczyńska Poznan University of Technology, Alexander Rachmann Hochschule Niederrhein
14:30
30m
Scientific evaluation
A Comparative Study of Large and Small Language Models for Conceptual Model ExtractionScientific Evaluation Paper
Research Track
Cheng Yi Chou , Fatma Başak Aydemir Utrecht University, Fabiano Dalpiaz Utrecht University
15:00
30m
Scientific evaluation
From Online User Feedback to Requirements: Evaluating Large Language Models for Classification and Specification TasksScientific Evaluation Paper
Research Track
Manjeshwar Mallaya , Alessio Ferrari CNR-ISTI, Mohammad Amin Zadenoori ISTI-CNR, Jacek Dąbrowski Lero - the Science Foundation Ireland Research Centre for Software
Pre-print

Thu 26 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:20
Formal MethodsResearch Track at CW X
11:00
26m
Technical design
Provably Relevant HAL Interface Requirements for Embedded SystemsTechnical Design Paper
Research Track
Manuel Bentele University of Freiburg, Andreas Podelski University of Freiburg, Axel Sikora , Bernd Westphal German Aerospace Center (DLR)
11:26
26m
Technical design
A practical and complete method for detecting rt-inconsistencies in real-time requirementsTechnical Design Paper
Research Track
Nico Hauff University of Freiburg, Elisabeth Henkel University Freiburg, Elisabeth Fünfgeld , Vincent Langenfeld University of Freiburg, Andreas Podelski University of Freiburg
11:53
26m
Research preview
Automata-Represented Requirements in HanforPLResearch Preview Paper
Research Track
Tobias Kolzer Albert-Ludwigs-Universitaet Freiburg, Vincent Langenfeld University of Freiburg, Nico Hauff University of Freiburg, Elisabeth Henkel University Freiburg, Andreas Podelski University of Freiburg
14:00 - 15:30
Software DevelopmentResearch Track at CW X
14:00
30m
Technical design
A Context-Aware Multi-Agent Approach to Enhancing User Story Management in Agile Software DevelopmentTechnical Design Paper
Research Track
Hoang Khoa Nguyen , Malik Sami Tampere University, Zheying Zhang Tampere University, Pekka Abrahamsson Tampere University
14:30
30m
Scientific evaluation
Security under Pressure: How Agile Teams Experience and Manage Security RequirementsScientific Evaluation Paper
Research Track
Dahlia Thaewjaturat , Oksana Kulyk IT University of Copenhagen, Denmark, Elda Paja IT University of Copenhagen
15:00
30m
Scientific evaluation
Understanding Usefulness in Developer Explanations on Stack OverflowScientific Evaluation Paper
Research Track
Martin Obaidi Leibniz Universität Hannover, Kushtrim Qengaj , Hannah Deters Leibniz University Hannover, Jakob Droste Leibniz Universität Hannover, Marc Herrmann Leibniz University Hannover, Kurt Schneider Leibniz Universität Hannover, Software Engineering Group, Jil Klünder University of Applied Sciences | FHDW Hannover

Tue 24 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:0030
CW X

Research Track

LLMs use in RE

Thu 26 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:003012:003013:003014:003015:0030
CW X

Research Track

Formal Methods

Research Track

Software Development

Tue 24 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:0015304515:00153045
CW X
REFSQ Research TrackScientific Evaluation Paper
Opportunities and Limitations of GenAI in RE: Viewpoints from Practice
14:00 - 14:30
REFSQ Research TrackScientific Evaluation Paper
A Comparative Study of Large and Small Language Models for Conceptual M ...
14:30 - 15:00
REFSQ Research TrackScientific Evaluation Paper
From Online User Feedback to Requirements: Evaluating Large Language Mo ...
15:00 - 15:30

Thu 26 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
CW X
REFSQ Research TrackTechnical Design Paper
Provably Relevant HAL Interface Requirements for Embedded Systems
11:00 - 11:26
REFSQ Research TrackTechnical Design Paper
A practical and complete method for detecting rt-inconsistencies in rea ...
11:26 - 11:53
REFSQ Research TrackResearch Preview Paper
Automata-Represented Requirements in HanforPL
11:53 - 12:20
REFSQ Research TrackTechnical Design Paper
A Context-Aware Multi-Agent Approach to Enhancing User Story Management ...
14:00 - 14:30
REFSQ Research TrackScientific Evaluation Paper
Security under Pressure: How Agile Teams Experience and Manage Security ...
14:30 - 15:00
REFSQ Research TrackScientific Evaluation Paper
Understanding Usefulness in Developer Explanations on Stack Overflow
15:00 - 15:30