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, F. B., & Bodden, E. (2026). Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In R. Krebbers & A. Silva (Eds.), 40th European Conference on Object-Oriented Programming (ECOOP 2026) (Vol. 372, p. 23:1–23:28). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66433
Schiebel, F. B., & Bodden, E. (2026). Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In R. Krebbers & A. Silva (Eds.), 40th European Conference on Object-Oriented Programming (ECOOP 2026) (Vol. 372, p. 23:1–23:28). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/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. (2025). Distributed and Parallel Low-Diameter Decompositions for Arbitrary and Restricted Graphs. In R. Meka (Ed.), 16th Innovations in Theoretical Computer Science Conference (ITCS 2025) (Vol. 325, p. 45:1–45:26). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/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. (2025). Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility. In S. Bonomi, L. Galletta, Etienne Rivière, & Valerio Schiavoni (Eds.), 28th International Conference on Principles of Distributed Systems (OPODIS 2024) (Vol. 324). Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. https://doi.org/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. (2025). Theoretical Foundations of Utility Accrual for Real-Time Systems. In R. Mancuso (Ed.), 37th Euromicro Conference on Real-Time Systems (ECRTS 2025) (Vol. 335, p. 17:1–17:26). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECRTS.2025.17
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 54807
Hinnenthal, K., Liedtke, D. J., & Scheideler, C. (2024). Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures. In A. Casteigts & F. Kuhn (Eds.), 3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024) (Vol. 292, p. 15:1–15:20). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAND.2024.15
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
Schiebel, F. B., Sattler, F., Schubert, P. D., Apel, S., & Bodden, E. (2024). Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. In J. Aldrich & G. Salvaneschi (Eds.), 38th European Conference on Object-Oriented Programming (ECOOP 2024) (Vol. 313, p. 36:1–36:28). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/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. (2023). A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility . In E. Hillel, R. Palmieri, & E. Riviére (Eds.), Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) (Vol. 253, p. 15:1–15:25). Schloss Dagstuhl – Leibniz Zentrum für Informatik. https://doi.org/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. (2023). On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains. In A. V. Papadopoulos (Ed.), 35th Euromicro Conference on Real-Time Systems (ECRTS 2023) (Vol. 262, p. 10:1–10:22). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECRTS.2023.10
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32602
Padalkin, A., Scheideler, C., & Warner, D. (2022). The Structural Power of Reconfigurable Circuits in the Amoebot Model. In T. E. Ouldridge & S. F. J. Wickham (Eds.), 28th International Conference on DNA Computing and Molecular Programming (DNA 28) (Vol. 238, p. 8:1–8:22). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DNA.28.8
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32603
Kostitsyna, I., Scheideler, C., & Warner, D. (2022). Fault-Tolerant Shape Formation in the Amoebot Model. In T. E. Ouldridge & S. F. J. Wickham (Eds.), 28th International Conference on DNA Computing and Molecular Programming (DNA 28) (Vol. 238, p. 9:1–9:22). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DNA.28.9
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 30987
Kostitsyna, I., Scheideler, C., & Warner, D. (2022). Brief Announcement: Fault-Tolerant Shape Formation in the Amoebot Model. In J. Aspnes & O. Michail (Eds.), 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022) (Vol. 221, p. 23:1–23:3). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/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. (2022). Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization. In M. Maggio (Ed.), 34th Euromicro Conference on Real-Time Systems (ECRTS 2022) (Vol. 231, p. 6:1–6:22). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECRTS.2022.6
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20159
Baswana, S., Gupta, S., & Knollmann, T. (2020). Mincut Sensitivity Data Structures for the Insertion of an Edge. In F. Grandoni, G. Herman, & P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020) (Vol. 173, pp. 12:1-12:14). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. https://doi.org/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., Sliwa, B., Youssef, H., Ramachandran Venkatapathy, A. K., Wietfeld, C., ten Hompel, M., & Chen, J.-J. (2020). Offloading Safety- and Mission-Critical Tasks via Unreliable Connections. In M. Völp (Ed.), 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020) (Vol. 165, p. 18:1–18:22). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECRTS.2020.18
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 2484
Feldkord, B., Feldotto, M., Gupta, A., Guruganesh, G., Kumar, A., Riechers, S., & Wajc, D. (2018). Fully-Dynamic Bin Packing with Little Repacking. In I. Chatzigiannakis, C. Kaklamanis, D. Marx, & D. Sannella (Eds.), 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018) (Vol. 107, pp. 51:1-51:24). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/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. (2018). Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems. In S. Altmeyer (Ed.), 30th Euromicro Conference on Real-Time Systems (ECRTS 2018) (Vol. 106, p. 6:1–6:22). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECRTS.2018.6
LibreCat
| DOI