Changjian Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Constrained LTL Specification Learning from Examples. | Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2025 | SEFM | Resilience of Systems Under Maximum Component Deviations. | Abigail Hammer, Changjian Zhang, Vick Dini, Ryan Wagner, Bradley R. Schmerl, Eunsuk Kang, David Garlan |
| 2024 | FM | Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. | Changjian Zhang, Parv Kapoor, Rmulo Meira-Ges, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar |
| 2023 | FMCAD | Fortis: A Tool for Analysis and Repair of Robust Software Systems. | Changjian Zhang, Ian Dardik, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2023 | ICSE | Robustification of Behavioral Designs against Environmental Deviations. | Changjian Zhang, Tarang Saluja, Rmulo Meira-Ges, Matthew L. Bolton, David Garlan, Eunsuk Kang |
| 2023 | SEAMS | Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. | Simon Chu, Emma Shedden, Changjian Zhang, Rmulo Meira-Ges, Gabriel A. Moreno, David Garlan, Eunsuk Kang |
| 2020 | NPC | Shadow Data: A Method to Optimize Incremental Synchronization in Data Center. | Changjian Zhang, Deyu Qi, Wenhao Huang |