Publications related to Prosa in reverse-chronological order:

Marco Maida, Sergey Bozhko, and Björn Brandenburg, “Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness”,

*Proceedings of the 42nd IEEE Real-Time Systems Symposium — Brief Presentations Track (RTSS-BP 2021)*, pp. 512–516, December 2021.Xiaojie Guo, Lionel Rieg, and Paolo Torrini, “A generic approach for the certified schedulability analysis of software systems”, Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2021), pp. 83–92, August 2021.

Sergey Bozhko and Björn Brandenburg, “Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle”, Proceedings of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), pp. 22:1–22:24, July 2020.

**Outstanding Paper Award**.Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao, “Integrating Formal Schedulability Analysis into a Verified OS Kernel”, Computer Aided Verification, 2019

Pascal Fradet, Xiaojie Guo, Jean-François Monin, 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.

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.

Xiaojie Guo, Sophie Quinton, Pascal Fradet, and Jean-François Monin, “Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets”, RTSS 2017 Work-in-Progress Track, December 2017.

Felipe Cerqueira, Felix Stutz, and Björn Brandenburg, “Prosa: A Case for Readable Mechanized Schedulability Analysis”, Proceedings of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016), pp. 273–284, July 2016.

**Best Paper Award**.