Publications related to Prosa in reverse-chronological order:

Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, and Björn Brandenburg, “From Intuition to Coq: A Case Study in Verified Response-Time Analysis of FIFO Scheduling”, Proceedings of the 43rd IEEE Real-Time Systems Symposium (RTSS 2022), pp. 197–210, December 2022.

Marco Maida, Sergey Bozhko, and Björn Brandenburg, “Foundational Response-Time Analysis as Explainable Evidence of Timeliness”, Proceedings of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), pp. 19:1–19:25, July 2022.

**Outstanding Paper Award**.Pierre Roux, Sophie Quinton, and Marc Boyer, “A Formal Link Between Response Time Analysis and Network Calculus”, Proceedings of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), pp. 5:1–5:22, July 2022.

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**.