Items where Author is "Guo, Xiaoran"

Journal Article

Wei, Ran and Jiang, Zhe and Guo, Xiaoran and Yang, Ruizhe and Mei, Haitao and Zolotas, Athanasios and Kelly, Tim (2024) DECISIVE : Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (5). pp. 1346-1359. ISSN 0278-0070

Contribution in Book/Report/Proceedings

Wei, Ran and Jiang, Zhe and Guo, Xiaoran and Mei, Haitao and Zolotas, Athanasios and Kelly, Tim (2022) Designing critical systems with iterative automated safety analysis. In: 59th ACM/IEEE Design Automation Conference :. ACM, pp. 181-186.