Merge pull request #107 from hoheinzollern/proux_category

moved category

Author: proux01

papers.html

@@ -195,9 +195,6 @@ This is a memo to serve in the event we change the sectioning
 - Ana de Almeida Borges, Mireia González Bedmar, Juan Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten.
   _UTC time, formally verified_.
   CPP 2024. [[https://arxiv.org/pdf/2209.14227.pdf][pdf]]
-- Filip Markovic, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, Björn B. Brandenburg.
-  _CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks_.
-  IEEE Real-Time Systems Symposium (RTSS 2023). [[https://people.mpi-sws.org/~bbb/papers/pdf/rtss23-CTA.pdf][pdf]]
 - Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter,
   Carmine Abate, Nikolaj Sidorenco, Cătălin Hriţcu, Kenji Maillard, Bas Spitters.
   _SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq_.
@@ -302,6 +299,9 @@ This is a memo to serve in the event we change the sectioning
 - Reynald Affeldt, Clark Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schürmann.
   _Robust Mean Estimation by All Means (short paper)_.
   ITP 2024. [[https://drops.dagstuhl.de/storage/00lipics/lipics-vol309-itp2024/LIPIcs.ITP.2024.39/LIPIcs.ITP.2024.39.pdf][pdf]]
+- Filip Markovic, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, Björn B. Brandenburg.
+  _CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks_.
+  IEEE Real-Time Systems Symposium (RTSS 2023). [[https://people.mpi-sws.org/~bbb/papers/pdf/rtss23-CTA.pdf][pdf]]
 - Ayumu Saito, Reynald Affeldt.
   _Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq_.
   Asian Symposium on Programming Languages and Systems (APLAS 2023). [[https://link.springer.com/chapter/10.1007/978-981-99-8311-7_9][doi]]