Publications
-
Book ChaptersLiving with Uncertainty in Model-Based Development
Bernardi, S.; Famelis, M.; Jézéquel, J.-M.; Mirandola, R.; Palacin, D. P.; Polack, F. A. C.; Trubiani, C.
2021. Composing Model-Based Analysis Tools. Ed.: R. Heinrich, 159–185, Springer International Publishing. doi:10.1007/978-3-030-81915-6_8Engineering of Trust Analysis-Driven Digital Twins for a Medical Device
Bersani, M. M.; Braghin, C.; Gargantini, A.; Mirandola, R.; Riccobene, E.; Scandurra, P.
2023. Software Architecture. ECSA 2022 Tracks and Workshops – Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 467–482, Springer International Publishing. doi:10.1007/978-3-031-36889-9_31Architecting Explainable Service Robots
Bersani, M. M.; Camilli, M.; Lestingi, L.; Mirandola, R.; Rossi, M.; Scandurra, P.
2023. Software Architecture – 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings. Ed.: B. Tekinerdogan, 153–169, Springer Nature Switzerland. doi:10.1007/978-3-031-42592-9_11Foundations
Talcott, C.; Ananieva, S.; Bae, K.; Combemale, B.; Heinrich, R.; Hills, M.; Khakpour, N.; Reussner, R.; Rumpe, B.; Scandurra, P.; Vangheluwe, H.; Durán, F.; Zschaler, S.
2021. Composing Model-Based Analysis Tools. Ed.: R. Heinrich, 9–37, Springer International Publishing. doi:10.1007/978-3-030-81915-6_2Scalable 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-3Explainability Engineering Challenges: Connecting Explainability Levels to Run-Time Explainability
Schwammberger, M.; Mirandola, R.; Wenninghoff, N.
2024. Explainable Artificial Intelligence – Second World Conference, xAI 2024, Valletta, Malta, July 17–19, 2024, Proceedings, Part IV. Ed.: L. Longo, 205 – 218, Springer Nature Switzerland. doi:10.1007/978-3-031-63803-9_11Global 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_10An Efficient Branch-and-Bound Solver for Hitting Set
Bläsius, T.; Friedrich, T.; Stangl, D.; Weyand, C.
2022. 2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). Ed.: C. Phillips, 209–220, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977042.17Distributed 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_5Challenges in the Evolution of Palladio—Refactoring Design Smells in a Historically-Grown Approach to Software Architecture Analysis
Heinrich, R.; Henss, J.; Koch, S.; Reussner, R.
2021. Composing Model-Based Analysis Tools. Ed.: R. Heinrich, 235–257, Springer International Publishing. doi:10.1007/978-3-030-81915-6_11 -
BooksThe Logic of Software. A Tasting Menu of Formal Methods – Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Ahrendt, W.; Beckert, B.; Bubel, R.; Johnsen, E. B. (Eds.)
2022. Springer International Publishing. doi:10.1007/978-3-031-08166-8Software Architecture – 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers
Scandurra, P.; Galster, M.; Mirandola, R.; Weyns, D. (Eds.)
2022. Springer International Publishing. doi:10.1007/978-3-031-15116-3Composing Model-Based Analysis Tools
Heinrich, R.; Durán, F.; Talcott, C.; Zschaler, S.; Reussner, R. (Eds.)
2021. Springer International Publishing. doi:10.1007/978-3-030-81915-6 -
PhD ThesesScalable and Efficient Uncertainty Estimation and Reduction in Edge-AI Accelerators. PhD dissertation
Ahmed, S. T.
2024, November 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000173878Algorithms 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/1000165224Continually learning new languages. PhD dissertation
Pham, N. Q.
2023, December 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000164125Enabling 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/1000152872Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements. PhD dissertation
Seifermann, S.
2022. doi:10.5445/KSP/1000151563Scalable 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/1000148820Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements. PhD dissertation
Seifermann, S.
2022, July 20. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000148748Robust 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 -
Master's ThesesDistributed Asynchronous Event Relaying for P2P Matrix. master’s thesis
Schichtholz, B. D.
2024, July 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000174132 -
Journal ArticlesMeta-Scanner: Detecting Fault Attacks via Scanning FPGA Designs Metadata
Nassar, H.; Krautter, J.; Bauer, L.; Gnad, D.; Tahoori, M.; Henkel, J.
2024. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (11), 3443–3454. doi:10.1109/TCAD.2024.3443769Towards Precision-Aware Safe Neural-Controlled Cyber-Physical Systems
Thevendhriya, H.; Ghosh, S.; Lohar, D.
2025. IEEE embedded systems letters. doi:10.1109/LES.2024.3444004Discrete Fréchet Distance under Translation – Conditional Hardness and an Improved Algorithm
Bringmann, K.; Künnemann, M.; Nusser, A.
2021. ACM Transactions on Algorithms, 17 (3), 25. doi:10.1145/3460656Walking the dog fast in practice: Algorithm engineering of the Fréchet distance
Bringmann, K.; Künnemann, M.; Nusser, A.
2021. Journal of computational geometry, 12 (1), 70–108. doi:10.20382/jocg.v12i1a4Machine-Learning-based Side-Channel Attack Detection for FPGA SoCs
Bauer, L.; Nassar, H.; Khan, N.; Becker, J.; Henkel, J.
2024. IEEE Transactions on Circuits and Systems for Artificial Intelligence, 1–12. doi:10.1109/TCASAI.2024.3483118A Unified Perspective on Natural Gradient Variational Inference with Gaussian Mixture Models
Arenz, O.; Dahlinger, P.; Ye, Z.; Volpp, M.; Neumann, G.
2023. Transactions on machine learning research, 2023Robust Black-Box Optimization for Stochastic Search and Episodic Reinforcement Learning
Hüttenrauch, M.; Neumann, G.
2024. Journal of machine learning research, 25, 153:1–153:44TransKD: Transformer Knowledge Distillation for Efficient Semantic Segmentation
Liu, R.; Yang, K.; Roitberg, A.; Zhang, J.; Peng, K.; Liu, H.; Wang, Y.; Stiefelhagen, R.
2024. IEEE Transactions on Intelligent Transportation Systems, 1–17. doi:10.1109/TITS.2024.3455416Special issue on Architecting Dependable Multi-paradigm Computing Systems
Scandurra, P.; Camilli, M.; Mirandola, R.; Kang, S.
2023. Computing, 105 (9), Article no: 1847. doi:10.1007/s00607-023-01202-9Architecting for a Sustainable Digital Society
Biffl, S.; Navarro, E.; Mirandola, R.; Weyns, D.
2023. Journal of Systems and Software, 200, Article no: 111668. doi:10.1016/j.jss.2023.111668A conceptual framework for resilience: fundamental definitions, strategies and metrics
Andersson, J.; Grassi, V.; Mirandola, R.; Perez-Palacin, D.
2021. Computing, 103 (4), 559–588. doi:10.1007/s00607-020-00874-xUncertainty in Self-adaptive Systems: A Research Community Perspective
Hezavehi, S. M.; Weyns, D.; Avgeriou, P.; Calinescu, R.; Mirandola, R.; Perez-Palacin, D.
2020. ACM Transactions on Autonomous and Adaptive Systems, 15 (4), 36 S. doi:10.1145/3487921Event‐sourced, observable software architectures: An experience report
Alongi, F.; Bersani, M. M.; Ghielmetti, N.; Mirandola, R.; Tamburri, D. A.
2022. Software: Practice and Experience, 52 (10), 2127–2151. doi:10.1002/spe.3116Quantitative verification with adaptive uncertainty reduction
Alasmari, N.; Calinescu, R.; Paterson, C.; Mirandola, R.
2022. Journal of Systems and Software, 188, Article no: 111275. doi:10.1016/j.jss.2022.111275Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime
Camilli, M.; Mirandola, R.; Scandurra, P.
2023. ACM Transactions on Autonomous and Adaptive Systems, 18 (3), 32 S. doi:10.1145/3584364Metagenomic Analysis Using Phylogenetic Placement—A Review of the First Decade
Czech, L.; Stamatakis, A.; Dunthorn, M.; Barbera, P.
2022. Frontiers in Bioinformatics, 2, Art.-Nr.: 871393. doi:10.3389/fbinf.2022.871393Switched Systems as Hybrid Programs
Tan, Y. K.; Platzer, A.
2021. IFAC-PapersOnLine, 54 (5), 247–252. doi:10.1016/j.ifacol.2021.08.506Structured Proofs for Adversarial Cyber-Physical Systems
Bohrer, R.; Platzer, A.
2021. ACM Transactions on Embedded Computing Systems, 20 (5s), 1–26. doi:10.1145/3477024Pegasus: sound continuous invariant generation
Sogokon, A.; Mitsch, S.; Tan, Y. K.; Cordwell, K.; Platzer, A.
2021. Formal Methods in System Design, 58 (1-2), 5–41. doi:10.1007/s10703-020-00355-zAn axiomatic approach to existence and liveness for differential equations
Tan, Y. K.; Platzer, A.
2021. Formal Aspects of Computing, 33 (4-5), 461–518. doi:10.1007/s00165-020-00525-0Formally 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/3544970Towards a Research Agenda for Understanding and Managing Uncertainty in Self-Adaptive Systems
Weyns, D.; Calinescu, R.; Mirandola, R.; Tei, K.; Acosta, M.; Bencomo, N.; Bennaceur, A.; Boltz, N.; Bures, T.; Camara, J.; Diaconescu, A.; Engels, G.; Gerasimou, S.; Gerostathopoulos, I.; Getir Yaman, S.; Grassi, V.; Hahner, S.; Letier, E.; Litoiu, M.; Marsso, L.; Musil, A.; Musil, J.; Nunes Rodrigues, G.; Perez-Palacin, D.; Quin, F.; Scandurra, P.; Vallecillo, A.; Zisman, A.
2023. ACM SIGSOFT Software Engineering Notes, 48 (4), 20–36. doi:10.1145/3617946.3617951Behind 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, 46 (12), 8549–8567. 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.3390948AutoAugHAR: Automated Data Augmentation for Sensor-based Human Activity Recognition
Zhou, Y.; Zhao, H.; Huang, Y.; Röddiger, T.; Kurnaz, M.; Riedel, T.; Beigl, M.
2024. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 8 (2), Art.-Nr.: 48. doi:10.1145/3659589A conceptual and architectural characterization of antifragile systems
Grassi, V.; Mirandola, R.; Perez-Palacin, D.
2024. Journal of Systems and Software, 213, Art.-Nr.: 112051. doi:10.1016/j.jss.2024.112051CoCoFL: 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 ResearchActively learning costly reward functions for reinforcement learning
Eberhard, A.; Metni, H.; Fahland, G.; Stroh, A.; Friederich, P.
2024. Machine Learning: Science and Technology, 5 (1), Art.-Nr.: 015055. doi:10.1088/2632-2153/ad33e0Discovering 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/3633778Connectivity optimized nested line graph networks for crystal structures
Ruff, R.; Reiser, P.; Stühmer, J.; Friederich, P.
2024. Digital Discovery, 3 (3), 594 – 601. doi:10.1039/D4DD00018HLapGym - 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/3626527A data-driven active learning approach to reusing ML solutions in scientific applications
Hajiabadi, H.; Gerking, C.; Hilbert, L.; Koziolek, A.
2024. Journal of Systems and Software, 211, Article no: 111986. doi:10.1016/j.jss.2024.111986A Sublinear Bound on the Page Number of Upward Planar Graphs
Jungeblut, P.; Merker, L.; Ueckerdt, T.
2023. SIAM Journal on Discrete Mathematics, 37 (4), 2312–2331. doi:10.1137/22M1522450NPU-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, 38 (3), 1334–1363. doi:10.1007/s10618-023-00999-5Tight Bound on Treedepth in Terms of Pathwidth and Longest Path
Hatzel, M.; Joret, G.; Micek, P.; Pilipczuk, M.; Ueckerdt, T.; Walczak, B.
2024. Combinatorica, 44, 417–427. doi:10.1007/s00493-023-00077-wMonitoring tools for DevOps and microservices: A systematic grey literature review
Giamattei, L.; Guerriero, A.; Pietrantuono, R.; Russo, S.; Malavolta, I.; Islam, T.; Dînga, M.; Koziolek, A.; Singh, S.; Armbruster, M.; Gutierrez-Martinez, J. M.; Caro-Alvaro, S.; Rodriguez, D.; Weber, S.; Henss, J.; Vogelin, E. F.; Panojo, F. S.
2024. Journal of Systems and Software, 208, Art.-Nr.: 111906. doi:10.1016/j.jss.2023.111906Formal 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, 15 (4), 174–177. 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, 15 (4), 234–237. doi:10.1109/LES.2023.3298742Differentiable Slimming for Memory-Efficient Transformers
Penkov, N.; Balaskas, K.; Rapp, M.; Henkel, J.
2023. IEEE Embedded Systems Letters, 15 (4), 186–189. 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 (5s), 1–23. 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, 63 (4), 885–941. 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, 85 (12), 3487–3520. 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/syad002Highly-dependable printed neuromorphic circuits based on additive manufacturing
Zhao, H.; Hefenbrock, M.; Beigl, M.; Tahoori, M. B.
2023. Flexible and Printed Electronics, 8 (8), Art.-Nr.: 025018. doi:10.1088/2058-8585/acd8cdPhylourny: 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.3228897Efficiently generating geometric inhomogeneous and hyperbolic random graphs
Bläsius, T.; Friedrich, T.; Katzmann, M.; Meyer, U.; Penschuck, M.; Weyand, C.
2022. Network Science, 10 (4), 361–380. doi:10.1017/nws.2022.32Asteroid: 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/3549934On Uncertainty in Deep State Space Models for Model-Based Reinforcement Learning
Becker, P.; Neumann, G.
2022. Transactions on Machine Learning Research, (10)Mallob: 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.04591
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/btac396Deep-learning microscopy image reconstruction with quality control reveals second-scale rearrangements in RNA polymerase II clusters
Hajiabadi, H.; Mamontova, I.; Prizak, R.; Pancholi, A.; Koziolek, A.; Hilbert, L.
2022. (K. E. Nelson, Ed.) PNAS Nexus, 1 (3), 1–12. doi:10.1093/pnasnexus/pgac065An Improved Planar Graph Product Structure Theorem
Ueckerdt, T.; Wood, D. R.; Yi, W.
2022. The Electronic Journal of Combinatorics, 29 (2), Art.-Nr.: P2.51. doi:10.37236/10614Family-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.101119A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications
Ananieva, S.; Greiner, S.; Kehrer, T.; Krüger, J.; Kühn, T.; Linsbauer, L.; Grüner, S.; Koziolek, A.; Lönn, H.; Ramesh, S.; Reussner, R.
2022. Empirical Software Engineering, 27 (5), Article no: 101. doi:10.1007/s10664-021-10097-zEfficient Shortest Paths in Scale-Free Networks with Underlying Hyperbolic Geometry
Bläsius, T.; Freiberger, C.; Friedrich, T.; Katzmann, M.; Montenegro-Retana, F.; Thieffry, M.
2022. ACM Transactions on Algorithms, 18 (2), Art.-Nr.: 19. doi:10.1145/3516483Engineering 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/3505286RAxML Grove: an empirical phylogenetic tree database
Höhler, D.; Pfeiffer, W.; Ioannidis, V.; Stockinger, H.; Stamatakis, A.
2022. (R. Schwartz, Ed.) Bioinformatics, 38 (6), 1741–1742. doi:10.1093/bioinformatics/btab863SpeciesRax: 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-wThe complexity of dependency detection and discovery in relational databases
Bläsius, T.; Friedrich, T.; Schirneck, M.
2021. Theoretical Computer Science, 900, 79–96. doi:10.1016/j.tcs.2021.11.020Efficiently enumerating hitting sets of hypergraphs arising in data profiling
Bläsius, T.; Friedrich, T.; Lischeid, J.; Meeks, K.; Schirneck, M.
2022. Journal of Computer and System Sciences, 124, 192–213. doi:10.1016/j.jcss.2021.10.002Solving 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/btab399A Hitchhiker’s Guide to Model-Driven Engineering for Data-Centric Systems
Combemale, B.; Kienzle, J.; Mussbacher, G.; Ali, H.; Amyot, D.; Bagherzadeh, M.; Batot, E.; Bencomo, N.; Benni, B.; Bruel, J.-M.; Cabot, J.; Cheng, B. H. C.; Collet, P.; Engels, G.; Heinrich, R.; Jezequel, J.-M.; Koziolek, A.; Mosser, S.; Reussner, R.; Sahraoui, H.; Saini, R.; Sallou, J.; Stinckwich, S.; Syriani, E.; Wimmer, M.
2021. IEEE software, 38 (4), 71–84. doi:10.1109/MS.2020.2995125Table-based formal specification approaches for control engineers—empirical studies of usability
Cha, S.; Vogel-Heuser, B.; Weigl, A.; Ulbrich, M.; Beckert, B.
2021. IET Cyber-Physical Systems: Theory and Applications, 64, 193–207. doi:10.1049/cps2.12017Phylogenetic 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-5Realization and training of an inverter-based printed neuromorphic computing system
Weller, D. D.; Hefenbrock, M.; Beigl, M.; Aghassi-Hagmann, J.; Tahoori, M. B.
2021. Scientific Reports, 11 (1), 9554. doi:10.1038/s41598-021-88396-0Fast and Efficient High-Sigma Yield Analysis and Optimization using Kernel Density Estimation on a Bayesian Optimized Failure Rate Model
Weller, D. D.; Hefenbrock, M.; Beigl, M.; Tahoori, M. B.
2022. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41 (3), 695–708. doi:10.1109/TCAD.2021.3064440Analysis 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.3058576Efficient subspace search in data streams
Fouché, E.; Kalinke, F.; Böhm, K.
2021. Information systems, 97, Art.-Nr. 101705. doi:10.1016/j.is.2020.101705Engineering faster sorters for small sets of items
Bingmann, T.; Marianczuk, J.; Sanders, P.
2021. Software <Chichester>, 51 (5), 965–1004. doi:10.1002/spe.2922Enabling consistency in view-based system development - The Vitruvius approach
Klare, H.; Kramer, M. E.; Langhammer, M.; Werle, D.; Burger, E.; Reussner, R.
2021. The journal of systems and software, 171, Article no: 110815. doi:10.1016/j.jss.2020.110815A framework for dependency estimation in heterogeneous data streams
Fouché, E.; Mazankiewicz, A.; Kalinke, F.; Böhm, K.
2021. Distributed and parallel databases, 39, 415–444. doi:10.1007/s10619-020-07295-xReverse Engineering of Printed Electronics Circuits: From Imaging to Netlist Extraction
Erozan, A. T.; Hefenbrock, M.; Beigl, M.; Aghassi-Hagmann, J.; Tahoori, M. B.
2020. IEEE transactions on information forensics and security / Institute of Electrical and Electronics Engineers, 15, 475–486. doi:10.1109/TIFS.2019.2922237Crossover-aware placement and routing for inkjet printed circuits
Rasheed, F.; Hefenbrock, M.; Bishnoi, R.; Beigl, M.; Aghassi-Hagmann, J.; Tahoori, M. B.
2020. ACM journal on emerging technologies in computing systems, 16 (2), Article No.19. doi:10.1145/3375461Bayesian Optimized Mixture Importance Sampling for High-Sigma Failure Rate Estimation
Weller, D. D.; Hefenbrock, M.; Golanbari, M. S.; Beigl, M.; Aghassi-Hagmann, J.; Tahoori, M. B.
2020. IEEE transactions on computer-aided design of integrated circuits and systems, 39 (10), 2772–2783. doi:10.1109/tcad.2019.2961321A Layered Reference Architecture for Metamodels to Tailor Quality Modeling and Analysis
Heinrich, R.; Strittmatter, M.; Reussner, R. H.
2021. IEEE transactions on software engineering, 47 (4), 775–800. doi:10.1109/TSE.2019.2903797Impact of Intrinsic Capacitances on the Dynamic Performance of Printed Electrolyte-Gated Inorganic Field Effect Transistors
Feng, X.; Punckt, C.; Marques, G. C.; Hefenbrock, M.; Tahoori, M. B.; Aghassi-Hagmann, J.
2019. IEEE transactions on electron devices, 66 (8), 3365–3370. doi:10.1109/TED.2019.2919933Variability Modeling for Printed Inorganic Electrolyte-Gated Transistors and Circuits
Rasheed, F.; Hefenbrock, M.; Beigl, M.; Tahoori, M. B.; Aghassi-Hagmann, J.
2019. IEEE transactions on electron devices, 66 (1), 146–152. doi:10.1109/TED.2018.2867461 -
Conference PapersTowards Deep Reactions in Multi-Level, Multi-View Modeling
Weber, T.; Ojha, M.; Sadeghi, M.; König, L.; Armbruster, M.; Lange, A.; Burger, E.; Atkinson, C.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz Austria, 22nd - 27th September 2024, 760–769, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688208Towards Integrating Low-Code in View-based Development
Hermann, A.-K.; König, L.; Burger, E.; Reussner, R.
2024. MODELS Companion ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering. Ed.: M. Wimmer, 866–875, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688333KaMPIng: Flexible and (Near) Zero-Overhead C++ Bindings for MPI
Uhl, T. N.; Schimek, M.; Hübner, L.; Hespe, D.; Kurpicz, F.; Seemaier, D.; Stelz, C.; Sanders, P.
2024. International Conference for High Performance Computing, Networking, Storage and Analysis (SC24), 689–709, IEEE Computer Society. doi:10.1109/SC41406.2024.00050The VerifyThis Collaborative Long-Term Challenge Series
Ahrendt, W.; Ernst, G.; Herber, P.; Huisman, M.; Monti, R. E.; Ulbrich, M.; Weigl, A.
2025. TOOLympics Challenge 2023 – Updates, Results, Successes of the Formal-Methods Competitions. Ed.: D. Beyer, 160–170, Springer Nature Switzerland. doi:10.1007/978-3-031-67695-6_6NaturalNets: Simplified Biological Neural Networks for Learning Complex Tasks
Zimmermann, D.; Jurgens, B.; Deubel, P.; Koziolek, A.
2021. 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Prag, 27th September 2021 - 1st October 2021, 4896–4902, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IROS51168.2021.9636471LLM-based Control Code Generation using Image Recognition
Koziolek, H.; Koziolek, A.
2024. LLM4Code ’24: Proceedings of the 1st International Workshop on Large Language Models for Code (LLM4 Code), Lissabon, 20th April 2024, 38–45, Association for Computing Machinery (ACM). doi:10.1145/3643795.3648385Towards AI-Assisted Correctness-by-Construction Software Development
Kodetzki, M.; Bordis, T.; Kirsten, M.; Schaefer, I.
2025. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Ed.: T. Margaria, 222–241, Springer Nature Switzerland. doi:10.1007/978-3-031-75387-9_14Directed Acyclic Outerplanar Graphs Have Constant Stack Number
Jungeblut, P.; Merker, L.; Ueckerdt, T.
2023. 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 1937–1952, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/FOCS57990.2023.00118Split Additive Manufacturing for Printed Neuromorphic Circuits
Zhao, H.; Hefenbrock, M.; Beigl, M.; Tahoori, M. B.
2023. 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1–6, Institute of Electrical and Electronics Engineers (IEEE). doi:10.23919/DATE56975.2023.10136891Formally Verifying an Efficient Sorter
Beckert, B.; Sanders, P.; Ulbrich, M.; Wiesler, J.; Witt, S.
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, Luxembourg, April 6–11, 2024, Proceedings, Part I. Ed.: B. Finkbeiner, 268–287, Springer Nature Switzerland. doi:10.1007/978-3-031-57246-3_15Bounding Rounding Errors in the Simulation of Quantum Circuits
Klamroth, J.; Beckert, B.
2024. 2024 IEEE International Conference on Quantum Software (QSW), 99–106, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/QSW62656.2024.00024Fine-Grained Completeness for Optimization in P
Bringmann, K.; Cassis, A.; Fischer, N.; Künnemann, M.
2021. M. Wootters & L. Sanità (Eds.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2021), 9:1–9:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.APPROX/RANDOM.2021.9Towards Sub-Quadratic Diameter Computation in Geometric Intersection Graphs
Bringmann, K.; Kisfaludi‑Bak, S.; Künnemann, M.; Nusser, A.; Parsaeian, Z.
2022. X. Goaoc & M. Kerber (Eds.), 38th International Symposium on Computational Geometry (SoCG 2022), 21:1–21:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.SoCG.2022.21A tight (non-combinatorial) conditional lower bound for Klee’s Measure Problem in 3D
Kunnemann, M.
2022. 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), 555–566, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/FOCS54457.2022.00059On Rounding Errors in the Simulation of Quantum Circuits
Klamroth, J.; Beckert, B.
2024. Service-Oriented Computing – ICSOC 2023 Workshops – AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28-December 1, 2023, Revised Selected Papers. Ed.: F. Monti, 137–149, Springer Nature Singapore. doi:10.1007/978-981-97-0989-2_11Integration of a formal specification approach into CPPS engineering workflow for machinery validation
Vogel-Heuser, B.; Huber, C.; Cha, S.; Beckert, B.
2021. 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 1–8, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/INDIN45523.2021.9557505A Structural Investigation of the Approximability of Polynomial-Time Problems
Bringmann, K.; Cassis, A.; Fischer, N.; Künnemann, M.
2022. M. Bojańczyk, E. Merelli & D. P. Woodruff (Eds.), 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), 30:1–30:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ICALP.2022.30Polygon Placement Revisited: (Degree of Freedom + 1)-SUM Hardness and an Improvement via Offline Dynamic Rectangle Union
Künnemann, M.; Nusser, A.
2022. Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Ed.: J.(S.) Naor, 3181–3201, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977073.124Dynamic Time Warping Under Translation: Approximation Guided by Space-Filling Curves
Bringmann, K.; Kisfaludi‑Bak, S.; Künnemann, M.; Marx, D.; Nusser, A.
2022. X. Goaoc & M. Kerber (Eds.), 38th International Symposium on Computational Geometry (SoCG 2022), 20:1–20:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.SoCG.2022.20Combinatorial Designs Meet Hypercliques: Higher Lower Bounds for Klee’s Measure Problem and Related Problems in Dimensions d ≥ 4
Gorbachev, E.; Künnemann, M.
2023. E. W. Chambers & J. Gudmundsson (Eds.), 39th International Symposium on Computational Geometry (SoCG 2023), 36:1–36:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.SoCG.2023.36Coverability in VASS Revisited: Improving Rackoff’s Bound to Obtain Conditional Optimality
Künnemann, M.; Mazowiecki, F.; Schütze, L.; Sinclair-Banks, H.; Węgrzycki, K.
2023. K. Etessami, U. Feige & G. Puppis (Eds.), 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), 131:1–131:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ICALP.2023.131The NFA Acceptance Hypothesis: Non-Combinatorial and Dynamic Lower Bounds
Bringmann, K.; Grønlund, A.; Künnemann, M.; Larsen, K. G.
2024. V. Guruswami (Ed.), 15th Innovations in Theoretical Computer Science Conference (ITCS 2024), 22:1–22:25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ITCS.2024.22Exploring the Approximability Landscape of 3SUM
Bringmann, K.; Ghazy, A.; Künnemann, M.
2024. T. Chan, J. Fischer, J. Iacono & G. Herman (Eds.), 32nd Annual European Symposium on Algorithms (ESA 2024), 34:1–34:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2024.34The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability
Bläsius, T.; Friedrich, T.; Göbel, A.; Levy, J.; Rothenberger, R.
2021. Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), 42–53, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611976465.4Demo: Testing AI-driven MAC Learning in Autonomic Networks
Paeleke, L.; Keshtiarast, N.; Seehofer, P.; Bless, R.; Karl, H.; Petrova, M.; Zitterbart, M.
2024. 32nd IEEE International Conference on Network Protocols (ICNP), Charleroi, 28.10-31.10.2024, Institute of Electrical and Electronics Engineers (IEEE)A benchmark of categorical encoders for binary classification
Matteucci, F.; Arzamasov, V.; Böhm, K.
2023. A. Oh, T. Naumann, A. Globerson, K. Saenko, M. Hardt & S. Levine (Eds.), Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023 Hrsg.: Oh, Alice; Naumann, Tristan; Globerson, Amir; Saenko, Kate; Hardt, Moritz; Levine, Sergey, PMLRDynamic Spectrum Management for 6G Network-in-Network Concepts
Lindenschmitt, D.; Seehofer, P.; Schmitz, M.; Mertes, J.; Bless, R.; Klar, M.; Zitterbart, M.; Schotten, H. D.; Aurich, J. C.
2024. 15th International Conference on Network of the Future (NoF), Castelldefels, 2nd - 4th October 2024, Institute of Electrical and Electronics Engineers (IEEE)The Java Verification Tool KeY: A Tutorial
Beckert, B.; Bubel, R.; Drodt, D.; Hähnle, R.; Lanzinger, F.; Pfeifer, W.; Ulbrich, M.; Weigl, A.
2025. Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II, 597 – 623, Springer Nature Switzerland. doi:10.1007/978-3-031-71177-0_32Multi Time Scale World Models
Shaj, V.; Zadeh, S. G.; Demir, O.; Douat, L. R.; Neumann, G.
2023. Advances in neural information processing systems 36 : 37th Conference on Neural Information Processing Systems (NeurIPS 2023), 10-16 December 2023, New Orleans, Louisana, USA. Ed.: A. OhAcquiring Diverse Skills using Curriculum Reinforcement Learning with Mixture of Experts
Celik, O.; Taranovic, A.; Neumann, G.
2024. Proceedings of the 41st International Conference on Machine Learning. Ed.: R. Salakhutdinov, 5907–5933, PMLRNeural Contractive Dynamical Systems
Beik-Mohammadi, H.; Hauberg, S.; Arvanitidis, G.; Figueroa, N.; Neumann, G.; Rozo, L.
2024. The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024, OpenReview.netBeyond ELBOs: A Large-Scale Evaluation of Variational Methods for Sampling
Blessing, D.; Jia, X.; Esslinger, J.; Vargas, F.; Neumann, G.
2024. Proceedings of the 41st International Conference on Machine Learning. Ed.: R. Salakhutdinov, 4205–4229, PMLRTowards Diverse Behaviors: A Benchmark for Imitation Learning with Human Demonstrations
Jia, X.; Blessing, D.; Jiang, X.; Reuss, M.; Donat, A.; Lioutikov, R.; Neumann, G.
2024. The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024, OpenReview.netTowards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification
Beckert, B.; Klamroth, J.; Pfeifer, W.; Röper, P.; Teuber, S.
2024. Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’24), Crete, Greece, 27th-31st October 2024, SpringerProvably Safe Neural Network Controllers via Differential Dynamic Logic
Teuber, S.; Mitsch, S.; Platzer, A.
2024. Advances in Neural Information Processing SystemsReP2P Matrix: Decentralized Relays to Improve Reliability and Performance of Peer-to-Peer Matrix
Schichtholz, B. D.; Bless, R.; Jacob, F.; Hartenstein, H.; Zitterbart, M.
2024. Proceedings of the ACM Conext-2024 Workshop on the Decentralization of the Internet (DIN ’24), Los Angeles, CA, USA, December 9–12, 2024, Association for Computing Machinery (ACM). doi:10.1145/3694809.3700741Skalierbares SAT Solving und dessen Anwendung
Schreiber, D.
2024. Ausgezeichnete Informatikdissertationen 2023. Hrsg.: R. Reischuk, 281–290, Köllen Druck+Verlag. doi:10.18420/Diss2023-28Findings of the Second AmericasNLP Competition on Speech-to-Text Translation
Ebrahimi, A.; Mager, M.; Wiemerslage, A.; Denisov, P.; Oncevay, A.; Liu, D.; Koneru, S.; Ugan, E. Y.; Li, Z.; Niehues, J.; Romero, M.; Torre, I. G.; Alumäe, T.; Kong, J.; Polezhaev, S.; Belousov, Y.; Chen, W.-R.; Sullivan, P.; Adebara, I.; Talafha, B.; Inciarte, A. A.; Abdul-Mageed, M.; Chiruzzo, L.; Coto-Solano, R.; Cruz, H.; Flores-Solórzano, S.; López, A. A. A.; Meza-Ruiz, I.; Ortega, J. E.; Palmer, A.; Salazar, R. J. Z.; Stenzel, K.; Vu, T.; Kann, K.
2022. M. Ciccone (Ed.), Proceedings of the NeurIPS 2022. Ed.: M. Ciccone, 217–232Conditional Normalizing Flows for Active Learning of Coarse-Grained Molecular Representations
Schopmans, H.; Friederich, P.
2024. Proceedings of the 41st International Conference on Machine Learning. Ed.: R. Salakhutdinov, 43804–43827Towards continually learning new languages
Pham, N. Q.; Niehues, J.; Waibel, A.
2023. INTERSPEECH 2023, Dublin, 20th-24th August 2023, 3262–3266, International Society for Computers and Their Applications (ISCA)Decoupled Vocabulary Learning Enables Zero-Shot Translation from Unseen Languages
Mullov, C.; Pham, Q.; Waibel, A.
2024. Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), Ed.: L. Ku, A. Martins, V. Srikumar, 6693–6709, Association for Computational Linguistics (ACL). doi:10.18653/v1/2024.acl-long.362Impact of Key Scrum Role Locations in Student Distributed Software Development Projects
Čavrak, I.; Bucaioni, A.; Mirandola, R.
2023. 2023 IEEE 35th International Conference on Software Engineering Education and Training (CSEE&T), 69–78, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CSEET58097.2023.00018The Tao way to anti-fragile software architectures: the case of mobile applications
Grassi, V.; Mirandola, R.
2021. 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C), 86–89, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C52384.2021.00021Performance Modelling of Intelligent Transportation Systems: Experience Report
Pagliari, L.; D’Angelo, M.; Caporuscio, M.; Mirandola, R.; Trubiani, C.
2021. Companion of the ACM/SPEC International Conference on Performance Engineering, 19. - 23.4.2021, 155–160, Association for Computing Machinery (ACM). doi:10.1145/3447545.3451205Runtime Equilibrium Verification for Resilient Cyber-Physical Systems
Camilli, M.; Mirandola, R.; Scandurra, P.
2022. 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Washington, D.C., 27th September-1st October 2022, 71–80, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ACSOS52086.2021.00025Towards Trust-preserving Continuous Co-evolution of Digital Twins
Bersani, M. M.; Braghin, C.; Cortellessa, V.; Gargantini, A.; Grassi, V.; Presti, F. L.; Mirandola, R.; Pierantonio, A.; Riccobene, E.; Scandurra, P.
2022. 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), Honolulu. 12th-15th March 2022, 96–99, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C54293.2022.00024XSA: eXplainable Self-Adaptation
Camilli, M.; Mirandola, R.; Scandurra, P.
2022. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, Art.-Nr.: 189, Association for Computing Machinery (ACM). doi:10.1145/3551349.3559552Taming model uncertainty in self-adaptive systems using bayesian model averaging
Camilli, M.; Mirandola, R.; Scandurra, P.
2022. SEAMS ’22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems Pittsburgh, 18th-23rd May 2022, 25–35, Association for Computing Machinery (ACM). doi:10.1145/3524844.3528056A Conceptual Framework for Explainability Requirements in Software-Intensive Systems
Bersani, M. M.; Camilli, M.; Lestingi, L.; Mirandola, R.; Rossi, M.; Scandurra, P.
2023. 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW), Hannover, 4th-5th September 2023, 309–315, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/REW57809.2023.00059Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
Bersani, M. M.; Camilli, M.; Lestingi, L.; Mirandola, R.; Rossi, M.
2023. 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 18–28, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/FormaliSE58978.2023.00010Towards Better Trust in Human-Machine Teaming through Explainable Dependability
Bersani, M. M.; Camilli, M.; Lestingi, L.; Mirandola, R.; Rossi, M.; Scandurra, P.
2023. 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C), March 13 2023 to March 17 2023, L’Aquila, Italy, 86–90, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C57050.2023.00029Modular Quality-of-Service Analysis of Software Design Models for Cyber-Physical Systems
Pinciroli, R.; Mirandola, R.; Trubiani, C.
2023. Advanced Information Systems Engineering : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings. Ed.: M. Indulska, 88–104, Springer Nature Switzerland. doi:10.1007/978-3-031-34560-9_6Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models
Weber, S.; Henß, J.; Taghavi, B.; Weber, T.; Stüber, S.; Marin, A.; Rumpe, B.; Heinrich, R.
2024. Software Architecture. ECSA 2024 Tracks and Workshops – Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings. Ed.: A. Ampatzoglou, J. Pérez, B. Buhnova, V. Lenarduzzi, C. C. Venters, U. Zdun, K. Drira, L. Rebelo, D. Di Pompeo, M. Tucci, E. Y. Nakagawa, E. Navarro, 30 – 38, Springer Nature Switzerland. doi:10.1007/978-3-031-71246-3_4HBMorphic: FHE Acceleration via HBM-Enabled Recursive Karatsuba Multiplier on FPGA
Nassar, H.; Bauer, L.; Henkel, J.
2024. 2024 IEEE 32nd Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 217, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/FCCM60383.2024.00038Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems
Ananieva, S.; Kühn, T.; Reussner, R.
2022. Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 148–163, Association for Computing Machinery (ACM). doi:10.1145/3564719.3568685Automated Reverse Engineering for MoM-Based Microservices (ARE4MOM) Using Static Analysis
Singh, S.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture (ICSA), Hyderabad, 4th-8th June 2024, 12–22, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA59870.2024.00010Modeling Languages for Automotive Digital Twins : A Survey Among the German Automotive Industry
Pfeiffer, J.; Fuchß, D.; Kühn, T.; Liebhart, R.; Neumann, D.; Neimöck, C.; Seiler, C.; Koziolek, A.; Wortmann, A.
2024. MODELS ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. Ed.: A. Egyed, 92–103, Association for Computing Machinery (ACM). doi:10.1145/3640310.3674100Inconsistencies in Production Workflows and How to Model Them
Kuder, N. D.; Weber, T.; Schneider, J.; Weber, S.; Völk, T. A.; Albers, A.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th - 8th June 2024, 84 – 86, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C63560.2024.00021MoCoRe - A Generic Model-Driven Composition and Rule-Based Refinement Framework
Gstür, M.; Kirschner, Y. R.; Singh, S.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th - 8th June 2024, 273 – 280, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C63560.2024.00039Let’s Play for Action: Recognizing Activities of Daily Living by Learning from Life Simulation Video Games
Roitberg, A.; Schneider, D.; Djamal, A.; Seibold, C.; Reiß, S.; Stiefelhagen, R.
2021. 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 8563–8569, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IROS51168.2021.9636381Every Annotation Counts: Multi-label Deep Supervision for Medical Image Segmentation
Reiß, S.; Seibold, C.; Freytag, A.; Rodner, E.; Stiefelhagen, R.
2021. 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 9527–9537, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CVPR46437.2021.00941Hierarchical Nearest Neighbor Graph Embedding for Efficient Dimensionality Reduction
Sarfraz, M. S.; Koulakis, M.; Seibold, C.; Stiefelhagen, R.
2022. 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 336–345, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CVPR52688.2022.00043Pose-based Contrastive Learning for Domain Agnostic Activity Representations
Schneider, D.; Saquib Sarfraz, M.; Roitberg, A.; Stiefelhagen, R.
2022. 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), 3432–3442, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CVPRW56347.2022.00387Reference-Guided Pseudo-Label Generation for Medical Semantic Segmentation
Seibold, C. M.; Reiß, S.; Kleesiek, J.; Stiefelhagen, R.
2022. Proceedings of the 36th AAAI Conference on Artificial Intelligence, 2171–2179, Association for the Advancement of Artificial Intelligence (AAAI). doi:10.1609/aaai.v36i2.20114Decoupled Semantic Prototypes enable learning from diverse annotation types for semi-weakly segmentation in expert-driven domains
Reiß, S.; Seibold, C.; Freytag, A.; Rodner, E.; Stiefelhagen, R.
2023. 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 15495–15506, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CVPR52729.2023.01487Mirror U-Net: Marrying Multimodal Fission with Multi-task Learning for Semantic Segmentation in Medical Imaging
Marinov, Z.; Reiß, S.; Kersting, D.; Kleesiek, J.; Stiefelhagen, R.
2023. 2023 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW), 2275–2285, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICCVW60793.2023.00242Fourier Prompt Tuning for Modality-Incomplete Scene Segmentation
Liu, R.; Zhang, J.; Peng, K.; Chen, Y.; Cao, K.; Zheng, J.; Sarfraz, M. S.; Yang, K.; Stiefelhagen, R.
2024. 2024 IEEE Intelligent Vehicles Symposium (IV), 961–968, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IV55156.2024.10588722A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm
Cordwell, K.; Tan, Y. K.; Platzer, A.
2021. 12th International Conference on Interactive Theorem Proving (ITP 2021), 1–14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ITP.2021.14Verified Quadratic Virtual Substitution for Real Arithmetic
Scharager, M.; Cordwell, K.; Mitsch, S.; Platzer, A.
2021. Formal Methods – 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings. Ed.: M. Huisman, 200–217, Springer International Publishing. doi:10.1007/978-3-030-90870-6_11Deductive Stability Proofs for Ordinary Differential Equations
Tan, Y. K.; Platzer, A.
2021. Tools and Algorithms for the Construction and Analysis of Systems – 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II. Ed.: J. Groote, 181–199, Springer International Publishing. doi:10.1007/978-3-030-72013-1_10Implicit Definitions with Differential Equations for KeYmaera X – (System Description)
Gallicchio, J.; Tan, Y. K.; Mitsch, S.; Platzer, A.
2022. Automated Reasoning – 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. Ed.: J. Blanchette, 723–733, Springer International Publishing. doi:10.1007/978-3-031-10769-6_42Verifying Switched System Stability With Logic
Tan, Y. K.; Mitsch, S.; Platzer, A.
2022. HSCC ’22: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, 1–11, Association for Computing Machinery (ACM). doi:10.1145/3501710.3519541Style 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.10635796SynthAct: Towards Generalizable Human Action Recognition based on Synthetic Data
Schneider, D.; Keller, M.; Zhong, Z.; Peng, K.; Roitberg, A.; Beyerer, J.; Stiefelhagen, R.
2024. 2024 IEEE International Conference on Robotics and Automation (ICRA), 13038–13045, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICRA57147.2024.10611486Brief 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.3673417Open the Black Box: Step-based Policy Updates for Temporally-Correlated Episodic Reinforcement Learning
Li, G.; Zhou, H.; Roth, D.; Thilges, S.; Otto, F.; Lioutikov, R.; Neumann, G.
2024. ICLR 2024 : The Twelfth International Conference on Learning Representations, Vienna, 7th-11th May 2024, International Conference on Learning Representations, ICLRCESAR: 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. 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.3673414Identification of Inconsistencies in Agile CPS Engineering with Formula Student
Albers, A.; Koziolek, A.; Völk, T. A.; Klippert, M.; Pfaff, F.; Stolpmann, R.; Schwarz, S. E.
2024. Proceedings of The XXXV ISPIM Innovation ConferenceSoftware 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)DECM: Evaluating Bilingual ASR Performance on a Code-switching/mixing Benchmark
Ugan, E. Y.; Pham, N.-Q.; Waibel, A.
2024. 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings, Hybrid, Torino, 20th-25th May 2024, 4468 – 4475, European Language Resources Association (ELRA)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.10545348RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications
Riccio, V.; Sorrentino, G.; Zamponi, E.; Camilli, M.; Mirandola, R.; Scandurra, P.
2024. Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Lissabon, 15th-16th April, 2024, 161 – 167, Association for Computing Machinery (ACM). doi:10.1145/3643915.3644110MaliGNNoma: 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. Software Architecture : 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024 ; Proceedings. Ed.: M. Galster, 253–269, Springer. doi:10.1007/978-3-031-70797-1_17Sustainable 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.3639782A Practical Notion of Liveness in Smart Contract Applications
Schiffl, J.; Beckert, B.
2024. 5th International Workshop on Formal Methods for Blockchains (FMBC 2024). Ed.: B. Bernardo, 8:1–8:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/oasics.fmbc.2024.8Combining Knowledge Graphs and Large Language Models to Ease Knowledge Access in Software Architecture Research
Kaplan, A.; Keim, J.; Schneider, M.; Koziolek, A.; Reussner, R.
2024. SemTech4STLD 2024 : Semantic Technologies and Deep Learning Models for Scientific, Technical and Legal Data 2024 : Second International Workshop on Semantic Technologies and Deep Learning Models for Scientific, Technical and Legal Data (SemTech4STLD) co-located with the Extended Semantic Web Conference 2024 (ESWC 2024). Ed.: R. Dessi, 76–82, CEUR-WSCost-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.3660260Detecting Inconsistencies in Software Architecture Documentation Using Traceability Link Recovery
Keim, J.; Corallo, S.; Fuchß, D.; Koziolek, A.
2024. Software Engineering 2024 (SE 2024). Ed.: R. Rabiser, 119–120, Gesellschaft für Informatik e.V. doi:10.18420/sw2024_37Explainability 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), SpringerExplanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning
Negri, F. R.; Nicolosi, N.; Camilli, M.; Mirandola, R.
2024. IEEE/ACM proceedings of the 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2024)RAMSES: An Exemplar for Engineering Self-Adaptive Microservice Applications
Riccio, V.; Sorrentino, G.; Zamponi, E.; Camilli, M.; Mirandola, R.; Scandurra, P.
2024. IEEE/ACM proceedings of the 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2024), Institute of Electrical and Electronics Engineers (IEEE)Contract Automata: A Specification Language for Mode-Based Systems
Weigl, A.; Bachmeier, J.; Ulbrich, M.; Beckert, B.
2024. FormaliSE ’24: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 1–11, Association for Computing Machinery (ACM). doi:10.1145/3644033.3644381Logical 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.3653034The Effect of Sparsity on
Fischer, N.; Künnemann, M.; Redzic, M.
2024. Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 4704 – 4727, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977912.168The Time Complexity of Fully Sparse Matrix Multiplication
Abboud, A.; Bringmann, K.; Fischer, N.; Künnemann, M.
2024. Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 4670 – 4703, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977912.167Requirements 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.3637613Co-Simulation of Hardware and Software in Palladio
Weber, S.; Henss, J.; Reussner, R.
2024. 13th Symposium on Software Performance 2023, Stuttgart, 7th-9th November 2022, Ed.: Andrea Herrmann, 32–34, Gesellschaft für Informatik (GI). doi:https://dl.gi.de/handle/20.500.12116/43641How 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–324Fault Sensitivity Analysis of Printed Bespoke Multilayer Perceptron Classifiers
Pal, P.; Afentaki, F.; Zhao, H.; Saglam, G.; Hefenbrock, M.; Zervakis, G.; Beigl, M.; Tahoori, M. B.
2024. 29th IEEE European Test Symposium (ETS 2024), Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ETS61313.2024.10567964Grounding 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.00032SYNTACC : Synthesizing Multi-Accent Speech By Weight Factorization
Nguyen, T.-N.; Pham, N.-Q.; Waibel, A.
2023. ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Rhodos, 04th-10th June 2023, 1–5, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICASSP49357.2023.10096431Automated 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.3639192Analog Printed Spiking Neuromorphic Circuit
Pal, P.; Zhao, H.; Shatta, M.; Hefenbrock, M.; Mamaghani, S. B.; Nassif, S.; Beigl, M.; B. Tahoori, M.
2024. 2024 Design, Automation and Test in Europe Conference (DATE), 6 S., Institute of Electrical and Electronics Engineers (IEEE)Fast 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. 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX).: Ed.: R. Chowdhury, 195–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.00026Evaluating the Effectiveness of Neuroevolution for Automated GUI-Based Software Testing
Zimmermann, D.; Deubel, P.; Koziolek, A.
2023. 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), Luxembourg, Luxembourg, 11-15 September 2023, 119 – 126, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ASEW60602.2023.00021GUI-Based Software Testing: An Automated Approach Using GPT-4 and Selenium WebDriver
Zimmermann, D.; Koziolek, A.
2023. 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), Luxembourg, Luxembourg, 11-15 September 2023, 171 – 174, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ASEW60602.2023.00028Verify 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.3639130Scalable and Efficient Link Layer Topology Discovery for Autonomic Networks
Seehofer, P.; Bless, R.; Mahrt, H.; Zitterbart, M.
2023. 2023 19th International Conference on Network and Service Management (CNSM), Niagara Falls, ON, Canada, 30 October 2023 - 02 November 2023, 1–9, Institute of Electrical and Electronics Engineers (IEEE). doi:10.23919/cnsm59352.2023.10327800Engineering Self-adaptive Microservice Applications: An Experience Report
Riccio, V.; Sorrentino, G.; Camilli, M.; Mirandola, R.; Scandurra, P.
2023. Service-Oriented Computing – 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I. Ed.: F. Monti, 227–242, Springer Nature Switzerland. doi:10.1007/978-3-031-48421-6_16Detailed 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-WSTowards Temporal Information Processing – Printed Neuromorphic Circuits with Learnable Filters
Zhao, H.; Pal, P.; Hefenbrock, M.; Beigl, M.; Tahoori, M. B.
2023. 18th ACM International Symposium on Nanoscale Architectures (NANOARCH 2023), Dresden, 18.12 - 20.12.2023), Association for Computing Machinery (ACM). doi:10.5445/IR/1000164433Quantifying 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.00116Multi-kernel Times Series Outlier Detection
Kalinke, F.; Fouché, E.; Thiessen, H.; Böhm, K.
2023. Discovery Science. DS 2023. Eds.: A. Bifet, A.C. Lorena, R.P. Ribeiro, J. Gama, P.H. Abreu, 688 – 702, Springer Nature Switzerland. doi:10.1007/978-3-031-45275-8_46On 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.00035Partitioning the Bags of a Tree Decomposition into Cliques
Bläsius, T.; Katzmann, M.; Wilhelm, M.
2023. 21st International Symposium on Experimental Algorithms (SEA 2023), 24th-26th July 2023, Barcelona, 3.1–3.19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/lipics.sea.2023.3Efficient 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.20Nyström
Kalinke, F.; Szabó, Z.
2023. Proceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence, UAI 2023, 1005 – 1015, Machine Learning Research Press (ML Research Press)Demo: Enabling Autonomic Network Infrastructures with KIRA
Seehofer, P.; Mahrt, H.; Bless, R.; Zitterbart, M.
2023. ACM SIGCOMM ’23: Proceedings of the ACM SIGCOMM 2023 Conference. Ed.: H. Schulzrinne, 1165–1167, Association for Computing Machinery (ACM). doi:10.1145/3603269.3610864Automated Reverse Engineering of the Technology-Induced Software System Structure
Kirschner, Y. R.; Keim, J.; Peter, N.; Koziolek, A.
2023. Software Architecture – 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings. Ed.: B. Tekinerdogan, 283–291, Springer Nature Switzerland. doi:10.1007/978-3-031-42592-9_19Learned 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.00076Power-Aware Training for Energy-Efficient Printed Neuromorphic Circuits
Zhao, H.; Pal, P.; Hefenbrock, M.; Beigl, M.; Tahoori, M.
2023. 42nd IEEE/ACM International Conference on Computer-Aided Design, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICCAD57390.2023.10323917KIT’s Multilingual Speech Translation System for IWSLT 2023
Liu, D.; Nguyen, T. B.; Koneru, S.; Yavuz Ugan, E.; Pham, N.-Q.; Nguyen, T. N.; Dinh, T. A.; Mullov, C.; Waibel, A.; Niehues, J.
2023. Proceedings of the 20th International Conference on Spoken Language Translation (IWSLT 2023). Ed.: E. Salesky, 113–122, Association for Computational Linguistics (ACL)ATLAS: 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.00025A Taxonomy for Design Decisions in Software Architecture Documentation
Keim, J.; Hey, T.; Sauer, B.; Koziolek, A.
2023. Software Architecture. ECSA 2022 Tracks and Workshops – Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 439–454, Springer International Publishing. doi:10.1007/978-3-031-36889-9_29Deterministic 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.3595078OpenEarable: Open Hardware Earable Sensing Platform
Röddiger, T.; King, T.; Roodt, D. R.; Clarke, C.; Beigl, M.
2023. UbiComp/ISWC ’22 Adjunct: Adjunct Proceedings of the 2022 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the 2022 ACM International Symposium on Wearable Computers, 246–251, Association for Computing Machinery (ACM). doi:10.1145/3544793.3563415Design-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.3585028KeLLy – Efficient, Scalable Link Layer Topology Discovery
Seehofer, P.; Bless, R.; Zitterbart, M.
2023. NOMS 2023 IEEE/IFIP Network Operations and Management Symposium, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/NOMS56928.2023.10154355On 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.3591333Detecting Inconsistencies in Software Architecture Documentation Using Traceability Link Recovery
Keim, J.; Corallo, S.; Fuchß, D.; Koziolek, A.
2023. 20th IEEE International Conference on Software Architecture (ICSA), 141–152, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA56044.2023.00021ModSelect: 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_13Evaluation Methods and Replicability of Software Architecture Research Objects
Konersmann, M.; Kaplan, A.; Kühn, T.; Heinrich, R.; Koziolek, A.; Reussner, R.; Jurjens, J.; al-Doori, M.; Boltz, N.; Ehl, M.; Fuchß, D.; Groser, K.; Hahner, S.; Keim, J.; Lohr, M.; Saglam, T.; Schulz, S.; Toberg, J.-P.
2023. Software Engineering 2023 : Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023 Paderborn. Ed.: G. Engels; M. Tichy, 75–76, Gesellschaft für Informatik (GI)MonTM: 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.ch15Strongly Hyperbolic Unit Disk Graphs
Bläsius, T.; Friedrich, T.; Katzmann, M.; Stephan, D.
2023. 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023). Ed.: P. Berenbrink, 13.1–13.17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/lipics.stacs.2023.13Highly-Bespoke Robust Printed Neuromorphic Circuits
Zhao, H.; Sapui, B.; Hefenbrock, M.; Yang, Z.; Beigl, M.; Tahoori, M. B.
2023. 2023 Design, Automation and Test in Europe Conference & Exhibition (DATE), Institute of Electrical and Electronics Engineers (IEEE)A 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.3575672Adversarial Imitation Learning with Preferences
Taranovic, A.; Kupcsik, A. G.; Freymuth, N.; Neumann, G.
2023. International Conference on Learning RepresentationsAccurate Bayesian Meta-Learning by Accurate Task Posterior Inference
Volpp, M.; Dahlinger, P.; Becker, P.; Daniel, C.; Neumann, G.
2023. International Conference on Learning RepresentationsContinuous 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.00008Uncertainty in coupled models of cyber-physical systems
Acosta, M.; Hahner, S.; Koziolek, A.; Kühn, T.; Mirandola, R.; Reussner, R.
2022. Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 569–578, Association for Computing Machinery (ACM). doi:10.1145/3550356.3561539Communication-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_24Towards a Usable and Sustainable Deductive Verification Tool
Beckert, B.; Bubel, R.; Hähnle, R.; Ulbrich, M.
2022. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. Ed.: T. Margaria, 281–300, Springer Nature Switzerland. doi:10.1007/978-3-031-19756-7_16Easing 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.11Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems
Beckert, B.; Ulbrich, M.; Vogel-Heuser, B.; Weigl, A.
2022. Theoretical Aspects of Computing – ICTAC 2022 – 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings. Ed.: H. Seidl, 7–13, Springer International Publishing. doi:10.1007/978-3-031-17715-6_2Learning an Artificial Language for Knowledge-Sharing in Multilingual Translation
Liu, D.; Niehues, J.
2022. 7th Conference on Machine Translation (WMT 2022), Abu Dhabi, 7 -8. December 2022, Association for Computational Linguistics (ACL)Accurate Performance Predictions with Component-Based Models of Data Streaming Applications
Werle, D.; Seifermann, S.; Koziolek, A.
2022. Software Architecture – 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19–23, 2022, Proceedings. Ed.: I. Gerostathopoulos, 83–98, Springer International Publishing. doi:10.1007/978-3-031-16697-6_6Towards an integrated approach for managing the variability and evolution of both software and hardware components
Wittler, J. W.; Kühn, T.; Reussner, R.
2022. Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Ed.: A. Felfernig, 94–98, Association for Computing Machinery (ACM). doi:10.1145/3503229.3547059ARCHI4MOM: Using Tracing Information to Extract the Architecture of Microservice-Based Systems from Message-Oriented Middleware
Singh, S.; Werle, D.; Koziolek, A.
2022. Software Architecture : 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19–23, 2022, Proceedings. Ed.: I. Gerostathopoulos., 189–204, Springer International Publishing. doi:10.1007/978-3-031-16697-6_14On the External Validity of Average-Case Analyses of Graph Algorithms
Bläsius, T.; Fischbeck, P.
2022. 30th Annual European Symposium on Algorithms (ESA 2022): Ed.: Shiri Chechik, Art.Nr. 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2022.21Toward Awareness Creation of Common Challenges Women are Facing in Academia: A Study from a German Perspective
Corallo, S.; Mazkatli, M.; Rapp, M.; Hajiabadi, H.; Kaplan, A.; Kuehn, R.; Schmid, L.; Singh, S.
2022. Software Architecture – 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers. Ed.: P. Scandurra, 47–62, Springer International Publishing. doi:10.1007/978-3-031-15116-3_3Hidden Parameter Recurrent State Space Models For Changing Dynamics Scenarios
Shaj, V.; Büchler, D.; Sonker, R.; Becker, P.; Neumann, G.
2022. 10th International Conference on Learning Representations (ICLR), 23 SDesign-time Performability Optimization of Runtime Adaptation Strategies
Rapp, M.; Scheerer, M.; Reussner, R.
2022. ICPE ’22: Companion of the 2022 ACM/SPEC International Conference on Performance Engineering, 113–120, Association for Computing Machinery (ACM). doi:10.1145/3491204.3527471Printed Electrodermal Activity Sensor with Optimized Filter for Stress Detection
Zhao, H.; Scholz, A.; Beigl, M.; Ni, S.; Singaraju, S. A.; Aghassi-Hagmann, J.
2022. International Symposium on Wearable Computers (ISWC’22) , Atlanta, GA and Cambridge, UK, September 11-15, 2022, 112–114, Association for Computing Machinery (ACM). doi:10.1145/3544794.3558479Aging-Aware Training for Printed Neuromorphic Circuits
Zhao, H.; Hefenbrock, M.; Beigl, M.; Tahoori, M. B.
2022. International Conference on Computer Aided Design (ICCAD ’22), October 30-November 3, 2022, San Diego, CA, USA, Art.-No.: 38, Association for Computing Machinery (ACM). doi:10.1145/3508352.3549411Feature-based Investigation of Simulation Structure and Behaviour
Koch, S.; Hamann, E.; Heinrich, R.; Reussner, R.
2022. Software Architecture – 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19–23, 2022, Proceedings. Ed.: I. Gerostathopoulos, 178–185, Springer. doi:10.1007/978-3-031-16697-6_13Decentralized 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_8On Comparable Box Dimension
Dvorák, Z.; Gonçalves, D.; Lahiri, A.; Tan, J.; Ueckerdt, T.
2022. 38th International Symposium on Computational Geometry (SoCG 2022). Ed.: X. Goaoc, Art.-Nr.: 38, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.SoCG.2022.38Weak Coloring Numbers of Intersection Graphs
Dvorák, Z.; Pekárek, J.; Ueckerdt, T.; Yuditsky, Y.
2022. 38th International Symposium on Computational Geometry (SoCG 2022). Ed.: X. Goaoc, Art.-Nr.: 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.SoCG.2022.39Fast 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_9Replication Package of "Evaluation Methods and Replicability of Software Architecture Research Objects"
Konersmann, M.; Kaplan, A.; Kuhn, T.; Heinrich, R.; Koziolek, A.; Reussner, R.; Jurjens, J.; Al-Doori, M.; Boltz, N.; Ehl, M.; Fuchß, D.; Groser, K.; Hahner, S.; Keim, J.; Lohr, M.; Saglam, T.; Schulz, S.; Toberg, J.-P.
2022. ICSA 2022 – Journal First Track Papers: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), 58, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C54293.2022.00021CUNI-KIT System for Simultaneous Speech Translation Task at IWSLT 2022
Polák, P.; Pham, N.-Q.; Nguyen, T. N.; Liu, D.; Mullov, C.; Niehues, J.; Bojar, O.; Waibel, A.
2022. Proceedings of the 19th International Conference on Spoken Language Translation (IWSLT 2022). Ed.: E. Salesky, 277–285, Association for Computational Linguistics (ACL). doi:10.18653/v1/2022.iwslt-1.24A Sublinear Bound on the Page Number of Upward Planar Graphs
Jungeblut, P.; Merker, L.; Ueckerdt, T.
2022. Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Ed.: J.(S.) Naor, 963–978, Association for Computing Machinery (ACM). doi:10.1137/1.9781611977073.42Psychometric Properties of the User Experience Questionnaire (UEQ)
Schankin, A.; Budde, M.; Riedel, T.; Beigl, M.
2022. CHI ’22: CHI Conference on Human Factors in Computing Systems ; 29 April – 5 May 2022, New Orleans, LA, USA, Art.-Nr.: 466, Association for Computing Machinery (ACM). doi:10.1145/3491102.3502098Evaluation Methods and Replicability of Software Architecture Research Objects
Konersmann, M.; Kaplan, A.; Kuhn, T.; Heinrich, R.; Koziolek, A.; Reussner, R.; Jurjens, J.; al-Doori, M.; Boltz, N.; Ehl, M.; Fuchß, D.; Groser, K.; Hahner, S.; Keim, J.; Lohr, M.; Saglam, T.; Schulz, S.; Toberg, J.-P.
2022. 2022 IEEE 19th International Conference on Software Architecture (ICSA), Honolulu, HI, USA, 12-15 March 2022, 157–168, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA53651.2022.00023BlueSky: 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_07Tackling Data Scarcity in Speech Translation Using Zero-Shot Multilingual Machine Translation Techniques
Dinh, T. A.; Liu, D.; Niehues, J.
2022. IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Singapor, May 22-27, 6222–6226, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICASSP43922.2022.9746815Unsupervised Machine Translation On Dravidian Languages
Koneru, S.; Liu, D.; Niehues, J.
2021. DravidianLangTech EACL 2021 : 16th conference of the European Chapter of the Association for Computational Linguistics (EACL), Proceedings of the First Workshop on Speech and Language Technologies for Dravidian Languages. Ed.: B. R. Chakravarthi, 55–64, Association for Computational Linguistics (ACL)Improving Zero-Shot Translation by Disentangling Positional Information
Liu, D.; Niehues, J.; Cross, J.; Guzmán, F.; Li, X.
2021. Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing. Vol.: 1. Ed.: C. Zong, 1259–1273, Association for Computational Linguistics (ACL). doi:10.18653/v1/2021.acl-long.101Towards Managing and Organizing Research Activities
Kaplan, A.; Rapp, M.; Ananieva, S.; Hajiabad, H.; Kühn, R.; Mazkatli, M.; Schmid, L.; Singh, S.
2021. 8th ACM Celebration of Women in Computing: womENcourage 2021Unified Operations for Variability in Space and Time
Ananieva, S.; Greiner, S.; Krueger, J.; Linsbauer, L.; Gruener, S.; Kehrer, T.; Kuehn, T.; Seidl, C.; Reussner, R.
2022. Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems, 1–10, Association for Computing Machinery (ACM). doi:10.1145/3510466.3510483LoopBreaker: 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.00015Linear Layouts of Complete Graphs
Felsner, S.; Merker, L.; Ueckerdt, T.; Valtr, P.
2021. Graph Drawing and Network Visualization: 29th International Symposium, GD 2021, Tübingen, Germany, September 14–17, 2021, Revised Selected Papers. Ed.: H. C. Purchase, 257–270, Springer-Verlag. doi:10.1007/978-3-030-92931-2_19On the Queue-Number of Partial Orders
Felsner, S.; Ueckerdt, T.; Wille, K.
2021. Graph Drawing and Network Visualization: 29th International Symposium, GD 2021, Tübingen, Germany, September 14–17, 2021, Revised Selected Papers. Ed.: H. C. Purchase, 231–241, Springer-Verlag. doi:10.1007/978-3-030-92931-2_17Trace Link Recovery for Software Architecture Documentation
Keim, J.; Schulz, S.; Fuchß, D.; Kocher, C.; Speit, J.; Koziolek, A.
2021. Software Architecture. Ed.: S. Biffl, 101–116, Springer-Verlag. doi:10.1007/978-3-030-86044-8_7Efficiently computing maximum flows in scale-free networks
Bläsius, T.; Friedrich, T.; Weyand, C.
2021. 29th Annual European Symposium on Algorithms (ESA 2021): 6-8 September 2021, online. Ed.: P. Mutzel, Art.-Nr.: 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2021.21Deep 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.81Efficiently approximating vertex cover on scale-free networks with underlying hyperbolic geometry
Bläsius, T.; Friedrich, T.; Katzmann, M.
2021. 29th Annual European Symposium on Algorithms, ESA 2021: 6-8 September 2021, online, 20:1–20:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2021.20Reliability Prediction of Self-Adaptive Systems Managing Uncertain AI Black-Box Components
Scheerer, M.; Reussner, R.
2021. 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) : 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021, Online, 18 May 2021 - 24 May 2021, 111–117, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAMS51251.2021.00024Uncertainty-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.9412540Force-directed embedding of scale-free networks in the hyperbolic plane
Bläsius, T.; Friedrich, T.; Katzmann, M.
2021. 19th International Symposium on Experimental Algorithms (SEA 2021). Ed.: D. Coudert, Art.-Nr.: 22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.SEA.2021.22Enabling Consistency between Software Artefacts for Software Adaption and Evolution
Monschein, D.; Mazkatli, M.; Heinrich, R.; Koziolek, A.
2021. Proceedings IEEE 18th International Conference on Software Architecture: 22-26 March 2021 ; virtual conference, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA51549.2021.00009Fast, 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.8Towards extraction of message-based communication in mixed-technology architectures for performance model
Singh, S.; Kirschner, Y. R.; Koziolek, A.
2021. ICPE ’21: Companion of the ACM/SPEC International Conference on Performance Engineering, 133–138, Association for Computing Machinery (ACM). doi:10.1145/3447545.3451201Scalable 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_37Differentiable Trust Region Layers for Deep Reinforcement Learning
Fabian, O.; Becker, P.; Ngo, V.; Ziesche, H.; Neumann, G.
2021. International Conference on Learning RepresentationsBayesian Context Aggregation for Neural Processes
Volpp, M.; Grossberger, L.; Daniel, C.; Flürenbrock, F.; Neumann, G.
2021. International Conference on Learning RepresentationsFast and Accurate High-Sigma Failure Rate Estimation through Extended Bayesian Optimized Importance Sampling
Hefenbrock, M.; Weller, D. D.; Beigl, M.; Tahoori, M. B.
2020. 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Ed.: G. Di Natale, 103–108, Institute of Electrical and Electronics Engineers (IEEE). doi:10.23919/DATE48585.2020.9116242Programmable Neuromorphic Circuit based on Printed Electrolyte-Gated Transistors
Weller, D. D.; Hefenbrock, M.; Tahoori, M. B.; Aghassi-Hagmann, J.; Beigl, M.
2020. 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 446–451, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ASP-DAC47756.2020.9045211Predictive Modeling and Design Automation of Inorganic Printed Electronics
Rasheed, F.; Hefenbrock, M.; Bishnoi, R.; Beigl, M.; Aghassi-Hagmann, J.; Tahoori, M. B.
2019. Proceedings of the 2019 Design, Automation & Test in Europe (DATE), 25-29 March 2019, Florence, Italy, 30–35, Institute of Electrical and Electronics Engineers (IEEE). doi:10.23919/DATE.2019.8715159Bayesian Optimized Importance Sampling for High Sigma Failure Rate Estimation
Weller, D. D.; Hefenbrock, M.; Golanbari, M. S.; Beigl, M.; Tahoori, M. B.
2019. Proceedings of the 2019 Design, Automation & Test in Europe (DATE), 25-29 March 2019, Florence, Italy, 1667–1672, Institute of Electrical and Electronics Engineers (IEEE). doi:10.23919/DATE.2019.8714879 -
Conference ProceedingsSoftware Architecture – 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings
Biffl, S.; Navarro, E.; Löwe, W.; Sirjani, M.; Mirandola, R.; Weyns, D. (Eds.)
2021. Springer International Publishing. doi:10.1007/978-3-030-86044-8Service-Oriented Computing – ICSOC 2022 Workshops
Troya, J.; Mirandola, R.; Navarro, E.; Delgado, A.; Segura, S.; Ortiz, G.; Pautasso, C.; Zirpins, C.; Fernández, P.; Ruiz-Cortés, A. (Eds.)
2023. Springer Nature Switzerland. doi:10.1007/978-3-031-26507-5 -
Reports/PreprintsClustered independence and bounded treewidth
Knauer, K.; Ueckerdt, T.
2023. doi:10.48550/arXiv.2303.13655On the complexity of embedding in graph products
Biedl, T.; Eppstein, D.; Ueckerdt, T.
2023. doi:10.48550/arXiv.2303.17028Tight Bound on Treedepth in Terms of Pathwidth and Longest Path
Hatzel, M.; Joret, G.; Micek, P.; Pilipczuk, M.; Ueckerdt, T.; Walczak, B.
2023. doi:10.48550/arXiv.2302.02995On Comparable Box Dimension
Dvorák, Z.; Goncalves, D.; Lahiri, A.; Tan, J.; Ueckerdt, T.
2022. arxiv. doi:10.48550/arXiv.2203.07686Directed Acyclic Outerplanar Graphs Have Constant Stack Number
Jungeblut, P.; Merker, L.; Ueckerdt, T.
2022. arxiv. doi:10.48550/arXiv.2211.04732Weak Coloring Numbers of Intersection Graphs
Dvořák, Z.; Pekárek, J.; Ueckerdt, T.; Yuditsky, Y.
2021. arxiv. doi:10.48550/arXiv.2103.17094An Information-Flow Perspective on Algorithmic Fairness
Teuber, S.; Beckert, B.
2023. arxiv. doi:10.48550/arXiv.2312.10128Structure and Independence in Hyperbolic Uniform Disk Graphs
Bläsius, T.; von der Heydt, J.-P.; Kisfaludi-Bak, S.; Wilhelm, M.; van Wordragen, G.
2024. arxiv. doi:10.48550/arXiv.2407.09362Robust Parameter Fitting to Realistic Network Models via Iterative Stochastic Approximation
Bläsius, T.; Cohen, S.; Fischbeck, P.; Friedrich, T.; Krejca, M. S.
2024. arxiv. doi:10.48550/arXiv.2402.05534On the Giant Component of Geometric Inhomogeneous Random Graphs
Bläsius, T.; Friedrich, T.; Katzmann, M.; Ruff, J.; Zeif, Z.
2023. arxiv. doi:10.48550/arXiv.2306.09506Maximal Cliques in Scale-Free Random Graphs
Bläsius, T.; Katzmann, M.; Stegehuis, C.
2023. arxiv. doi:10.48550/arXiv.2309.02990Partitioning the Bags of a Tree Decomposition Into Cliques
Bläsius, T.; Katzmann, M.; Wilhelm, M.
2023. arxiv. doi:10.48550/arXiv.2302.08870Recognizing Unit Disk Graphs in Hyperbolic Geometry is
Bieker, N.; Bläsius, T.; Dohse, E.; Jungeblut, P.
2023. arxiv. doi:10.48550/arXiv.2301.05550On the External Validity of Average-Case Analyses of Graph Algorithms
Bläsius, T.; Fischbeck, P.
2022. arxiv. doi:10.48550/arXiv.2205.15066Strongly Hyperbolic Unit Disk Graphs
Bläsius, T.; Friedrich, T.; Katzmann, M.; Stephan, D.
2021. arxiv. doi:10.48550/arXiv.2107.05518The Complexity of Dependency Detection and Discovery in Relational Databases
Bläsius, T.; Friedrich, T.; Schirneck, M.
2021. arxiv. doi:10.48550/arXiv.2103.13331An Efficient Branch-and-Bound Solver for Hitting Set
Bläsius, T.; Friedrich, T.; Stangl, D.; Weyand, C.
2021. arxiv. doi:10.48550/arXiv.2110.11697Accent conversion using discrete units with parallel data synthesized from controllable accented TTS
Nguyen, T. N.; Pham, N. Q.; Waibel, A.
2024. arxiv. doi:10.48550/arXiv.2410.03734The Minimax Rate of HSIC Estimation for Translation-Invariant Kernels
Kalinke, F.; Szabo, Z.
2024. arxiv. doi:10.48550/arXiv.2403.07735Nyström Kernel Stein Discrepancy
Kalinke, F.; Szabo, Z.; Skriperumbudur, B. K.
2024. arxiv. doi:10.48550/arXiv.2406.08401Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems
Weyns, D.; Avegriou, P.; Calinescu, R.; Hezavehi, S. M.; Mirandola, R.; Perez-Palacin, D.
2022. arxiv. doi:10.48550/arXiv.2211.17218UBR
Ringwald, T.; Stiefelhagen, R.
2021. doi:10.48550/arXiv.2110.11739Deep Interactive Segmentation of Medical Images: A Systematic Review and Taxonomy
Marinov, Z.; Jäger, P. F.; Egger, J.; Kleesiek, J.; Stiefelhagen, R.
2023. doi:10.48550/arXiv.2311.13964Anatomy-guided Pathology Segmentation
Jaus, A.; Seibold, C.; Reiß, S.; Heine, L.; Schily, A.; Kim, M.; Bahnsen, F. H.; Herrmann, K.; Stiefelhagen, R.; Kleesiek, J.
2024. doi:10.48550/arXiv.2407.05844Retriever: A View-Based Approach to Reverse Engineering Software Architecture Models
Kirschner, Y. R.; Gstür, M.; Sağlam, T.; Weber, S.; Koziolek, A.
2024. Elsevier B.V. doi:10.2139/ssrn.4686183C-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.15588Neural Architecture Search for Highly Bespoke Robust Printed Neuromorphic Circuits
Pal, P.; Zhao, H.; Gheshlaghi, T.; Hefenbrock, M.; Beigl, M.; Tahoori, M. B.
2024. ACM Digital Library. doi:10.5445/IR/1000172645Swarm Reinforcement Learning For Adaptive Mesh Refinement
Freymuth, N.; Dahlinger, P.; Würth, T.; Reisch, S.; Kärger, L.; Neumann, G.
2023. arxiv. doi:10.48550/arXiv.2304.00818Mitigating 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/1000162389A Formalized Classification Schema for Model Consistency
Kühn, T.; Fuchß, D.; Corallo, S.; König, L.; Burger, E.; Keim, J.; Mazkatli, M.; Sağlam, T.; Reiche, F.; Koziolek, A.; Reussner, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161127Deterministic Performance Guarantees for Bidirectional BFS on Real-World Networks
Bläsius, T.; Wilhelm, M.
2022. doi:10.48550/arXiv.2209.15300Dynamic Flows with Time-Dependent Capacities
Bläsius, T.; Feilhauer, A.; Westenfelder, J.
2023. doi:10.48550/arXiv.2302.07657Revisiting 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.01910Establishing a Benchmark Dataset for Traceability Link Recovery between Software Architecture Documentation and Models
Fuchß, D.; Corallo, S.; Keim, J.; Speit, J.; Koziolek, A.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000151962Continuous Integration of Architectural Performance Models with Parametric Dependencies – The CIPM Approach
Mazkatli, M.; Monschein, D.; Armbruster, M.; Heinrich, R.; Koziolek, A.
2022. doi:10.5445/IR/1000151086/v2NoRBERT: Transfer Learning for Requirements Classification
Hey, T.; Keim, J.; Koziolek, A.; Tichy, W. F.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000150464A Taxonomy for Design Decisions in Software Architecture Documentation
Keim, J.; Hey, T.; Sauer, B.; Koziolek, A.
2022. doi:10.5445/IR/1000149966An Improved Planar Graph Product Structure Theorem
Ueckerdt, T.; Wood, D. R.; Yi, W.
2021. doi:10.48550/arXiv.2108.00198A Sublinear Bound on the Page Number of Upward Planar Graphs
Jungeblut, P.; Merker, L.; Ueckerdt, T.
2022. doi:10.48550/arXiv.2107.05227Supplementary Material for the Evaluation of the Publication – A Layered Reference Architecture for Model-based Quality Analysis
Koch, S.; Heinrich, R.; Reussner, R.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000146803/v2Towards 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/1000146800Efficient Shortest Paths in Scale-Free Networks with Underlying Hyperbolic Geometry
Bläsius, T.; Freiberger, C.; Friedrich, T.; Katzmann, M.; Montenegro-Retana, F.; Thieffry, M.
2022. doi:10.48550/arXiv.1805.03253On Conflict-Free Replicated Data Types and Equivocation in Byzantine Setups
Jacob, F.; Bayreuther, S.; Hartenstein, H.
2021. arxiv. doi:10.5445/IR/1000137905Model-driven Quantification of Correctness with Palladio and KeY
Reiche, F.; Schiffl, J.; Weigl, A.; Heinrich, R.; Beckert, B.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000128855 -
PresentationsNachhaltige Softwareentwicklung: Von der Theorie zur Anwendung
König, C.
2024, July 12. Softwaretechnik I (2024), Karlsruhe, July 12, 2024 -
PostersMulti-requirement Parametric Falsification
Camilli, M.; Mirandola, R.
2024. 46th International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal, April 14–20, 2024Active learning for excited states dynamics simulations to discover molecular degradation pathways
Zhou, C.; Kumar, P.; Escudero, D.; Friederich, P.
2023. 37th Conference on Neural Information Processing Systems (NeurIPS 2023), New Orleans, LA, USA, December 10–16, 2023Towards Managing and Organizing Research Activities
Kaplan, A.; Rapp, M.; Ananieva, S.; Hajiabadi, H.; Kühn, R.; Mazkatli, M.; Schmid, L.; Singh, S.
2021. 8th ACM Celebration of Women in Computing: womENcourage (2021), Online, September 22–24, 2021 -
Research DataView-Based-Reverse-Engineering/Retriever-Benchmark: v5.2.0.202410181425
Kirschner, Y. R.; Bossert, F.; Stahl, M.; Koziolek, A.
2024. doi:10.5281/zenodo.13952589View-Based-Reverse-Engineering/Retriever: v5.2.0.202410181425
Kirschner, Y. R.; Bossert, F.; Gstür, M.; Peter, N.; Stahl, M.; Koziolek, A.
2024, October 18. doi:10.5281/zenodo.13951797Dataset and Replication Package for the View-Based Retriever Approach To Reverse Engineering Software Architecture Models
Kirschner, Y.; Moritz, G.; Sağlam, T.; Weber, S.; Koziolek, A.
2024, May 24. doi:10.5281/zenodo.11144303The 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 for ICSE24 paper "Recovering Trace Links Between Software Documentation And Code"
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. doi:10.5281/zenodo.10411853Replication 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 -
Audio & Video
-
OtherFormally Verifying an Efficient Sorter - Verification and Benchmarking Artifact
Beckert, B.; Sanders, P.; Ulbrich, M.; Wiesler, J.; Witt, S.
2023, December 30. Zenodo. doi:10.5281/zenodo.10445579