Changjian Zhang

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 15

Top Topics

Feature Interactions

Incremental Algorithms

Software Systems

Top Venues

ESEC/SIGSOFT FSE

Publications

Changjian Zhang, Parv Kapoor, Eunsuk Kang, Romulo Meira-Goes, David Garlan, Akila Ganlath, Shatadal Mishra, Nejib Ammar
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. CoRR (2024)
Changjian Zhang, Parv Kapoor, Romulo Meira Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. CoRR (2023)
Ziyang Liu, Jie He, Changjian Zhang, Xintong Yan, Chenwei Wang, Boshuai Qiao
Vehicle trajectory extraction at the exit areas of urban freeways based on a novel composite algorithms framework. J. Intell. Transp. Syst. 27 (3) (2023)
Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
Fortis: A Tool for Analysis and Repair of Robust Software Systems. FMCAD (2023)
Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. SEAMS (2023)
Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. CoRR (2023)
Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang
Robustification of Behavioral Designs against Environmental Deviations. ICSE (2023)
Xintong Yan, Jie He, Guanhe Wu, Changjian Zhang, Chenwei Wang
A Proactive Recognition System for Detecting Commercial Vehicle Driver's Distracted Behavior. Sensors 22 (6) (2022)
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco M. Manquinho, Ruben Martins, Eunsuk Kang
AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE (2021)
Changjian Zhang, Deyu Qi, Wenlin Li, Wenhao Huang, Xinyang Wang
SimpleSync: A parallel delta synchronization method based on Flink. Concurr. Comput. Pract. Exp. 33 (20) (2021)
Changjian Zhang, Deyu Qi, Wenhao Huang
Shadow Data: A Method to Optimize Incremental Synchronization in Data Center. NPC (2020)
Changjian Zhang, Deyu Qi, Wenlin Li, Jing Guo
Function of Content Defined Chunking Algorithms in Incremental Synchronization. IEEE Access 8 (2020)
Changjian Zhang, David Garlan, Eunsuk Kang
A behavioral notion of robustness for software systems. ESEC/SIGSOFT FSE (2020)
Changjian Zhang, Deyu Qi, Zhe Cai, Wenhao Huang, Xinyang Wang, Wenlin Li, Jing Guo
MII: A Novel Content Defined Chunking Algorithm for Finding Incremental Data in Data Synchronization. IEEE Access 7 (2019)
Ting Zhang, Puwen Tan, Liqiang Wang, Nana Jin, Yana Li, Lin Zhang, Huan Yang, Zhenyu Hu, Lining Zhang, Chunyu Hu, Chunhua Li, Kun Qian, Changjian Zhang, Yan Huang, Kongning Li, Hao Lin, Dong Wang
RNALocate: a resource for RNA subcellular localizations. Nucleic Acids Res. 45 (Database-Issue) (2017)
Lei Wang, Weiqiang Wu, Qinyu Zhang, Changjian Zhang
Pre-synchronization of AVS audio-video based on Real-Time Transport Protocol. WCSP (2012)