• Sign in
  • Sign up
conf.researchr.org / Min Zhang
  • APSEC 2022 profile
  • ECOOP and ISSTA 2021 profile
  • ESEC/FSE 2020 profile
  • ETAPS 2019 profile
  • ICSE 2019 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Min Zhang

Registered user since Tue 18 Apr 2017

Name:Min Zhang
Country:China
Affiliation:East China Normal University, China
Personal website:https://faculty.ecnu.edu.cn/s/3041/main.jspy
Research interests:Formal Methods

Contributions

APSEC 2022 Committee Member in Program Committee within the Technical Track-track
ESEC/FSE 2020 Author of Reducing Implicit Gender Biases in Software Development: Does Intergroup Contact Theory Work? within the Research Papers-track
ICGSE 2019 Author of Country Stererotypes, Initial Trust, and Cooperation in Global Software Development Teams within the ICGSE 2019 Research Papers-track
FASE 2019 Author 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 2019 Author of Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude within the TACAS 2019-track
LCTES 2017 Author of Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems within the LCTES 2017-track

Share
xWed 18 May 16:26
using conf.researchr.org (v1.55.6)
Support page
Sign Up