conf.researchr.org / Min Zhang
Min Zhang

Registered user since Tue 18 Apr 2017

Name: Min Zhang

Country: China

Affiliation: East China Normal University

Personal website: https://faculty.ecnu.edu.cn/s/3041/main.jspy

Research interests: Formal Methods

Contributions

ICGSE 2019Author of Country Stererotypes, Initial Trust, and Cooperation in Global Software Development Teams within the ICGSE 2019 Research Papers-track
FASE 2019Author of SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language within the FASE 2019-track
Author of KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs within the FASE 2019-track
TACAS 2019Author of Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude within the TACAS 2019-track
LCTES 2017Author of Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems within the LCTES 2017-track