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 ]

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 ]