Changjian Zhang

26 papers A* 2A 1B 2C 1Journal 15Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Identification of freeway crash hotspots: A novel methodological framework using non-crash data for identification and errors reduction. Eng. Appl. Artif. Intell. Yuntao Ye, Jie He, Changjian Zhang, Xintong Yan, Xiazhi Zhang, Pengcheng Qin, Zhiming Fang
2026	J	`jnl`	Markov chain Monte Carlo-driven exploration and refinement for CGAN-based synthetic image generation for rail surface defect segmentation. Expert Syst. Appl. Shanglian Zhou, Igor Lashkov, Amanda Nitta, Hanyi Yang, Cong Chen, Changjian Zhang, Shuang Sun, Yiwei Wang, Yifan Xu, Zhixia Li, Hao Xu, Yin Yang, Guohui Zhang
2026	J	`jnl`	The role of vehicle kinematic volatilities in expressway crash prediction and analysis: A two-part framework from road features to crashes. Reliab. Eng. Syst. Saf. Pengcheng Qin, Haoze Chen, Zhiming Fang, Jie He, Xintong Yan, Changjian Zhang
2025	—	`—`	Behavioral Robustness of Software System Designs Changjian Zhang
2025	A*	`conf`	Constrained LTL Specification Learning from Examples. ICSE Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2025	B	`conf`	Resilience of Systems Under Maximum Component Deviations. SEFM Abigail Hammer, Changjian Zhang, Vick Dini, Ryan Wagner, Bradley R. Schmerl, Eunsuk Kang, David Garlan
2024	J	`jnl`	Constrained LTL Specification Learning from Examples. CoRR Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira Goes, David Garlan, Eunsuk Kang
2024	J	`jnl`	Driving risk prediction of urban arterial and collector roads using multi-dimensional real-time data. Eng. Appl. Artif. Intell. Xintong Yan, Jie He, Guanhe Wu, Chenwei Wang, Changjian Zhang, Yuntao Ye
2024	—	`conf`	Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. FM (2) Changjian Zhang, Parv Kapoor, Rômulo Meira-Góes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2024	J	`jnl`	Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. CoRR Changjian Zhang, Parv Kapoor, Eunsuk Kang, Romulo Meira Goes, David Garlan, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2023	B	`conf`	Fortis: A Tool for Analysis and Repair of Robust Software Systems. FMCAD Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2023	J	`jnl`	Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. CoRR Changjian Zhang, Parv Kapoor, Romulo Meira Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2023	A*	`conf`	Robustification of Behavioral Designs against Environmental Deviations. ICSE Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang
2023	A	`conf`	Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. SEAMS Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
2023	J	`jnl`	Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. CoRR Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang
2023	J	`jnl`	Vehicle trajectory extraction at the exit areas of urban freeways based on a novel composite algorithms framework. J. Intell. Transp. Syst. Ziyang Liu, Jie He, Changjian Zhang, Xintong Yan, Chenwei Wang, Boshuai Qiao
2022	J	`jnl`	A Proactive Recognition System for Detecting Commercial Vehicle Driver's Distracted Behavior. Sensors Xintong Yan, Jie He, Guanhe Wu, Changjian Zhang, Chenwei Wang
2021	—	`conf`	AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang
2021	J	`jnl`	SimpleSync: A parallel delta synchronization method based on Flink. Concurr. Comput. Pract. Exp. Changjian Zhang, Deyu Qi, Wenlin Li, Wenhao Huang, Xinyang Wang
2020	—	`conf`	A behavioral notion of robustness for software systems. ESEC/SIGSOFT FSE Changjian Zhang, David Garlan, Eunsuk Kang
2020	J	`jnl`	Function of Content Defined Chunking Algorithms in Incremental Synchronization. IEEE Access Changjian Zhang, Deyu Qi, Wenlin Li, Jing Guo
2020	C	`conf`	Shadow Data: A Method to Optimize Incremental Synchronization in Data Center. NPC Changjian Zhang, Deyu Qi, Wenhao Huang
2020	J	`jnl`	Video Summarization Based on Mutual Information and Entropy Sliding Window Method. Entropy Wenlin Li, Deyu Qi, Changjian Zhang, Jing Guo, Jiajun Yao
2019	J	`jnl`	MII: A Novel Content Defined Chunking Algorithm for Finding Incremental Data in Data Synchronization. IEEE Access Changjian Zhang, Deyu Qi, Zhe Cai, Wenhao Huang, Xinyang Wang, Wenlin Li, Jing Guo
2017	J	`jnl`	RNALocate: a resource for RNA subcellular localizations. Nucleic Acids Res. 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
2012	—	`conf`	Pre-synchronization of AVS audio-video based on Real-Time Transport Protocol. WCSP Lei Wang, Weiqiang Wu, Qinyu Zhang, Changjian Zhang