We stand with Ukraine

We stand with Ukraine

Changjian Zhang

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

Bibliography

2024

Driving risk prediction of urban arterial and collector roads using multi-dimensional real-time data.

[BibT_eX]

[DOI]

,

,

,

,

Changjian Zhang

,

Eng. Appl. Artif. Intell., 2024

Constrained LTL Specification Learning from Examples.

[BibT_eX]

[DOI]

Changjian Zhang

,

,

,

,

Romulo Meira Goes

,

,

CoRR, 2024

Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems.

[BibT_eX]

[DOI]

Changjian Zhang

,

,

Rômulo Meira-Góes

,

,

,

,

Shatadal Mishra

,

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Vehicle trajectory extraction at the exit areas of urban freeways based on a novel composite algorithms framework.

[BibT_eX]

[DOI]

,

,

Changjian Zhang

,

,

,

J. Intell. Transp. Syst., May, 2023

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

[BibT_eX]

[DOI]

Changjian Zhang

,

,

Romulo Meira Goes

,

,

,

,

Shatadal Mishra

,

CoRR, 2023

Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening.

[BibT_eX]

[DOI]

,

,

Changjian Zhang

,

Rômulo Meira-Góes

,

Gabriel A. Moreno

,

,

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Robustification of Behavioral Designs against Environmental Deviations.

[BibT_eX]

[DOI]

Changjian Zhang

,

,

Rômulo Meira-Góes

,

Matthew L. Bolton

,

,

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Fortis: A Tool for Analysis and Repair of Robust Software Systems.

[BibT_eX]

[DOI]

Changjian Zhang

,

,

Rômulo Meira-Góes

,

,

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

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

[BibT_eX]

[DOI]

,

,

,

Changjian Zhang

,

Sensors, 2022

2021

SimpleSync: A parallel delta synchronization method based on Flink.

[BibT_eX]

[DOI]

Changjian Zhang

,

,

,

,

Concurr. Comput. Pract. Exp., 2021

AlloyMax: bringing maximum satisfaction to relational specifications.

[BibT_eX]

[DOI]

Changjian Zhang

,

,

,

,

Vasco Manquinho

,

,

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.

[BibT_eX]

[DOI]

,

,

ChangJian Zhang

,

,

Entropy, 2020

Function of Content Defined Chunking Algorithms in Incremental Synchronization.

[BibT_eX]

[DOI]

Changjian Zhang

,

,

,

IEEE Access, 2020

A behavioral notion of robustness for software systems.

[BibT_eX]

[DOI]

Changjian Zhang

,

,

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.

[BibT_eX]

[DOI]

Changjian Zhang

,

,

Proceedings of the Network and Parallel Computing, 2020

2019

MII: A Novel Content Defined Chunking Algorithm for Finding Incremental Data in Data Synchronization.

[BibT_eX]

[DOI]

Changjian Zhang

,

,

,

,

,

,

IEEE Access, 2019

2017

RNALocate: a resource for RNA subcellular localizations.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

,

,

,

Changjian Zhang

,

,

,

,

Nucleic Acids Res., 2017

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

[BibT_eX]

[DOI]

,

,

,

Chang-Jian Zhang

,

,

,

,

,

,

,

,

,

,

Bioinform., 2017

2012

Pre-synchronization of AVS audio-video based on Real-Time Transport Protocol.

[BibT_eX]

[DOI]

,

,

,

Changjian Zhang

Proceedings of the International Conference on Wireless Communications and Signal Processing, 2012

Loading...