Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, and Zhong Shao,
Integrating Formal Schedulability Analysis into a Verifed OS Kernel,
Proceedings of the 31st international conference on Computer Aided Verification (CAV 2019), July 2019.


Pascal Fradet, Xiaojie Guo, Jean-François Monin, and Sophie Quinton,
CertiCAN: A Tool for the Coq Certification of CAN Analysis Results,
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2019), April 2019.


Leonie Köhler, Borislav Nikolic, Marc Boyer, and Rolf Ernst,
Increasing Accuracy of Timing Models: From CPA to CPA+,
Design, Automation & Test in Europe Conference & Exhibition (DATE), March 2019.


Pascal Fradet, Maxime Lesourd, Jean-François Monin, and Sophie Quinton,
A Generic Coq Proof of Typical Worst-Case Analysis,
Proceedings of the 39th IEEE Real-Time Systems Symposium (RTSS 2018), December 2018.


Pascal Fradet, Xiaojie Guo, Jean-François Monin, and Sophie Quinton,
A Generalized Digraph Model for Expressing Dependencies,
Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS 2018), October 2018.


Felipe Cerqueira, Geoffrey Nelissen, and Björn Brandenburg,
On Strong and Weak Sustainability, with an Application to Self-Suspending Real-Time Tasks,
Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018), pp. 26:1–26:21, July 2018,
Outstanding Paper Award.


Antonin Riffard, Felipe Cerqueira, and Björn Brandenburg,
Towards Synchronization in Prosa,
Proceedings of the ECRTS 2018 Work-in-Progress Session, pp. 7–9, July 2018.


Arpan Gujarati, Felipe Cerqueira, Björn Brandenburg, and Geoffrey Nelissen,
Correspondence article: A correction of the reduction-based schedulability analysis for APA scheduling,
Real-Time Systems, August 2018.

Comments are closed.