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
@inproceedings{Schiebel_Bodden_2026, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}, volume={372}, DOI={10.4230/LIPIcs.ECOOP.2026.23}, booktitle={40th European Conference on Object-Oriented Programming (ECOOP 2026)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Schiebel, Fabian Benedikt and Bodden, Eric}, editor={Krebbers, Robbert and Silva, Alexandra}, year={2026}, pages={23:1–23:28}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66433
@inproceedings{Schiebel_Bodden_2026, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}, volume={372}, DOI={10.4230/LIPIcs.ECOOP.2026.23}, booktitle={40th European Conference on Object-Oriented Programming (ECOOP 2026)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Schiebel, Fabian Benedikt and Bodden, Eric}, editor={Krebbers, Robbert and Silva, Alexandra}, year={2026}, pages={23:1–23:28}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59268
@inproceedings{Dou_Götte_Hillebrandt_Scheideler_Werthmann_2025, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Distributed and Parallel Low-Diameter Decompositions for Arbitrary and Restricted Graphs}, volume={325}, DOI={10.4230/LIPIcs.ITCS.2025.45}, booktitle={16th Innovations in Theoretical Computer Science Conference (ITCS 2025)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Dou, Jinfeng and Götte, Thorsten and Hillebrandt, Henning and Scheideler, Christian and Werthmann, Julian}, editor={Meka, Raghu}, year={2025}, pages={45:1–45:26}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 56298 | 
@inproceedings{Gerlach_von der Gracht_Hahn_Harbig_Kling_2025, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility}, volume={324}, DOI={10.4230/LIPIcs.OPODIS.2024.13}, booktitle={28th International Conference on Principles of Distributed Systems (OPODIS 2024)}, publisher={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik}, author={Gerlach, Raphael and von der Gracht, Sören and Hahn, Christopher and Harbig, Jonas and Kling, Peter}, editor={Bonomi, Silvia and Galletta, Letterio and Rivière, Etienne and Schiavoni, Valerio}, year={2025}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2025 | Conference Paper | LibreCat-ID: 66263
@inproceedings{Chen_Shi_Günzel_von der Brüggen_Chen_Bella_2025, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Theoretical Foundations of Utility Accrual for Real-Time Systems}, volume={335}, DOI={10.4230/LIPIcs.ECRTS.2025.17}, booktitle={37th Euromicro Conference on Real-Time Systems (ECRTS 2025)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Chen, Jian-Jia and Shi, Junjie and Günzel, Mario and von der Brüggen, Georg and Chen, Kuan-Hsun and Bella, Peter}, editor={Mancuso, Renato}, year={2025}, pages={17:1–17:26}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 54807
@inproceedings{Hinnenthal_Liedtke_Scheideler_2024, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures}, volume={292}, DOI={10.4230/LIPIcs.SAND.2024.15}, booktitle={3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Hinnenthal, Kristian and Liedtke, David Jan and Scheideler, Christian}, editor={Casteigts, Arnaud and Kuhn, Fabian}, year={2024}, pages={15:1–15:20}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
@inproceedings{Schiebel_Sattler_Schubert_Apel_Bodden_2024, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report}, volume={313}, DOI={10.4230/LIPIcs.ECOOP.2024.36}, booktitle={38th European Conference on Object-Oriented Programming (ECOOP 2024)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Schiebel, Fabian Benedikt and Sattler, Florian and Schubert, Philipp Dominik and Apel, Sven and Bodden, Eric}, editor={Aldrich, Jonathan and Salvaneschi, Guido}, year={2024}, pages={36:1–36:28}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 34008
@inproceedings{Castenow_Harbig_Jung_Kling_Knollmann_Meyer auf der Heide_2023, place={Brussels}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility }, volume={253}, DOI={10.4230/LIPIcs.OPODIS.2022.15}, booktitle={Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) }, publisher={Schloss Dagstuhl – Leibniz Zentrum für Informatik}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Hillel, Eshcar and Palmieri, Roberto and Riviére, Etienne}, year={2023}, pages={15:1–15:25}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 66264
@inproceedings{Günzel_Teper_Chen_von der Brüggen_Chen_2023, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains}, volume={262}, DOI={10.4230/LIPIcs.ECRTS.2023.10}, booktitle={35th Euromicro Conference on Real-Time Systems (ECRTS 2023)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Günzel, Mario and Teper, Harun and Chen, Kuan-Hsun and von der Brüggen, Georg and Chen, Jian-Jia}, editor={Papadopoulos, Alessandro V.}, year={2023}, pages={10:1–10:22}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32602
@inproceedings{Padalkin_Scheideler_Warner_2022, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={The Structural Power of Reconfigurable Circuits in the Amoebot Model}, volume={238}, DOI={10.4230/LIPIcs.DNA.28.8}, booktitle={28th International Conference on DNA Computing and Molecular Programming (DNA 28)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Padalkin, Andreas and Scheideler, Christian and Warner, Daniel}, editor={Ouldridge, Thomas E. and Wickham, Shelley F. J.}, year={2022}, pages={8:1–8:22}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32603
@inproceedings{Kostitsyna_Scheideler_Warner_2022, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Fault-Tolerant Shape Formation in the Amoebot Model}, volume={238}, DOI={10.4230/LIPIcs.DNA.28.9}, booktitle={28th International Conference on DNA Computing and Molecular Programming (DNA 28)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Kostitsyna, Irina and Scheideler, Christian and Warner, Daniel}, editor={Ouldridge, Thomas E. and Wickham, Shelley F. J.}, year={2022}, pages={9:1–9:22}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 30987
@inproceedings{Kostitsyna_Scheideler_Warner_2022, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Brief Announcement: Fault-Tolerant Shape Formation in the Amoebot Model}, volume={221}, DOI={10.4230/LIPIcs.SAND.2022.23}, booktitle={1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Kostitsyna, Irina and Scheideler, Christian and Warner, Daniel}, editor={Aspnes, James and Michail, Othon}, year={2022}, pages={23:1–23:3}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 66265
@inproceedings{Chen_Günzel_Jablkowski_Buschhoff_Chen_2022, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization}, volume={231}, DOI={10.4230/LIPIcs.ECRTS.2022.6}, booktitle={34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Chen, Kuan-Hsun and Günzel, Mario and Jablkowski, Boguslaw and Buschhoff, Markus and Chen, Jian-Jia}, editor={Maggio, Martina}, year={2022}, pages={6:1–6:22}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20159
@inproceedings{Baswana_Gupta_Knollmann_2020, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Mincut Sensitivity Data Structures for the Insertion of an Edge}, volume={173}, DOI={10.4230/LIPIcs.ESA.2020.12}, booktitle={28th Annual European Symposium on Algorithms (ESA 2020)}, publisher={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik}, author={Baswana, Surender and Gupta, Shiv and Knollmann, Till}, editor={Grandoni, Fabrizio and Herman, Grzegorz and Sanders, PeterEditors}, year={2020}, pages={12:1-12:14}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 66266
@inproceedings{Schönberger_von der Brüggen_Chen_Sliwa_Youssef_Ramachandran Venkatapathy_Wietfeld_ten Hompel_Chen_2020, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Offloading Safety- and Mission-Critical Tasks via Unreliable Connections}, volume={165}, DOI={10.4230/LIPIcs.ECRTS.2020.18}, booktitle={32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Schönberger, Lea and von der Brüggen, Georg and Chen, Kuan-Hsun and Sliwa, Benjamin and Youssef, Hazem and Ramachandran Venkatapathy, Aswin Karthik and Wietfeld, Christian and ten Hompel, Michael and Chen, Jian-Jia}, editor={Völp, Marcus}, year={2020}, pages={18:1–18:22}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 2484
@inproceedings{Feldkord_Feldotto_Gupta_Guruganesh_Kumar_Riechers_Wajc_2018, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Fully-Dynamic Bin Packing with Little Repacking}, volume={107}, DOI={10.4230/LIPIcs.ICALP.2018.51}, booktitle={45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)}, publisher={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, author={Feldkord, Björn and Feldotto, Matthias and Gupta, Anupam and Guruganesh, Guru and Kumar, Amit and Riechers, Sören and Wajc, David}, editor={Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, Dániel and Sannella, DonaldEditors}, year={2018}, pages={51:1-51:24}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| Files available
| DOI
| arXiv
2018 | Conference Paper | LibreCat-ID: 66267
@inproceedings{von der Brüggen_Piatkowski_Chen_Chen_Morik_2018, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems}, volume={106}, DOI={10.4230/LIPIcs.ECRTS.2018.6}, booktitle={30th Euromicro Conference on Real-Time Systems (ECRTS 2018)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={von der Brüggen, Georg and Piatkowski, Nico and Chen, Kuan-Hsun and Chen, Jian-Jia and Morik, Katharina}, editor={Altmeyer, Sebastian}, year={2018}, pages={6:1–6:22}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI