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, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” 40th European Conference on Object-Oriented Programming (ECOOP 2026), edited by Robbert Krebbers and Alexandra Silva, vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28, doi:10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66433
Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” 40th European Conference on Object-Oriented Programming (ECOOP 2026), edited by Robbert Krebbers and Alexandra Silva, vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28, doi:10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59268
Dou, Jinfeng, et al. “Distributed and Parallel Low-Diameter Decompositions for Arbitrary and Restricted Graphs.” 16th Innovations in Theoretical Computer Science Conference (ITCS 2025), edited by Raghu Meka, vol. 325, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025, p. 45:1–45:26, doi:10.4230/LIPIcs.ITCS.2025.45.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 56298 | 
Gerlach, Raphael, et al. “Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility.” 28th International Conference on Principles of Distributed Systems (OPODIS 2024), edited by Silvia Bonomi et al., vol. 324, 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, Jian-Jia, et al. “Theoretical Foundations of Utility Accrual for Real-Time Systems.” 37th Euromicro Conference on Real-Time Systems (ECRTS 2025), edited by Renato Mancuso, vol. 335, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025, p. 17:1–17:26, doi:10.4230/LIPIcs.ECRTS.2025.17.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 54807
Hinnenthal, Kristian, et al. “Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures.” 3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024), edited by Arnaud Casteigts and Fabian Kuhn, vol. 292, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024, p. 15:1–15:20, doi:10.4230/LIPIcs.SAND.2024.15.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
Schiebel, Fabian Benedikt, et al. “Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report.” 38th European Conference on Object-Oriented Programming (ECOOP 2024), edited by Jonathan Aldrich and Guido Salvaneschi, vol. 313, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024, p. 36:1–36:28, doi:10.4230/LIPIcs.ECOOP.2024.36.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 34008
Castenow, Jannik, et al. “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility .” Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , edited by Eshcar Hillel et al., vol. 253, Schloss Dagstuhl – Leibniz Zentrum für Informatik, 2023, p. 15:1–15:25, doi:10.4230/LIPIcs.OPODIS.2022.15.
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 66264
Günzel, Mario, et al. “On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains.” 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), edited by Alessandro V. Papadopoulos, vol. 262, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023, p. 10:1–10:22, doi:10.4230/LIPIcs.ECRTS.2023.10.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32602
Padalkin, Andreas, et al. “The Structural Power of Reconfigurable Circuits in the Amoebot Model.” 28th International Conference on DNA Computing and Molecular Programming (DNA 28), edited by Thomas E. Ouldridge and Shelley F. J. Wickham, vol. 238, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022, p. 8:1–8:22, doi:10.4230/LIPIcs.DNA.28.8.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32603
Kostitsyna, Irina, et al. “Fault-Tolerant Shape Formation in the Amoebot Model.” 28th International Conference on DNA Computing and Molecular Programming (DNA 28), edited by Thomas E. Ouldridge and Shelley F. J. Wickham, vol. 238, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022, p. 9:1–9:22, doi:10.4230/LIPIcs.DNA.28.9.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 30987
Kostitsyna, Irina, et al. “Brief Announcement: Fault-Tolerant Shape Formation in the Amoebot Model.” 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022), edited by James Aspnes and Othon Michail, vol. 221, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022, p. 23:1–23:3, doi:10.4230/LIPIcs.SAND.2022.23.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 66265
Chen, Kuan-Hsun, et al. “Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization.” 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), edited by Martina Maggio, vol. 231, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022, p. 6:1–6:22, doi:10.4230/LIPIcs.ECRTS.2022.6.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20159
Baswana, Surender, et al. “Mincut Sensitivity Data Structures for the Insertion of an Edge.” 28th Annual European Symposium on Algorithms (ESA 2020), edited by Fabrizio Grandoni et al., vol. 173, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2020, pp. 12:1-12:14, doi:10.4230/LIPIcs.ESA.2020.12.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 66266
Schönberger, Lea, et al. “Offloading Safety- and Mission-Critical Tasks via Unreliable Connections.” 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), edited by Marcus Völp, vol. 165, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020, p. 18:1–18:22, doi:10.4230/LIPIcs.ECRTS.2020.18.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 2484
Feldkord, Björn, et al. “Fully-Dynamic Bin Packing with Little Repacking.” 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), edited by Ioannis Chatzigiannakis et al., vol. 107, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018, pp. 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, Georg, et al. “Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems.” 30th Euromicro Conference on Real-Time Systems (ECRTS 2018), edited by Sebastian Altmeyer, vol. 106, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018, p. 6:1–6:22, doi:10.4230/LIPIcs.ECRTS.2018.6.
LibreCat
| DOI