Publications
-
Book ChaptersScalable Text Index Construction
Bingmann, T.; Dinklage, P.; Fischer, J.; Kurpicz, F.; Ohlebusch, E.; Sanders, P.
2022. Algorithms for Big Data. Hrsg.: H. Bast, 252–284, Springer Nature Switzerland. doi:10.1007/978-3-031-21534-6_14Recent Advances in Scalable Network Generation1
Penschuck, M.; Brandes, U.; Hamann, M.; Lamm, S.; Meyer, U.; Safro, I.; Sanders, P.; Schulz, C.
2022. Massive Graph Analytics. Ed.: D.A. Bader, 333–376, Chapman and Hall/CRC. doi:10.1201/9781003033707-16Multi-Objective Shortest Paths
Erb, S.; Kobitzsch, M.; Mandow, L.; Sanders, P.
2022. Massive Graph Analytics. Ed.: D.A. Bader, 35–59, Chapman and Hall/CRC. doi:10.1201/9781003033707-3Global Concept Explanations for Graphs by Contrastive Learning
Teufel, J.; Friederich, P.
2024. Explainable Artificial Intelligence – Second World Conference, xAI 2024, Valletta, Malta, July 17–19, 2024, Proceedings, Part I. Ed.: L. Longo, 184–208, Springer Nature Switzerland. doi:10.1007/978-3-031-63787-2_10Distributed Deep Multilevel Graph Partitioning
Sanders, P.; Seemaier, D.
2023. Euro-Par 2023: Parallel Processing – 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings. Ed.: J. Cano, 443 – 457, Springer Nature Switzerland. doi:10.1007/978-3-031-39698-4_30Scalable discrete algorithms for big data applications
Hespe, D.; Hübner, L.; Hübschle-Schneider, L.; Sanders, P.; Schreiber, D.
2023. High Performance Computing in Science and Engineering ’21 – Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2021. Ed.: W. Nagel, 439–449, Springer International Publishing. doi:10.1007/978-3-031-17937-2_27Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY
Bordis, T.; Cleophas, L.; Kittelmann, A.; Runge, T.; Schaefer, I.; Watson, B. W.
2022. The Logic of Software. A Tasting Menu of Formal Methods – Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Ed.: W. Ahrendt, 80–104, Springer International Publishing. doi:10.1007/978-3-031-08166-8_5 -
PhD ThesesAlgorithms for Triangles, Cones & Peaks. PhD dissertation
Funke, D.
2023, December 19. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165647Scalable SAT Solving and its Application. PhD dissertation
Schreiber, D. P.
2023, December 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165224Enabling Scalability: Graph Hierarchies and Fault Tolerance. PhD dissertation
Hespe, L. D.
2023, August 14. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161317Scalable High-Quality Graph and Hypergraph Partitioning. PhD dissertation
Heuer, T.
2022, November 24. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000152872Scalable Graph Algorithms using Practically Efficient Data Reductions. PhD dissertation
Lamm, S. E.
2022, August 12. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000149655Scalable Hash Tables. PhD dissertation
Maier, T.
2022, July 21. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000148820Robust Scalable Sorting. PhD dissertation
Axtmann, M.
2021, August 30. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000136621High-Quality Hypergraph Partitioning. PhD dissertation
Schlag, S.
2020, February 26. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105953 -
Journal ArticlesFormally Verified Next-generation Airborne Collision Avoidance Games in ACAS X
Cleaveland, R.; Mitsch, S.; Platzer, A.
2023. ACM Transactions on Embedded Computing Systems, 22, Article no: 10. doi:10.1145/3544970Behind Every Domain There is a Shift: Adapting Distortion-aware Vision Transformers for Panoramic Semantic Segmentation
Zhang, J.; Yang, K.; Shi, H.; Reiß, S.; Peng, K.; Ma, C.; Fu, H.; Torr, P. H. S.; Wang, K.; Stiefelhagen, R.
2024. IEEE Transactions on Pattern Analysis and Machine Intelligence, 1–17. doi:10.1109/TPAMI.2024.3408642From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design
Bordis, T.; Kodetzki, M.; Schaefer, I.
2024. Computer, 57 (7), 113 – 119. doi:10.1109/MC.2024.3390948CoCoFL: Communication- and Computation-Aware Federated Learning via Partial NN Freezing and Quantization
Pfeiffer, K.; Rapp, M.; Khalili, R.; Henkel, J.
2023. Transactions on Machine Learning ResearchDiscovering Functional Dependencies through Hitting Set Enumeration
Bleifuß, T.; Papenbrock, T.; Bläsius, T.; Schirneck, M.; Naumann, F.
2024. Proceedings of the ACM on Management of Data, 2 (1), 1–24. doi:10.1145/3639298On the External Validity of Average-case Analyses of Graph Algorithms
Bläsius, T.; Fischbeck, P.
2024. ACM Transactions on Algorithms, 20 (1), 1–42. doi:10.1145/3633778LapGym - An Open Source Framework for Reinforcement Learning in Robot-Assisted Laparoscopic Surgery
Scheikl, P. M.; Gyenes, B.; Younis, R.; Haas, C.; Neumann, G.; Wagner, M.; Mathis-Ullrich, F.
2023. Journal of Machine Learning Research, 24 (368), 1–42Scalable High-Quality Hypergraph Partitioning
Gottesbüren, L.; Heuer, T.; Maas, N.; Sanders, P.; Schlag, S.
2024. ACM Transactions on Algorithms, 20 (1), 1–54. doi:10.1145/3626527NPU-Accelerated Imitation Learning for Thermal Optimization of QoS-Constrained Heterogeneous Multi-Cores
Rapp, M.; Khdr, H.; Krohmer, N.; Henkel, J.
2024. ACM Transactions on Design Automation of Electronic Systems, 29 (1), 1–23. doi:10.1145/3626320Hardware-Aware DNN Compression via Diverse Pruning and Mixed-Precision Quantization
Balaskas, K.; Karatzas, A.; Sad, C.; Siozios, K.; Anagnostopoulos, I.; Zervakis, G.; Henkel, J.
2024. IEEE Transactions on Emerging Topics in Computing, 1–14. doi:10.1109/TETC.2023.3346944Adaptive Bernstein change detector for high-dimensional data streams
Heyden, M.; Fouché, E.; Arzamasov, V.; Fenn, T.; Kalinke, F.; Böhm, K.
2024. Data Mining and Knowledge Discovery. doi:10.1007/s10618-023-00999-5Formal Specification and Verification of JDK’s Identity Hash Map Implementation
De Boer, M.; De Gouw, S.; Klamroth, J.; Jung, C.; Ulbrich, M.; Weigl, A.
2023. Formal Aspects of Computing, 35 (3), 1–26. doi:10.1145/3594729Adaptive RAxML-NG: Accelerating Phylogenetic Inference under Maximum Likelihood using Dataset Difficulty
Togkousidis, A.; Kozlov, O. M.; Haag, J.; Höhler, D.; Stamatakis, A.
2023. (S. Bonatto, Ed.) Molecular Biology and Evolution, 40 (10). doi:10.1093/molbev/msad227Effects of Runtime Reconfiguration on PUFs Implemented as FPGA-Based Accelerators
Nassar, H.; Bauer, L.; Henkel, J.
2023. IEEE Embedded Systems Letters. doi:10.1109/LES.2023.3299214Swift-CNN: Leveraging PCM Memory’s Fast Write Mode to Accelerate CNNs
Siddhu, L.; Nassar, H.; Bauer, L.; Hakert, C.; Hölscher, N.; Chen, J.-J.; Henkel, J.
2023. IEEE Embedded Systems Letters. doi:10.1109/LES.2023.3298742Differentiable Slimming for Memory-Efficient Transformers
Penkov, N.; Balaskas, K.; Rapp, M.; Henkel, J.
2023. IEEE Embedded Systems Letters. doi:10.1109/LES.2023.3299638Explaining Cyber-Physical System Behavior with Digital Twins
Michael, J.; Schwammberger, M.; Wortmann, A.
2023. IEEE Software, 41 (1), 55–63. doi:10.1109/MS.2023.3319580The Free Lunch is not over yet—systematic exploration of numerical thresholds in maximum likelihood phylogenetic inference
Haag, J.; Hübner, L.; Kozlov, A. M.; Stamatakis, A.
2023. Bioinformatics Advances, 3 (1), Art.-Nr.: vbad124. doi:10.1093/bioadv/vbad124ANV-PUF: Machine-Learning-Resilient NVM-Based Arbiter PUF
Nassar, H.; Bauer, L.; Henkel, J.
2023. ACM Transactions on Embedded Computing Systems, 22 (5 s). doi:10.1145/3609388Correctness-by-Construction: An Overview of the CorC Ecosystem
Bordis, T.; Runge, T.; Kittelmann, A.; Schaefer, I.
2023. Ada User Journal, 44 (1), 59 – 62Federated Learning for Computationally Constrained Heterogeneous Devices: A Survey
Pfeiffer, K.; Rapp, M.; Khalili, R.; Henkel, J.
2023. ACM Computing Surveys, 55 (14s), Art.-Nr.: 334. doi:10.1145/3596907The impact of heterogeneity and geometry on the proof complexity of random satisfiability
Bläsius, T.; Friedrich, T.; Friedrich, T.; Goebel, A.; Göbel, A.
2023. Random Structures & Algorithms. doi:10.1002/rsa.21168Efficiently Approximating Vertex Cover on Scale-Free Networks with Underlying Hyperbolic Geometry
Bläsius, T.; Friedrich, T.; Katzmann, M.
2023. Algorithmica. doi:10.1007/s00453-023-01143-xFlexible Correct-by-Construction Programming
Runge, T.; Bordis, T.; Potanin, A.; Thüm, T.; Schaefer, I.
2023. Logical Methods in Computer Science, Volume 19, Issue 2 (2), 16:1 – 16:36. doi:10.46298/lmcs-19(2:16)2023Lagrange-NG: The next generation of Lagrange
Bettisworth, B.; Smith, S. A.; Stamatakis, A.
2023. Systematic Biology, 72 (1), 242–248. doi:10.1093/sysbio/syad002Phylourny: efficiently calculating elimination tournament win probabilities via phylogenetic methods
Bettisworth, B.; Jordan, A. I.; Stamatakis, A.
2023. Statistics and Computing, 33 (4), 80. doi:10.1007/s11222-023-10246-yMore Recent Advances in (Hyper)Graph Partitioning
Çatalyürek, Ü.; Devine, K.; Faraj, M.; Gottesbüren, L.; Heuer, T.; Meyerhenke, H.; Sanders, P.; Schlag, S.; Schulz, C.; Seemaier, D.; Wagner, D.
2023. ACM Computing Surveys, 55 (12), Artkl.Nr.: 3571808. doi:10.1145/3571808Memory Carousel: LLVM-Based Bitwise Wear-Leveling for Non-Volatile Main Memory
Holscher, N.; Hakert, C.; Nassar, H.; Chen, K.-H.; Bauer, L.; Chen, J.-J.; Henkel, J.
2022. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42 (8), 2527–2539. doi:10.1109/TCAD.2022.3228897Asteroid: a new algorithm to infer species trees from gene trees under high proportions of missing data
Morel, B.; Williams, T. A.; Stamatakis, A.
2023. Bioinformatics (Oxford, England), 39 (1), Art.-Nr.: btac832. doi:10.1093/bioinformatics/btac832From Easy to Hopeless - Predicting the Difficulty of Phylogenetic Analyses
Haag, J.; Höhler, D.; Bettisworth, B.; Stamatakis, A.
2022. Molecular Biology and Evolution, 39 (12), Art.-Nr.: msac254. doi:10.1093/molbev/msac254High-Quality Hypergraph Partitioning
Schlag, S.; Heuer, T.; Gottesbüren, L.; Akhremtsev, Y.; Schulz, C.; Sanders, P.
2022. ACM Journal of Experimental Algorithmics, 27, Art.Nr. 1.9. doi:10.1145/3529090CaPUF: Cascaded PUF Structure for Machine Learning Resiliency
Nassar, H.; Bauer, L.; Henkel, J.
2022. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41 (11), 4349–4360. doi:10.1109/TCAD.2022.3197539Parallel Weighted Random Sampling
Hübschle-Schneider, L.; Sanders, P.
2022. ACM Transactions on Mathematical Software, 48 (3), Art.-Nr.: 29. doi:10.1145/3549934Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling
Sanders, P.; Schreiber, D.
2022. Journal of Open Source Software, 7 (76), 4591. doi:10.21105/joss.04591Input-Guided Calibration Networks for Reliable and Interpretable Confidence Estimates
Roitberg, A.; Peng, K.; Schneider, D.; Yang, K.; Koulakis, M.; Martinez, M.; Stiefelhagen, R.
2022. IEEE Transactions on Intelligent Transportation Systems, 23 (12), 25271–25286. doi:10.1109/TITS.2022.3196410Vectorized and performance‐portable quicksort
Wassenberg, J.; Blacher, M.; Giesen, J.; Sanders, P.
2022. Software: Practice and Experience, 52 (12), 2684–2699. doi:10.1002/spe.3142NetRAX: accurate and fast maximum likelihood phylogenetic network inference
Lutteropp, S.; Scornavacca, C.; Kozlov, A. M.; Morel, B.; Stamatakis, A.
2022. (R. Schwartz, Ed.) Bioinformatics, 38 (15), 3725–3733. doi:10.1093/bioinformatics/btac396Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines
Bordis, T.; Runge, T.; Schultz, D.; Schaefer, I.
2022. Journal of Computer Languages, 70, Art.-Nr.: 101119. doi:10.1016/j.cola.2022.101119Engineering In-place (Shared-memory) Sorting Algorithms
Axtmann, M.; Witt, S.; Ferizovic, D.; Sanders, P.
2022. ACM Transactions on Parallel Computing, 9 (1), Art.-Nr.: 2. doi:10.1145/3505286SpeciesRax: A Tool for Maximum Likelihood Species Tree Inference from Gene Family Trees under Duplication, Transfer, and Loss
Morel, B.; Schade, P.; Lutteropp, S.; Williams, T. A.; Szöllősi, G. J.; Stamatakis, A.
2022. Molecular biology and evolution, 39 (2), 1–18. doi:10.1093/molbev/msab365CellPhy: accurate and fast probabilistic inference of single-cell phylogenies from scDNA-seq data
Kozlov, A.; Alves, J. M.; Stamatakis, A.; Posada, D.
2022. Genome Biology, 23 (1), Art.-Nr.: 37. doi:10.1186/s13059-021-02583-wSolving Vertex Cover in Polynomial Time on Hyperbolic Random Graphs
Bläsius, T.; Fischbeck, P.; Friedrich, T.; Katzmann, M.
2023. Theory of Computing Systems, 67, 28–51. doi:10.1007/s00224-021-10062-9Exploring parallel MPI fault tolerance mechanisms for phylogenetic inference with RAxML-NG
Hübner, L.; Kozlov, A. M.; Hespe, D.; Sanders, P.; Stamatakis, A.
2021. Bioinformatics, 37 (22), 4056–4063. doi:10.1093/bioinformatics/btab399Phylogenetic Analysis of SARS-CoV-2 Data Is Difficult
Morel, B.; Barbera, P.; Czech, L.; Bettisworth, B.; Hübner, L.; Lutteropp, S.; Serdari, D.; Kostaki, E.-G.; Mamais, I.; Kozlov, A. M.; Pavlidis, P.; Paraskevis, D.; Stamatakis, A.
2021. Molecular biology and evolution, 38 (5), 1777–1791. doi:10.1093/molbev/msaa314The SoftWipe tool and benchmark for assessing coding standards adherence of scientific software
Zapletal, A.; Höhler, D.; Sinz, C.; Stamatakis, A.
2021. Scientific Reports, 11, Art.Nr. 10015. doi:10.1038/s41598-021-89495-8Root Digger: a root placement program for phylogenetic trees
Bettisworth, B.; Stamatakis, A.
2021. BMC Bioinformatics, 22 (1), 225. doi:10.1186/s12859-021-03956-5Analysis of the Matrix Event Graph Replicated Data Type
Jacob, F.; Beer, C.; Henze, N.; Hartenstein, H.
2021. IEEE access, 9, 28317–28333. doi:10.1109/ACCESS.2021.3058576Engineering faster sorters for small sets of items
Bingmann, T.; Marianczuk, J.; Sanders, P.
2021. Software <Chichester>, 51 (5), 965–1004. doi:10.1002/spe.2922 -
Conference PapersStyle Transfer and Pseudo-Label Filtering Improve Transferability in Cell Organelle Segmentation Scenarios
Seletkov, D.; Reiß, S.; Freytag, A.; Seibold, C.; Stiefelhagen, R.
2024. 2024 IEEE International Symposium on Biomedical Imaging (ISBI), Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ISBI56570.2024.10635796Brief Announcement: Distributed Unconstrained Local Search for Multilevel Graph Partitioning
Sanders, P.; Seemaier, D.
2024. K. Agrawal & E. Petrank (Eds.), SPAA ’24: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architecture, Nantes,17th - 21st June 2024. Hrsg.: K. Agrawal; E. Petrank, 443–445, Association for Computing Machinery (ACM). doi:10.1145/3626183.3660257Modern Software Libraries for Graph Partitioning (Abstract)
Gottesbüren, L.; Maas, N.; Sanders, P.; Seemaier, D.
2024. HOPC’24: Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computin, Nantes, 17th-21st June 2024, 19 – 20, Association for Computing Machinery (ACM). doi:10.1145/3670684.3673417CESAR: Control Envelope Synthesis via Angelic Refinements
Kabra, A.; Laurent, J.; Mitsch, S.; Platzer, A.
2024. Tools and Algorithms for the Construction and Analysis of Systems – 30th International Conference (TACAS 2024). Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2024) Luxembourg City, LU, April 6–11, 2024, Proceedings., Part 1. Ed.: B. Finkbeiner, 144–164, Springer Nature Switzerland. doi:10.1007/978-3-031-57246-3_9Verification Strategies for Feature-Oriented Software Product Lines
Kuiter, E.; Knüppel, A.; Bordis, T.; Runge, T.; Schaefer, I.
2022. Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems. Ed.: P. Arcaini, 1–9, Association for Computing Machinery (ACM). doi:10.1145/3510466.3511272Uncertainty-Aware Vision-Based Metric Cross-View Geolocalization
Fervers, F.; Bullinger, S.; Bodensteiner, C.; Arens, M.; Stiefelhagen, R.
2023. 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition : Vancouver, Canada, 18-22 June 2023 : proceedingsl Ed.: M. Brown, 21621–21631, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CVPR52729.2023.02071MateRobot: Material Recognition in Wearable Robotics for People with Visual Impairments
Zheng, J.; Zhang, J.; Yang, K.; Peng, K.; Stiefelhagen, R.
2024. 2024 IEEE International Conference on Robotics and Automation (ICRA), Yokohama, Japan, 13-17 May 2024, 2303–2309, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICRA57147.2024.10610333Uniform Substitution for Differential Refinement Logic
Prebet, E.; Platzer, A.
2024. Automated Reasoning. IJCAR 2024. Part 2. Ed.: C. Benzmüller, 196–215, Springer Nature Switzerland. doi:10.1007/978-3-031-63501-4_11Complete Game Logic with Sabotage
Abou El Wafa, N.; Platzer, A.
2024. Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–15, Association for Computing Machinery (ACM). doi:10.1145/3661814.3662121Targeted Branching for the Maximum Independent Set Problem Using Graph Neural Networks
Langedal, K.; Hespe, D.; Sanders, P.
2024. 22nd International Symposium on Experimental Algorithms (SEA 2024), 20:1–20:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/lipics.sea.2024.20Tutorial: The Correctness-by-Construction Approach to Programming Using CorC
Schaefer, I.; Runge, T.; Cleophas, L.; Watson, B. W.
2021. 2021 IEEE Secure Development Conference (SecDev), 1–2, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SecDev51306.2021.00012Teaching Correctness-by-Construction and Post-hoc Verification – The Online Experience
Runge, T.; Bordis, T.; Thüm, T.; Schaefer, I.
2021. Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings. Ed.: J. Ferreira, 101–116, Springer International Publishing. doi:10.1007/978-3-030-91550-6_8FishDreamer: Towards Fisheye Semantic Completion via Unified Image Outpainting and Segmentation
Shi, H.; Li, Y.; Yang, K.; Zhang, J.; Peng, K.; Roitberg, A.; Ye, Y.; Ni, H.; Wang, K.; Stiefelhagen, R.
2023. 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), 6434–6444, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CVPRW59228.2023.00684RoDLA: Benchmarking the Robustness of Document Layout Analysis Models
Chen, Y.; Zhang, J.; Peng, K.; Zheng, J.; Liu, R.; Torr, P.; Stiefelhagen, R.
2024. 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 15556–15566, Institute of Electrical and Electronics Engineers (IEEE)Scalable SAT Solving on Demand (Abstract)
Schreiber, D.; Sanders, P.
2024. HOPC’24: Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing. Ed.: L. Dhulipala, 11–12, Association for Computing Machinery (ACM). doi:10.1145/3670684.3673414Software Resource Disaggregation for HPC with Serverless Computing
Copik, M.; Chrapek, M.; Schmid, L.; Calotoiu, A.; Hoefler, T.
2024. 2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS), San Francisco, 27th-31st May 2024, 139 – 156, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IPDPS57955.2024.00021Language-Independent Representations Improve Zero-Shot Summarization
Solovyev, V.; Liu, D.; Niehues, J.
2024. Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Vol.: 2. Ed.: K. Duh, 772–782, Association for Computational Linguistics (ACL)LightFAt: Mitigating Control-Flow Explosion via Lightweight PMU-Based Control-Flow Attestation
Gonzalez-Gomez, J.; Nassar, H.; Bauer, L.; Henkel, J.
2024. 2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)Tysons Corner, 6th-9th May 2024, 222 – 226, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/HOST55342.2024.10545348MaliGNNoma: GNN-Based Malicious Circuit Classifier for Secure Cloud FPGAs
Alrahis, L.; Nassar, H.; Krautter, J.; Gnad, D.; Bauer, L.; Henkel, J.; Tahoori, M.
2024. 2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), Tysons Corner, 6th-9th May 2024, 383 – 393, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/HOST55342.2024.10545411BlueSky: How to Raise a Robot - A Case for Neuro-Symbolic AI in Constrained Task Planning for Humanoid Assistive Robots
Hemken, N.; Jacob, F.; Tërnava, F.; Kartmann, R.; Asfour, T.; Hartenstein, H.
2024. SACMAT 2024: Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, San Antonio, 15th-17th May 2024, 117–125, Association for Computing Machinery (ACM). doi:10.1145/3649158.3657034Modeling and Analyzing Zero Trust Architectures Regarding Performance and Security
Boltz, N.; Schmid, L.; Taghavi, B.; Gerking, C.; Heinrich, R.
2024. 18th European Conference on Software Architecture (ECSA 2024), Stadt Luxemburg, 02.-06.09.2024, SpringerSustainable Software Engineering: Visions and Perspectives beyond Energy Efficiency
König, C.
2024. Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE ’24), 231 – 233, Association for Computing Machinery (ACM). doi:10.1145/3639478.3639782Cost-Efficient Construction of Performance Models
Schmid, L.; Saglam, T.; Selzer, M.; Koziolek, A.
2024. 4th Workshop on Performance EngineeRing, Modelling, Analysis, and VisualizatiOn STrategy (PERMAVOST ’24), Pisa, 3rd-4th June 2024, Association for Computing Machinery (ACM). doi:10.1145/3660317.3660322Brief Announcement: (Near) Zero-Overhead C++ Bindings for MPI
Hespe, D.; Hübner, L.; Kurpicz, F.; Sanders, P.; Schimek, M.; Seemaier, D.; Uhl, T. N.
2024. SPAA ’24: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, Nantes, 17th-21st June 2024, 289–291, Association for Computing Machinery (ACM). doi:10.1145/3626183.3660260Explainability Engineering Challenges: Connecting Explainability Levels to Run-time Explainability
Schwammberger, M.; Mirandola, R.; Wenninghoff, N.
2024. Proceedings of 2nd World Conference on Explainable Artificial Intelligence Conference (XAI2024), SpringerLogical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types
Jacob, F.; Hartenstein, H.
2024. PaPoC ’24: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, 37–43, Association for Computing Machinery (ACM). doi:10.1145/3642976.3653034Requirements Classification for Traceability Link Recovery
Hey, T.; Keim, J.; Corallo, S.
2024. 2024 IEEE 32nd International Requirements Engineering Conference (RE’24), Institute of Electrical and Electronics Engineers (IEEE)An Information-Flow Perspective on Algorithmic Fairness
Teuber, S.; Beckert, B.
2024. Proceedings of the 38th AAAI Conference on Artificial Intelligence, 15337–15345. doi:10.1609/AAAI.V38I14.29458Covert-Hammer: Coordinating Power-Hammering on Multi-tenant FPGAs via Covert Channels
Nassar, H.; Machauer, P.; Gnad, D. R. E.; Bauer, L.; Tahoori, M. B.; Henkel, J.
2024. Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Monterey, CA, 3rd-5th March 2024, 43, Association for Computing Machinery (ACM). doi:10.1145/3626202.3637613How Transferable are Attribute Controllers on Pretrained Multilingual Translation Models?
Liu, D.; Niehues, J.
2024. Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics. Vol. 1. Ed.: Y. Graham, 334–348, Association for Computational Linguistics (ACL)Benchmarking Diffusion Models for Machine Translation
Demirag, Y.; Liu, D.; Niehues, J.
2024. Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop, 313–324Grounding Graph Network Simulators using Physical Sensor Observations
Linkerhägner, J.; Freymuth, N.; Scheikl, P. M.; Mathis-Ullrich, F.; Neumann, G.
2023. 11th International Conference on Learning Representations (ICLR 2023), 27 S. doi:10.48550/arXiv.2302.11864Information-Theoretic Trust Regions for Stochastic Gradient-Based Optimization
Dahlinger, P.; Becker, P.; Maximilian, H.; Neumann, G.
2023. OPT2023: 15th Annual Workshop on Optimization for Machine LearningReinforcement Learning of Diverse Skills using Mixture of Deep Experts
Celik, O.; Taranovic, A.; Neumann, G.
2023. Intrinsically-Motivated and Open-Ended Learning Workshop@ NeurIPS2023Beyond Deep Ensembles: A Large-Scale Evaluation of Bayesian Deep Learning under Distribution Shift
Seligmann, F.; Becker, P.; Volpp, M.; Neumann, G.
2024. Advances in Neural Information Processing Systems. Ed.: A. Oh, MIT-PressInformation Maximizing Curriculum: A Curriculum-Based Approach for Learning Versatile Skills
Blessing, D.; Celik, O.; Jia, X.; Reuss, M.; Li, M.; Lioutikov, R.; Neumann, G.
2024. Advances in Neural Information Processing Systems. Ed.: A. Oh, MIT-PressAggregating Capacity in FL through Successive Layer Training for Computationally-Constrained Devices
Pfeiffer, K.; Khalili, R.; Henkel, J.
2024. Proceedings of the 37th Conference on Neural Information Processing Systems (NeuIPS 2023)TiVaPRoMi: Time-Varying Probabilistic Row-Hammer Mitigation
Nassar, H.; Bauer, L.; Henkel, J.
2021. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1711–1716, Institute of Electrical and Electronics Engineers (IEEE). doi:10.23919/DATE51398.2021.9473912Supporting Dynamic Control-Flow Execution for Runtime Reconfigurable Processors
Nassar, H.; Youssef, R.; Bauer, L.; Henkel, J.
2024. 2023 International Conference on Microelectronics (ICM), Abu Dhabi, 17th-20th December 2023, 184 – 189, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICM60448.2023.10378905Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines
Kodetzki, M.; Bordis, T.; Runge, T.; Schaefer, I.
2024. VaMoS ’24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems. Ed.: T.Kehrer, 17–26, Association for Computing Machinery (ACM). doi:10.1145/3634713.3634714Obfuscation-Resilient Software Plagiarism Detection with JPlag
Sağlam, T.; Hahner, S.; Schmid, L.; Burger, E.
2024. 46th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3639478.3643074How Students Plagiarize Modeling Assignments
Sağlam, T.; Schmid, L.; Hahner, S.; Burger, E.
2023. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västerås, 1st - 6th October 2023, 98 – 101, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C59198.2023.00032Automated Detection of AI-Obfuscated Plagiarism in Modeling Assignments
Sağlam, T.; Hahner, S.; Schmid, L.; Burger, E.
2024. Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, ICSE SEET ’24, Lissabon, 14th-20th April 2024, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3639474.3640084Detecting Automatic Software Plagiarism via Token Sequence Normalization
Sağlam, T.; Brödel, M.; Schmid, L.; Hahner, S.
2024. Proceedings of the 46th International Conference on Software Engineering, ICSE ’24, Lissabon, April 14-20, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3597503.3639192Fast Many-to-Many Routing for Dynamic Taxi Sharing with Meeting Points
Laupichler, M.; Sanders, P.
2024. Proceedings : 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). Ed.: R. Chowdhury, 74–90, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977929ShockHash: Towards Optimal-Space Minimal Perfect Hashing Beyond Brute-Force
Lehmann, H.-P.; Sanders, P.; Walzer, S.
2024. Proceedings : 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). Ed.: R. Chowdhury, 194–206, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977929.15Consistency in the View-Based Development of Cyber-Physical Systems (Convide)
Reussner, R.; Schaefer, I.; Beckert, B.; Koziolek, A.; Burger, E.
2023. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västerås, Sweden, 01-06 October 2023, 83–84, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C59198.2023.00026Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods
Ernst, G.; Weigl, A.
2024. 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Ed.: P. Herber, A. Wijs, 82 – 89, Springer Nature Switzerland. doi:10.1007/978-3-031-47705-8_5Recovering Trace Links Between Software Documentation And Code
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. ICSE ’24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. Ed.: A. Paiva, Art.-Nr.: 215, Association for Computing Machinery (ACM). doi:10.1145/3597503.3639130Detailed Annotations of Chest X-Rays via CT Projection for Report Understanding
Seibold, C.; Reiß, S.; Sarfraz, S.; Fink, M. A.; Mayer, V.; Sellner, J.; Kim, M. S.; Maier-Hein, K. H.; Kleesiek, J.; Stiefelhagen, R.
2022. 33rd British Machine Vision Conference Proceedings, BMVC 2022, British Machine Vision Association, BMVAGuiding the Guidance: A Comparative Analysis of User Guidance Signals for Interactive Segmentation of Volumetric Images
Marinov, Z.; Stiefelhagen, R.; Kleesiek, J.
2023. Medical Image Computing and Computer Assisted Intervention – MICCAI 2023 – 26th International Conference, Vancouver, BC, Canada, October 8–12, 2023, Proceedings, Part III. Ed.: H. Greenspan, 637 – 647, Springer Nature Switzerland. doi:10.1007/978-3-031-43898-1_61Are Formal Contracts a useful Digital Twin of Software Systems?
Schiffl, J.; Weigl, A.
2023. Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Ed.: S. Hallerstede, CEUR-WSQuantifying the Intrinsic Usefulness of Attributional Explanations for Graph Neural Networks with Artificial Simulatability Studies
Teufel, J.; Torresi, L.; Friederich, P.
2023. Explainable Artificial Intelligence. Part 2. Ed.: L. Longo. Proceedings. Pt. 2, 361–381, Springer Nature Switzerland. doi:10.1007/978-3-031-44067-0_19MEGAN: Multi-explanation Graph Attention Network
Teufel, J.; Torresi, L.; Reiser, P.; Friederich, P.
2023. Explainable Artificial Intelligence. Ed.: L. Longo. Proceedings. Part 2, 338–360, Springer Nature Switzerland. doi:10.1007/978-3-031-44067-0_18Delivering Arbitrary-Modal Semantic Segmentation
Zhang, J.; Liu, R.; Shi, H.; Yang, K.; Reiß, S.; Peng, K.; Fu, H.; Wang, K.; Stiefelhagen, R.
2023. 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), Vancouver, Kanada, 18-22 June 2023, 1136 – 1147, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CVPR52729.2023.00116On the Giant Component of Geometric Inhomogeneous Random Graphs
Bläsius, T.; Friedrich, T.; Katzmann, M.; Ruff, J.; Zeif, Z.
2023. I. L. Gørtz, M. Farach-Colton, S. J. Puglisi & G. Herman (Eds.), 31st Annual European Symposium on Algorithms (ESA 2023). Hrsg.: I., Li Gortz; M., Farach-Colton; S.J., Puglisi; G., Herman, 1–13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/lipics.esa.2023.20A Sweep-Plane Algorithm for Calculating the Isolation of Mountains
Funke, D.; Hüning, N.; Sanders, P.
2023. I. L. Gørtz, M. Farach-Colton, S. J. Puglisi & G. Herman (Eds.), 31st Annual European Symposium on Algorithms (ESA 2023). Hrsg.: I., Li Gortz; M., Farach-Colton; S.J., Puglisi; G., Herman, 1–17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/lipics.esa.2023.51Pareto Sums of Pareto Sets
Hespe, D.; Sanders, P.; Storandt, S.; Truschel, C.
2023. I. L. Gørtz, M. Farach-Colton, S. J. Puglisi & G. Herman (Eds.), 31st Annual European Symposium on Algorithms (ESA 2023). Hrsg.: I. Li Gortz, M. Farach-Colton, S.J. Puglisi, G. Herman, 1–17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2023.60Machine Learning-based Thermally-Safe Cache Contention Mitigation in Clustered Manycores
Sikal, M. B.; Khdr, H.; Rapp, M.; Henkel, J.
2023. 2023 60th ACM/IEEE Design Automation Conference (DAC), San Francisco, USA. 09-13 July 2023, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DAC56929.2023.10247708Late Breaking Results: Configurable Ring Oscillators as a Side-Channel Countermeasure
Nassar, H.; Pankner, S.; Bauer, L.; Henkel, J.
2023. 2023 60th ACM/IEEE Design Automation Conference (DAC), San Fancisco, USA, 09-13 July 2023, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DAC56929.2023.10247786Smart Detection of Obfuscated Thermal Covert Channel Attacks in Many-core Processors
González-Gómez, J.; Sikal, M. B.; Khdr, H.; Bauer, L.; Henkel, J.
2023. 2023 60th ACM/IEEE Design Automation Conference (DAC), San Francisco, USA, 09-13 July 2023, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DAC56929.2023.10247844Static Capability-Based Security for Smart Contracts
Schiffl, J.; Weigl, A.; Beckert, B.
2023. 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), 110 – 117, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DAPPS57946.2023.00024QIn: Enabling Formal Methods to Deal with Quantum Circuits
Klamroth, J.; Beckert, B.; Scheerer, M.; Denninger, O.
2023. 2023 IEEE International Conference on Quantum Software (QSW), Chicago, IL, 2nd - 8th July 2023, 175 – 185, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/QSW59989.2023.00029Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
Brieger, M.; Mitsch, S.; Platzer, A.
2023. Automated Deduction – CADE 29 – 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings. Ed.: B. Pientka, 96 – 115, Springer Nature Switzerland. doi:10.1007/978-3-031-38499-8_6Engineering Massively Parallel MST Algorithms
Sanders, P.; Schimek, M.
2023. IEEE International Parallel and Distributed Processing Symposium (IPDPS), St. Petersburg, FL, 15th - 19th May 2023, 691–701, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IPDPS54959.2023.00075Parallel Inference of Phylogenetic Stands with Gentrius
Togkousidis, A.; Chernomor, O.; Stamatakis, A.
2023. 2023 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 139 – 148, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IPDPSW59300.2023.00035Efficient Yao Graph Construction
Funke, D.; Sanders, P.
2023. L. Georgiadis (Ed.), 21st International Symposium on Experimental Algorithms (SEA 2023), 24th-26th July 2023, Barcelona, 0:1–20:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/lipics.sea.2023.20Learned Monotone Minimal Perfect Hashing
Ferragina, P.; Lehmann, H.-P.; Sanders, P.; Vinciguerra, G.
2023. 31st Annual European Symposium on Algorithms (ESA 2023), Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Ed.: I. Gørtz, 46:1–46:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2023.46High Performance Construction of RecSplit Based Minimal Perfect Hash Functions
Bez, D.; Kurpicz, F.; Lehmann, H.-P.; Sanders, P.
2023. 31st Annual European Symposium on Algorithms (ESA 2023), Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Ed.: I. Gørtz, 19:1–19:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2023.19Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract)
Teuber, S.; Beckert, B.
2023. Proceedings of the 2nd European Workshop on Algorithmic Fairness, Ed.: J. Alvarez, Art.-Nr.: 21, CEUR-WSA SAT-Benchmark Set from the Approximation of Trigonometric Functions for SAT-based Verification
Hiller, K.; Weigl, A.
2023. Proceedings of SAT Competition 2023 : Solver, Benchmark and Proof Checker Descriptions. Ed.: T. Balyo, 57–60, University of HelsinkiEngineering a Distributed-Memory Triangle Counting Algorithm
Sanders, P.; Uhl, T. N.
2023. 2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 702–712, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IPDPS54959.2023.00076ATLAS: Aging-Aware Task Replication for Multicore Safety-Critical Systems
Ansari, M.; Safari, S.; Yeganeh-Khaksar, A.; Siyadatzadeh, R.; Gohari-Nazari, P.; Khdr, H.; Shafique, M.; Henkel, J.; Ejlali, A.
2023. 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS), 223 – 234, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/RTAS58335.2023.00025Deterministic Performance Guarantees for Bidirectional BFS on Real-World Networks
Bläsius, T.; Wilhelm, M.
2023. Combinatorial Algorithms, 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023, Proceedings, 99 – 110, Springer Nature Switzerland. doi:10.1007/978-3-031-34347-6_9Learning to Find Proofs and Theorems by Learning to Refine Search Strategies The Case of Loop Invariant Synthesis
Laurent, J.; Platzer, A.
2022. 36th Conference on Neural Information Processing Systems (NeurIPS 2022), Neural information processing systems foundationAutomating GUI-based Software Testing with GPT-3
Zimmermann, D.; Koziolek, A.
2023. 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 62 – 65, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSTW58534.2023.00022Dynamic Flows with Time-Dependent Capacities
Bläsius, T.; Feilhauer, A.; Westenfelder, J.
2023. Algorithms and Complexity, 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023, Proceedings, Ed.: M. Mavronicolas, 142 – 156, Springer International Publishing. doi:10.1007/978-3-031-30448-4_11Refinements of Hybrid Dynamical Systems Logic
Platzer, A.
2023. Rigorous State-Based Methods – 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings. Ed.: U. Glässer, 3 – 14, Springer Nature Switzerland. doi:10.1007/978-3-031-33163-3_1Poster: How to Raise a Robot - Beyond Access Control Constraints in Assistive Humanoid Robots
Hemken, N.; Jacob, F.; Peller-Konrad, F.; Kartmann, R.; Asfour, T.; Hartenstein, H.
2023. Proceedings of the 28th ACM Symposium on Access Control Models and Technologies. Ed.: Silvio Ranise, 55–57, Association for Computing Machinery (ACM). doi:10.1145/3589608.3595078Design-time Performability Evaluation of Runtime Adaptation Strategies (Work In Progress Paper)
Rapp, M.; Scheerer, M.; Reussner, R.
2023. Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, 9–15, Association for Computing Machinery (ACM). doi:10.1145/3578245.3585028On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types
Jacob, F.; Hartenstein, H.
2023. PaPoC ’23: 10th Workshop on Principles and Practice of Consistency for Distributed Data Rome Italy 8 May 2023.Ed.: E. Gonzalez Boix, 63–69, Association for Computing Machinery (ACM). doi:10.1145/3578358.3591333ModSelect: Automatic Modality Selection for Synthetic-to-Real Domain Generalization
Marinov, Z.; Roitberg, A.; Schneider, D.; Stiefelhagen, R.
2023. Computer Vision – ECCV 2022 Workshops. Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part V, Ed.: L. Karlinsky, 326 – 346, Springer Nature Switzerland. doi:10.1007/978-3-031-25085-9_19VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction
Bordis, T.; Kodetzki, M.; Runge, T.; Schaefer, I.
2023. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops – AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers. Ed.: P. Masci, 156–163, Springer International Publishing. doi:10.1007/978-3-031-26236-4_13MonTM: Monitoring-Based Thermal Management for Mixed-Criticality Systems
Mettler, M.; Rapp, M.; Khdr, H.; Mueller-Gritschneder, D.; Henkel, J.; Schlichtmann, U.
2023. 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023), Ed.: J. Bispo, Art.-Nr.: 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/oasics.parma-ditam.2023.5Unsatisfiability proofs for distributed clause-sharing SAT solvers
Michaelson, D.; Schreiber, D.; Heule, M. J. H.; Kiesl-Reiter, B.; Whalen, M. W.
2023. Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. Ed. by Sriram Sankaranarayanan, 348–366, Springer Nature Switzerland. doi:10.1007/978-3-031-30823-9_18PaCHash: Packed and Compressed Hash Tables
Kurpicz, F.; Lehmann, H.-P.; Sanders, P.
2023. 2023 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX), 162–175, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977561.ch14SicHash - Small Irregular Cuckoo Tables for Perfect Hashing
Lehmann, H.-P.; Sanders, P.; Walzer, S.
2023. 2023 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX), Florence, I, January 22-23,2023, 176–189, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977561.ch15A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL
Kosaian, K.; Tan, Y. K.; Platzer, A.
2023. Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 211–224, Association for Computing Machinery (ACM). doi:10.1145/3573105.3575672Continuous Self-Localization on Aerial Images Using Visual and Lidar Sensors
Fervers, F.; Bullinger, S.; Bodensteiner, C.; Arens, M.; Stiefelhagen, R.
2022. 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 7028–7035, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IROS47612.2022.9982195ReStore: In-Memory REplicated STORagE for Rapid Recovery in Fault-Tolerant Algorithms
Hübner, L.; Hespe, D.; Sanders, P.; Stamatakis, A.
2022. 2022 IEEE/ACM 12th Workshop on Fault Tolerance for HPC at eXtreme Scale (FTXS), Dallas, TX, USA, 13-18 November 2022, 24–35, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/FTXS56515.2022.00008Communication-efficient Massively Distributed Connected Components
Lamm, S.; Sanders, P.
2022. 2022 IEEE International Parallel and Distributed Processing Symposium (IPDPS), Lyon, France, 30 May 2022 - 03 June 2022, 302–312, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IPDPS53621.2022.00037Graph-Constrained Contrastive Regularization for Semi-weakly Volumetric Segmentation
Reiß, S.; Seibold, C.; Freytag, A.; Rodner, E.; Stiefelhagen, R.
2022. Computer Vision – ECCV 2022 – 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XXI. Ed.: S. Avidan, 401–419, Springer Nature Switzerland. doi:10.1007/978-3-031-19803-8_24Easing the Reuse of ML Solutions by Interactive Clustering-based Autotuning in Scientific Applications
Hajiabadi, H.; Hilbert, L.; Koziolek, A.
2022. 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) : Aug. 31th – Sept. 2nd, 2022, ExpoMeloneras, Maspalomas, Gran Canaria, Spain, 5–12, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA56994.2022.00011Parallel Flow-Based Hypergraph Partitioning
Gottesbüren, L.; Heuer, T.; Sanders, P.
2022. 20th International Symposium on Experimental Algorithms (SEA 2022), 5:1–5:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.SEA.2022.5Shared-Memory n-level Hypergraph Partitioning
Gottesbüren, L.; Heuer, T.; Sanders, P.; Schlag, S.
2022. 2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). Ed.: C. Phillips, Meeting on Algorithm Engineering and Experiments (ALENEX 2022 2022) Online, 09.01.2022–10.01.2022, 131–144, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977042.11Decentralized Online Scheduling of Malleable NP-hard Jobs
Sanders, P.; Schreiber, D.
2022. Euro-Par 2022 : Parallel Processing. Hrsg.: J. Cano, 119–135, Springer International Publishing. doi:10.1007/978-3-031-12597-3_8Fast Succinct Retrieval and Approximate Membership Using Ribbon
Dillinger, P. C.; Hübschle-Schneider, L.; Sanders, P.; Walzer, S.
2022. 20th International Symposium on Experimental Algorithms (SEA 2022). Ed.: C. Schulz, Art.-Nr.: 4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.SEA.2022.4Traits: Correctness-by-Construction for Free
Runge, T.; Potanin, A.; Thüm, T.; Schaefer, I.
2022. Formal Techniques for Distributed Objects, Components, and Systems – 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings. Ed.: M. Mousavi, 131–150, Springer International Publishing. doi:10.1007/978-3-031-08679-3_9BlueSky: Combining Task Planning and Activity-Centric Access Control for Assistive Humanoid Robots
Bayreuther, S.; Jacob, F.; Grotz, M.; Kartmann, R.; Peller-Konrad, F.; Paus, F.; Hartenstein, H.; Asfour, T.
2022. SACMAT ’22: Proceedings of the 27th ACM on Symposium on Access Control Models and TechnologiesJune 2022, New York NY USA, June 8 - 10, 2022. Ed.: S. Dietrich, 185–194, Association for Computing Machinery (ACM). doi:10.1145/3532105.3535018Performance-Detective: Automatic Deduction of Cheap and Accurate Performance Models
Schmid, L.; Copik, M.; Calotoiu, A.; Werle, D.; Reiter, A.; Selzer, M.; Koziolek, A.; Hoefler, T.
2022. ACM International Conference on Supercomputing (ICS ’22), Virtual Event, June 28-30, 2022, Association for Computing Machinery (ACM). doi:10.1145/3524059.3532391On CRDTs in Byzantine Environments : Conflict Freedom, Equivocation Tolerance, and the Matrix Replicated Data Type
Jacob, F.; Bayreuther, S.; Hartenstein, H.
2022. Sicherheit 2022 : Sicherheit, Schutz und Zuverlässigkeit. Hrsg.: C. Wressnegger, 113–128, Gesellschaft für Informatik (GI). doi:10.18420/sicherheit2022_07LoopBreaker: Disabling Interconnects to Mitigate Voltage-Based Attacks in Multi-Tenant FPGAs
Nassar, H.; AlZughbi, H.; Gnad, D. R. E.; Bauer, L.; Tahoori, M. B.; Henkel, J.
2021. 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD): 1-4 November 2021, Munich, Germany, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICCAD51958.2021.9643485Adaptiope: A Modern Benchmark for Unsupervised Domain Adaptation
Ringwald, T.; Stiefelhagen, R.
2021. Proceedings 2021 IEEE Winter Conference on Applications of Computer Vision (WACV): 5-9 January 2021, Virtual Event, 101–110, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/WACV48630.2021.00015Deep multilevel graph partitioning
Gottesbüren, L.; Heuer, T.; Sanders, P.; Schulz, C.; Seemaier, D.
2021. 29th Annual European Symposium on Algorithms (ESA 2021): 6-8 September 2021, online. Ed.: P. Mutzel, Art.-Nr.: 48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2021.48Engineering MultiQueues: Fast relaxed concurrent priority queues
Williams, M.; Sanders, P.; Dementiev, R.
2021. 29th Annual European Symposium on Algorithms (ESA 2021): 6-8 September 2021, online. Ed.: P. Mutzel, Art.-Nr.: 81, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2021.81Uncertainty-sensitive activity recognition: A reliability benchmark and the caring models
Roitberg, A.; Haurilet, M.; Martinez, M.; Stiefelhagen, R.
2021. 25th International Conference on Pattern Recognition, ICPR 2020, Virtual, Milan, 10 January 2021 - 15 January 2021, 3814–3821, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICPR48806.2021.9412540Fast, exact and scalable dynamic ridesharing
Buchhold, V.; Sanders, P.; Wagner, D.
2021. 2021 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). Ed.: M. Farach-Colton, 98–112, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611976472.8Scalable SAT Solving in the Cloud
Schreiber, D.; Sanders, P.
2021. Theory and Applications of Satisfiability Testing – SAT 2021. Ed.: C.-M. Li, 518–534, Springer. doi:10.1007/978-3-030-80223-3_35Scalable Shared-Memory Hypergraph Partitioning
Gottesbüren, L.; Heuer, T.; Sanders, P.; Schlag, S.
2021. ALENEX 2021 : SIAM Symposium on Algorithm Engineering and Experiments. Ed.: M. Farach-Colton, 16–30, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611976472.2Self-guided Multiple Instance Learning for Weakly Supervised Disease Classification and Localization in Chest Radiographs
Seibold, C.; Kleesiek, J.; Schlemmer, H.-P.; Stiefelhagen, R.
2021. Computer Vision – ACCV 2020. 15th Asian Conference on Computer Vision, Kyoto, Japan, November 30 – December 4, 2020, Revised Selected Papers, Part V. Ed.: H. Ishikawa, 617–634, Springer-Verlag. doi:10.1007/978-3-030-69541-5_37 -
Reports/PreprintsC-BEV: Contrastive Bird’s Eye View Training for Cross-View Image Retrieval and 3-DoF Pose Estimation
Fervers, F.; Bullinger, S.; Bodensteiner, C.; Arens, M.; Stiefelhagen, R.
2023. arxivOpen Panoramic Segmentation
Zheng, J.; Liu, R.; Chen, Y.; Peng, K.; Wu, C.; Yang, K.; Zhang, J.; Stiefelhagen, R.
2024. arxiv. doi:10.48550/arXiv.2407.02685OAFuser: Towards Omni-Aperture Fusion for Light Field Semantic Segmentation
Teng, F.; Zhang, J.; Peng, K.; Wang, Y.; Stiefelhagen, R.; Yang, K.
2023. doi:10.48550/arXiv.2307.15588Mitigating Molecular Aggregation in Drug Discovery with Predictive Insights from Explainable AI
Sturm, H.; Teufel, J.; Isfeld, K. A.; Friederich, P.; Davis, R. L.
2023. arxiv. doi:10.48550/arXiv.2306.02206Formally Verifying an Efficient Sorter
Beckert, B.; Sanders, P.; Ulbrich, M.; Witt, S.; Wiesler, J.
2024. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167846Adaptive Bernstein change detector for high-dimensional data streams
Heyden, M.; Fouché, E.; Arzamasov, V.; Fenn, T.; Kalinke, F.; Böhm, K.
2023. doi:10.48550/arXiv.2306.12974Hardware-Aware DNN Compression via Diverse Pruning and Mixed-Precision Quantization
Balaskas, K.; Karatzas, A.; Sad, C.; Siozios, K.; Anagnostopoulos, I.; Zervakis, G.; Henkel, J.
2023. doi:10.48550/arXiv.2312.15322Contract Machines: An Engineer-friendly Specification Language for Mode-Based Systems
Bachmeier, J.; Weigl, A.; Beckert, B.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165642How to Raise a Robot - A Case for Neuro-Symbolic AI in Constrained Task Planning for Humanoid Assistive Robots
Hemken, N.; Jacob, F.; Peller-Konrad, F.; Kartmann, R.; Asfour, T.; Hartenstein, H.
2023. arxiv. doi:10.48550/arXiv.2312.08820Contract Automata: A Specification Language for Mode-Based Systems
Weigl, A.; Bachmeier, J.; Beckert, B.; Ulbrich, M.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000164563An Expert Survey on the Use of Informal Models in the Automotive Industry
Fuchß, D.; Kühn, T.; Wortmann, A.; Pfeiffer, J.; Koziolek, A.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000162389Dynamic Flows with Time-Dependent Capacities
Bläsius, T.; Feilhauer, A.; Westenfelder, J.
2023. doi:10.48550/arXiv.2302.07657Strongly Hyperbolic Unit Disk Graphs
Bläsius, T.; Friedrich, T.; Katzmann, M.; Stephan, D.
2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/lipics.stacs.2023.13Revisiting Click-Based Interactive Video Object Segmentation
Vujasinovic, S.; Bullinger, S.; Becker, S.; Scherer-Negenborn, N.; Arens, M.; Stiefelhagen, R.
2022. doi:10.48550/arXiv.2203.01784Multimodal Generation of Novel Action Appearances for Synthetic-to-Real Recognition of Activities of Daily Living
Marinov, Z.; Schneider, D.; Roitberg, A.; Stiefelhagen, R.
2022. doi:10.48550/arXiv.2208.01910Towards Automatic Parsing of Structured Visual Content through the Use of Synthetic Data
Schölch, L.; Steinhauser, J.; Beichter, M.; Seibold, C.; Yang, K.; Knäble, M.; Schwarz, T.; Mädche, A.; Stiefelhagen, R.
2022. doi:10.5445/IR/1000146801Breaking with Fixed Set Pathology Recognition through Report-Guided Contrastive Training
Seibold, C.; Reiß, S.; Sarfraz, M. S.; Stiefelhagen, R.; Kleesiek, J.
2022. doi:10.5445/IR/1000146800On Conflict-Free Replicated Data Types and Equivocation in Byzantine Setups
Jacob, F.; Bayreuther, S.; Hartenstein, H.
2021. arxiv. doi:10.5445/IR/1000137905 -
PresentationsNachhaltige Softwareentwicklung: Von der Theorie zur Anwendung
König, C.
2024, July 12. Softwaretechnik I (2024), Karlsruhe, July 12, 2024 -
Research DataThe Java Verification Tool KeY: A Tutorial
Beckert, B.; Bubel, R.; Drodt, D.; Hähnle, R.; Lanzinger, F.; Pfeifer, W.; Ulbrich, M.; Weigl, A.
2024. doi:10.5281/zenodo.11669182Replication Package: An Expert Survey on the Use of Informal Models in the Automotive Industry
Fuchß, D.; Kühn, T.; Pfeiffer, J.; Wortmann, A.; Koziolek, A.
2023. doi:10.5281/zenodo.8199850