Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
17 Publications
2026 | Conference Paper | LibreCat-ID: 66385
Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. 40th European Conference on Object-Oriented Programming (ECOOP 2026). Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66433
Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. 40th European Conference on Object-Oriented Programming (ECOOP 2026). Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59268
Dou J, Götte T, Hillebrandt H, Scheideler C, Werthmann J. Distributed and Parallel Low-Diameter Decompositions for Arbitrary and Restricted Graphs. In: Meka R, ed. 16th Innovations in Theoretical Computer Science Conference (ITCS 2025). Vol 325. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2025:45:1–45:26. doi:10.4230/LIPIcs.ITCS.2025.45
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 56298 | 
Gerlach R, von der Gracht S, Hahn C, Harbig J, Kling P. Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility. In: Bonomi S, Galletta L, Rivière Etienne, Schiavoni Valerio, eds. 28th International Conference on Principles of Distributed Systems (OPODIS 2024). Vol 324. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl -- Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.OPODIS.2024.13
LibreCat
| DOI
| Download (ext.)
| arXiv
2025 | Conference Paper | LibreCat-ID: 66263
Chen J-J, Shi J, Günzel M, von der Brüggen G, Chen K-H, Bella P. Theoretical Foundations of Utility Accrual for Real-Time Systems. In: Mancuso R, ed. 37th Euromicro Conference on Real-Time Systems (ECRTS 2025). Vol 335. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2025:17:1–17:26. doi:10.4230/LIPIcs.ECRTS.2025.17
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 54807
Hinnenthal K, Liedtke DJ, Scheideler C. Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures. In: Casteigts A, Kuhn F, eds. 3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024). Vol 292. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2024:15:1–15:20. doi:10.4230/LIPIcs.SAND.2024.15
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
Schiebel FB, Sattler F, Schubert PD, Apel S, Bodden E. Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. In: Aldrich J, Salvaneschi G, eds. 38th European Conference on Object-Oriented Programming (ECOOP 2024). Vol 313. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2024:36:1–36:28. doi:10.4230/LIPIcs.ECOOP.2024.36
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 34008
Castenow J, Harbig J, Jung D, Kling P, Knollmann T, Meyer auf der Heide F. A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility . In: Hillel E, Palmieri R, Riviére E, eds. Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) . Vol 253. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz Zentrum für Informatik; 2023:15:1–15:25. doi:10.4230/LIPIcs.OPODIS.2022.15
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 66264
Günzel M, Teper H, Chen K-H, von der Brüggen G, Chen J-J. On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains. In: Papadopoulos AV, ed. 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Vol 262. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2023:10:1–10:22. doi:10.4230/LIPIcs.ECRTS.2023.10
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32602
Padalkin A, Scheideler C, Warner D. The Structural Power of Reconfigurable Circuits in the Amoebot Model. In: Ouldridge TE, Wickham SFJ, eds. 28th International Conference on DNA Computing and Molecular Programming (DNA 28). Vol 238. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2022:8:1–8:22. doi:10.4230/LIPIcs.DNA.28.8
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32603
Kostitsyna I, Scheideler C, Warner D. Fault-Tolerant Shape Formation in the Amoebot Model. In: Ouldridge TE, Wickham SFJ, eds. 28th International Conference on DNA Computing and Molecular Programming (DNA 28). Vol 238. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2022:9:1–9:22. doi:10.4230/LIPIcs.DNA.28.9
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 30987
Kostitsyna I, Scheideler C, Warner D. Brief Announcement: Fault-Tolerant Shape Formation in the Amoebot Model. In: Aspnes J, Michail O, eds. 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022). Vol 221. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2022:23:1–23:3. doi:10.4230/LIPIcs.SAND.2022.23
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 66265
Chen K-H, Günzel M, Jablkowski B, Buschhoff M, Chen J-J. Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization. In: Maggio M, ed. 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Vol 231. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2022:6:1–6:22. doi:10.4230/LIPIcs.ECRTS.2022.6
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20159
Baswana S, Gupta S, Knollmann T. Mincut Sensitivity Data Structures for the Insertion of an Edge. In: Grandoni F, Herman G, Sanders P, eds. 28th Annual European Symposium on Algorithms (ESA 2020). Vol 173. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik; 2020:12:1-12:14. doi:10.4230/LIPIcs.ESA.2020.12
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 66266
Schönberger L, von der Brüggen G, Chen K-H, et al. Offloading Safety- and Mission-Critical Tasks via Unreliable Connections. In: Völp M, ed. 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020). Vol 165. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2020:18:1–18:22. doi:10.4230/LIPIcs.ECRTS.2020.18
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 2484
Feldkord B, Feldotto M, Gupta A, et al. Fully-Dynamic Bin Packing with Little Repacking. In: Chatzigiannakis I, Kaklamanis C, Marx D, Sannella D, eds. 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018). Vol 107. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik; 2018:51:1-51:24. doi:10.4230/LIPIcs.ICALP.2018.51
LibreCat
| Files available
| DOI
| arXiv
2018 | Conference Paper | LibreCat-ID: 66267
von der Brüggen G, Piatkowski N, Chen K-H, Chen J-J, Morik K. Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems. In: Altmeyer S, ed. 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Vol 106. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2018:6:1–6:22. doi:10.4230/LIPIcs.ECRTS.2018.6
LibreCat
| DOI