Two papers from our group have been accepted at the International Workshop on Requirements Engineering and Web3 Systems (RE4Web3 2025), co-located with RE 2025 in Valencia, Spain (September 1-5, 2025).
Paper 1: Decision Support for DAOs
"A Computational Decision Support Workflow for Requirement Engineering in DAOs" addresses the unique challenges that Decentralized Autonomous Organizations face in requirements engineering. We propose a novel workflow leveraging Computational Decision Support Systems to structure governance into explicit, iterative phases.
Paper 2: Mathematics Prediction Markets
"A Requirements Analysis for a Decentralized Mathematics Prediction Market" demonstrates how to apply requirements-driven design to build prediction markets for mathematical conjectures. Traditional RE methods fail to address the governance, incentive, and security challenges of Web3 systems — our work proposes concrete enhancements to existing frameworks.
Contributions
These papers deliver actionable guidelines for engineering secure, incentive-aligned decentralized platforms, setting a new standard for early-stage RE in the Web3 era.
This is joint work in collaboration with WU Vienna: Quentin Botha (WU Vienna) and Christoph Siebenbrunner (WU Vienna).