Xiaojie Guo

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 6

Top Topics

Software Systems

Top Venues

Publications

Pascal Fradet, Xiaojie Guo, Sophie Quinton
CertiCAN certifying CAN analyses and their results. Real Time Syst. 59 (2) (2023)
Xiaojie Guo, Lionel Rieg, Paolo Torrini
A generic approach for the certified schedulability analysis of software systems. RTCSA (2021)
Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao
Integrating Formal Schedulability Analysis into a Verified OS Kernel. CAV (2) (2019)
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. RTAS (2019)
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
A Generalized Digraph Model for Expressing Dependencies. RTNS (2018)
Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin
Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. RTSS (2017)