Changjian Zhang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
Vehicle trajectory extraction at the exit areas of urban freeways based on a novel composite algorithms framework.
J. Intell. Transp. Syst., May, 2023

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations.
CoRR, 2023

Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening.
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Robustification of Behavioral Designs against Environmental Deviations.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Fortis: A Tool for Analysis and Repair of Robust Software Systems.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022
A Proactive Recognition System for Detecting Commercial Vehicle Driver's Distracted Behavior.
Sensors, 2022

2021
SimpleSync: A parallel delta synchronization method based on Flink.
Concurr. Comput. Pract. Exp., 2021

AlloyMax: bringing maximum satisfaction to relational specifications.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020
Video Summarization Based on Mutual Information and Entropy Sliding Window Method.
Entropy, 2020

Function of Content Defined Chunking Algorithms in Incremental Synchronization.
IEEE Access, 2020

A behavioral notion of robustness for software systems.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Shadow Data: A Method to Optimize Incremental Synchronization in Data Center.
Proceedings of the Network and Parallel Computing, 2020

2019
MII: A Novel Content Defined Chunking Algorithm for Finding Incremental Data in Data Synchronization.
IEEE Access, 2019

2017
RNALocate: a resource for RNA subcellular localizations.
Nucleic Acids Res., 2017

Pro54DB: a database for experimentally verified sigma-54 promoters.
Bioinform., 2017

2012
Pre-synchronization of AVS audio-video based on Real-Time Transport Protocol.
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2012


  Loading...