List of Publication

Conferences

• Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
  Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, and Jian Xiang. (all equal contributions)
  Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), May 2023.
  [  Abstract |  PDF |  BibTeX  ]
• Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages
  Jian Xiang and Stephen Chong.
  Proceedings of the 42nd IEEE Symposium on Security and Privacy (Oakland), May 2021.
  [  Abstract |  PDF |  Implementation |  Coq formalization |  BibTeX ]
• Relational Analysis of Sensor Attacks on Cyber-Physical Systems
  Jian Xiang, Nathan Fulton, and Stephen Chong.
  Proceedings of the 34th IEEE Computer Security Foundations Symposium (CSF), June 2021.
  [  Abstract |  PDF |  BibTeX ]
• Is My Software Consistent With the Real World?
  Jian Xiang, John Knight, and Kevin Sullivan.
  Proceedings of the 18th IEEE Symposium on High Assurance Systems Engineering (HASE),  2017.
  [  Abstract |  PDF |  BibTeX ]
• Synthesis of Logic Interpretation
  Jian Xiang, John Knight, and Kevin Sullivan.
  Proceedings of the 17th IEEE Symposium on High Assurance Systems Engineering (HASE),  2016.
  [  Abstract |  PDF |  BibTeX ]
• Real-World Types and Their Application
  Jian Xiang, John Knight, and Kevin Sullivan.
  Proceedings of the 34th Conference on Computer Safety, Reliability and Security (SAFECOMP),  2015.
  [  Abstract |  PDF |  BibTeX ]
• SREM: A Service Requirements Elicitation Mechanism based on Ontology
  Jian Xiang, Lin Liu, Wei Qiao and Jingwei Yang.
  Proceedings of the 31st International Computer Software and Applications Conference. (COMPSAC),  2007.
  [  Abstract |  PDF |  BibTeX ]

Journal

• Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
  Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, and Massimo Merro.
  Nonlinear Analysis: Hybrid Systems (to appear)
  [  Abstract |  PDF |  BibTeX  ]

Book Chapter

• A Rigorous Definition of Cyber-Physical Systems
  John Knight, Jian Xiang, and Kevin Sullivan.
  Trustworthy Cyber-Physical Systems. (Chapman and Hall/CRC),  2016.
  [  BibTeX ]

Workshop

• A Safety Condition Monitoring System
  John Knight, Jonathan Rowanhill and Jian Xiang.
  Proceedings of the Workshop on Assurance Cases for Software-intensive Systems (ASSURE),  2015.
  [  Abstract |  PDF |  BibTeX ]

Thesis

• Interpreted Formalism: Towards System Assurance and the Real-World Semantics of Software
  Jian Xiang.
  PhD Thesis. (University of Virginia),  2016.
  [  Abstract |  PDF |  BibTeX ]