We stand with Ukraine  

Gefei Zhang

Orcid: 0009-0005-8194-690X

Affiliations:
  • XLudwig-Maximilians-Universität München, Munich, Germany


According to our database1, Gefei Zhang authored at least 6 papers between 2020 and 2025.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
PACGBI: A CI/CD Pipeline for LLM-assisted Code Generation of Web Front End.
[BibTeX]
[DOI]
Mahja Sarschar
,
Gefei Zhang
,
Annika Nowak
Proceedings of the 2025 7th World Symposium on Software Engineering, 2025

Viability Checking and Requirements Completion: How Constraint Programming Helps State Machines in Performance Requirements Engineering.
[BibTeX]
[DOI]
Gefei Zhang
Proceedings of the 33rd IEEE International Requirements Engineering Conference, 2025

2024
Model-Driven Development of Single-Page Applications Using UML State Machines and Maude.
[BibTeX]
[DOI]
Alexander Müller-Lobeck
,
Gefei Zhang
Proceedings of the 24th IEEE International Conference on Software Quality, 2024

PACGBI: A Pipeline for Automated Code Generation from Backlog Items.
[BibTeX]
[DOI]
Mahja Sarschar
,
Gefei Zhang
,
Annika Nowak
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Model-Driven Development of Single Page Applications.
[BibTeX]
[DOI]
Alexander Müller-Lobeck
,
Gefei Zhang
Proceedings of the Web Engineering - 24th International Conference, 2024

2020
Specifying and Model Checking Workflows of Single Page Applications with TLA<sup>+</sup>.
[BibTeX]
[DOI]
Gefei Zhang
Proceedings of the 20th IEEE International Conference on Software Quality, 2020


  Loading...