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
F. B. Schiebel and E. Bodden, “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding,” in 40th European Conference on Object-Oriented Programming (ECOOP 2026), Brussels, 2026, vol. 372, p. 23:1–23:28, doi: 10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66433
F. B. Schiebel and E. Bodden, “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding,” in 40th European Conference on Object-Oriented Programming (ECOOP 2026), 2026, vol. 372, p. 23:1–23:28, doi: 10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59268
J. Dou, T. Götte, H. Hillebrandt, C. Scheideler, and J. Werthmann, “Distributed and Parallel Low-Diameter Decompositions for Arbitrary and Restricted Graphs,” in 16th Innovations in Theoretical Computer Science Conference (ITCS 2025), 2025, vol. 325, p. 45:1–45:26, doi: 10.4230/LIPIcs.ITCS.2025.45.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 56298 | 
R. Gerlach, S. von der Gracht, C. Hahn, J. Harbig, and P. Kling, “Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility,” in 28th International Conference on Principles of Distributed Systems (OPODIS 2024), Lucca, Italy, 2025, vol. 324, doi: 10.4230/LIPIcs.OPODIS.2024.13.
LibreCat
| DOI
| Download (ext.)
| arXiv
2025 | Conference Paper | LibreCat-ID: 66263
J.-J. Chen, J. Shi, M. Günzel, G. von der Brüggen, K.-H. Chen, and P. Bella, “Theoretical Foundations of Utility Accrual for Real-Time Systems,” in 37th Euromicro Conference on Real-Time Systems (ECRTS 2025), 2025, vol. 335, p. 17:1–17:26, doi: 10.4230/LIPIcs.ECRTS.2025.17.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 54807
K. Hinnenthal, D. J. Liedtke, and C. Scheideler, “Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures,” in 3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024), 2024, vol. 292, p. 15:1–15:20, doi: 10.4230/LIPIcs.SAND.2024.15.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
F. B. Schiebel, F. Sattler, P. D. Schubert, S. Apel, and E. Bodden, “Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report,” in 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024, vol. 313, p. 36:1–36:28, doi: 10.4230/LIPIcs.ECOOP.2024.36.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 34008
J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, and F. Meyer auf der Heide, “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility ,” in Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , Brussels, 2023, vol. 253, p. 15:1–15:25, doi: 10.4230/LIPIcs.OPODIS.2022.15.
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 66264
M. Günzel, H. Teper, K.-H. Chen, G. von der Brüggen, and J.-J. Chen, “On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains,” in 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), 2023, vol. 262, p. 10:1–10:22, doi: 10.4230/LIPIcs.ECRTS.2023.10.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32602
A. Padalkin, C. Scheideler, and D. Warner, “The Structural Power of Reconfigurable Circuits in the Amoebot Model,” in 28th International Conference on DNA Computing and Molecular Programming (DNA 28), 2022, vol. 238, p. 8:1–8:22, doi: 10.4230/LIPIcs.DNA.28.8.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32603
I. Kostitsyna, C. Scheideler, and D. Warner, “Fault-Tolerant Shape Formation in the Amoebot Model,” in 28th International Conference on DNA Computing and Molecular Programming (DNA 28), 2022, vol. 238, p. 9:1–9:22, doi: 10.4230/LIPIcs.DNA.28.9.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 30987
I. Kostitsyna, C. Scheideler, and D. Warner, “Brief Announcement: Fault-Tolerant Shape Formation in the Amoebot Model,” in 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022), 2022, vol. 221, p. 23:1–23:3, doi: 10.4230/LIPIcs.SAND.2022.23.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 66265
K.-H. Chen, M. Günzel, B. Jablkowski, M. Buschhoff, and J.-J. Chen, “Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization,” in 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), 2022, vol. 231, p. 6:1–6:22, doi: 10.4230/LIPIcs.ECRTS.2022.6.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 66266
L. Schönberger et al., “Offloading Safety- and Mission-Critical Tasks via Unreliable Connections,” in 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020, vol. 165, p. 18:1–18:22, doi: 10.4230/LIPIcs.ECRTS.2020.18.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 2484
B. Feldkord et al., “Fully-Dynamic Bin Packing with Little Repacking,” in 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Prag, 2018, vol. 107, pp. 51:1-51:24.
LibreCat
| Files available
| DOI
| arXiv
2018 | Conference Paper | LibreCat-ID: 66267
G. von der Brüggen, N. Piatkowski, K.-H. Chen, J.-J. Chen, and K. Morik, “Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems,” in 30th Euromicro Conference on Real-Time Systems (ECRTS 2018), 2018, vol. 106, p. 6:1–6:22, doi: 10.4230/LIPIcs.ECRTS.2018.6.
LibreCat
| DOI