Research Interests
- Web and mobile applications
- Software quality / Software verification
- Functional programming
- Software modeling with UML
Recent Publications
- Lisa Kuhlmann, Milad Niknejad, Catarina Barata, Alexandre Bernardino, and Gefei Zhang.
An Adversarial Method for Semi-supervised Segmentation of Smoke and
Fire in Images. Proc. Wshs. Int. Conf. Pattern Recognition (ICPR'22).
Springer-Verlag, 2022. To appear.
- Anton Karakochev and Gefei Zhang. Static Analysis of Large-Scale JavaScript Front End. In Proc. Int. Conf. Web Engineering (ICWE’21), volume
12706 of Lect. Notes Comp. Sci., pages 483–489. Springer-Verlag, Springer-Verlag, 2021.
- Gefei Zhang. Specifying and Model Checking Workflows of Single Page Applications with TLA+. In IEEE 20th Int. Conf. Software Quality, Reliability and Security Companion (QRS-C), pages 406–410. 2020.
- Gefei Zhang. Editorial. Machine Learning: Research and Teaching. Berlin Journal of Data Science, 1(1):1–1, 2020.
- Christian Herta, Benjamin Voigt, Patrick Baumann, Klaus Strohmenger, Christoph Jansen, Oliver Fischer, Gefei Zhang, and Peter Hufnagel. deep.Teaching: Materials for Teaching Machine and Deep Learning. In Josep Domenech, Paloma Merello, Elena de la Poza, Desamparados Blazquez, and Raúl Pena-Ortiz, editors, Proc. 5th Int. Conf. Higher Education Advances (HEAD’19), pages 1153–1161. Editorial Universitat Politècnica de València, 2019.
- Gefei Zhang and Jianjun Zhao. Scenario Testing of AngularJS-based Single Page Web Applications. In Marco Brambilla, Cinzia Cappiello, and Siew Hock Ow, editors, Proc. Wshs. at ICWE’19, volume 11609 of Lect. Notes Comp. Sci., pages 91–103. Springer-Verlag, 2020.
- Gefei Zhang and Jianjun Zhao. Visualizing Interactions of AngularJS-based Single Page Web Applications. In Proc. 30th Int. Conf. Software Engineering & Knowledge Engineering (SEKE’18), pages 403–408. KSI Research Inc., 2018.
- Carsten Busch, Jürgen Sieck, and Gefei Zhang, editors. Lehre, Forschung & Ethik— Festschrift zum 60. Geburtstag von Prof. Dr. Debora Weber-Wulff, 2017. In German.
- Gefei Zhang. On Using Colors in UML Models. In Proc. 5th Int. Conf. Model-Driven Engineering and Software Development (MODELSWARD'17). 509–514. 2017.
Other Publications