Xiaojie Guo

Affiliations:

Grenoble Alpes University, France (PhD 2020)

According to our database¹, Xiaojie Guo authored at least 7 papers between 2017 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

CertiCAN certifying CAN analyses and their results.

[BibT_eX]

[DOI]

Pascal Fradet

Xiaojie Guo

Sophie Quinton

Real Time Syst., 2023

2021

A generic approach for the certified schedulability analysis of software systems.

[BibT_eX]

[DOI]

Xiaojie Guo

Lionel Rieg

Paolo Torrini

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

2020

Certified Tools for Schedulability Analyses. (Outils certifiés pour les analyses d'ordonnançabilité).

[BibT_eX]

[DOI]

Xiaojie Guo

PhD thesis, 2020

2019

CertiCAN: A Tool for the Coq Certification of CAN Analysis Results.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

Integrating Formal Schedulability Analysis into a Verified OS Kernel.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

A Generalized Digraph Model for Expressing Dependencies.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

2017

Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Xiaojie Guo

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...