Specifying and Model Checking Workflows of Single Page Applications with TLA+. - Gefei Zhang 001 (QRS Companion, 2020)

Model-Driven Development of Single Page Applications. - Alexander Müller-Lobeck; Gefei Zhang 001 (ICWE, 2024)

PACGBI: A Pipeline for Automated Code Generation from Backlog Items. - Mahja Sarschar; Gefei Zhang 001; Annika Nowak (ASE, 2024)

Model-Driven Development of Single-Page Applications Using UML State Machines and Maude. - Alexander Müller-Lobeck; Gefei Zhang 001 (QRS, 2024)

Viability Checking and Requirements Completion: How Constraint Programming Helps State Machines in Performance Requirements Engineering. - Gefei Zhang 001 (REW, 2025)

PACGBI: A CI/CD Pipeline for LLM-assisted Code Generation of Web Front End. - Mahja Sarschar; Gefei Zhang 001; Annika Nowak (WSSE, 2025)