I am pleased to announce that 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.
Joint Contributions
Both papers are joint work with Quentin Botha and Christoph Siebenbrunner, exploring the intersection of decentralized systems and requirements engineering.
These papers deliver actionable guidelines for engineering secure, incentive-aligned decentralized platforms, setting a new standard for early-stage RE in the Web3 era.