Vorträge / Veranstaltungen von Prof. Dr. Gefei Zhang
-
13010Viability Checking and Requirements Completion: How Constraint Programming Helps State Machines in Performance Requirements Engineering
Int. Wsh. Model Driven Requirements Engineering (MoDRE'25)
Valencia, 02.09.2025
Veranstaltungsbeitrag › Vortrag › 2025 -
10382An Adversarial Method for Semi-supervised Segmentation of Smoke and Fire in Images
Int. Wsh. Image analysis for Forest Environmental Monitoring (FOREST'22)
Montreal, Canada, 21.08.2022
Veranstaltungsbeitrag › Vortrag › 2022 -
11012Specifying and Model Checking Workflows of Single Page Applications with TLA+
2020 IEEE International Workshop on Software Engineering and Knowledge Management (SEKM 2020)
Online, 13.12.2020
Veranstaltungsbeitrag › Vortrag › 2020