Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Changjian Zhang
conf.researchr.org general profile
ESEC/FSE 2020 profile
ESEC/FSE 2021 profile
ESEC/FSE 2022 profile
ICSE 2023 profile
ICSE 2025 profile
Registered user since Fri 12 Jun 2020
Name:
Changjian Zhang
Contributions
2025
ICSE
Author of Constrained LTL Specification Learning from Examples within the Research Track-track
2023
ICSE
Author of Robustification of Behavioral Designs against Environmental Deviations within the Technical Track-track
International Conference on Software Engineering for Adaptive and Self-Managing Systems
Author of Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening within the Research Track-track
2022
ESEC/FSE
Author of A Behavioral Notion of Robustness for Software Systems within the ESEC/FSE 2020-track
Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the ESEC/FSE 2021-track
2021
ESEC/FSE
Author of AlloyMax: Bringing Maximum Satisfaction to Relational Specifications within the Research Papers-track
2020
ESEC/FSE
Author of A Behavioral Notion of Robustness for Software Systems within the Research Papers-track
Panelist of Conversations on Analysis 1 within the Research Papers-track
Share
x
Wed 18 Jun 21:40
