Publications
-
Book ChaptersDistributed 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_30 -
Journal ArticlesCoCoFL: Communication- and Computation-Aware Federated Learning via Partial NN Freezing and Quantization
Pfeiffer, K.; Rapp, M.; Khalili, R.; Henkel, J.
2023. Transactions on Machine Learning ResearchDiscovering Functional Dependencies through Hitting Set Enumeration
Bleifuß, T.; Papenbrock, T.; Bläsius, T.; Schirneck, M.; Naumann, F.
2024. Proceedings of the ACM on Management of Data, 2 (1), 1–24. doi:10.1145/3639298On the External Validity of Average-case Analyses of Graph Algorithms
Bläsius, T.; Fischbeck, P.
2024. ACM Transactions on Algorithms, 20 (1), 1–42. doi:10.1145/3633778LapGym - An Open Source Framework for Reinforcement Learning in Robot-Assisted Laparoscopic Surgery
Scheikl, P. M.; Gyenes, B.; Younis, R.; Haas, C.; Neumann, G.; Wagner, M.; Mathis-Ullrich, F.
2023. Journal of Machine Learning Research, 24 (368), 1–42NPU-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.3346944Formal 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/3594729Effects of Runtime Reconfiguration on PUFs Implemented as FPGA-Based Accelerators
Nassar, H.; Bauer, L.; Henkel, J.
2023. IEEE Embedded Systems Letters. doi:10.1109/LES.2023.3299214Swift-CNN: Leveraging PCM Memory’s Fast Write Mode to Accelerate CNNs
Siddhu, L.; Nassar, H.; Bauer, L.; Hakert, C.; Hölscher, N.; Chen, J.-J.; Henkel, J.
2023. IEEE Embedded Systems Letters. doi:10.1109/LES.2023.3298742Differentiable Slimming for Memory-Efficient Transformers
Penkov, N.; Balaskas, K.; Rapp, M.; Henkel, J.
2023. IEEE Embedded Systems Letters. doi:10.1109/LES.2023.3299638Explaining Cyber-Physical System Behavior with Digital Twins
Michael, J.; Schwammberger, M.; Wortmann, A.
2023. IEEE Software, 41 (1), 55–63. doi:10.1109/MS.2023.3319580ANV-PUF: Machine-Learning-Resilient NVM-Based Arbiter PUF
Nassar, H.; Bauer, L.; Henkel, J.
2023. ACM Transactions on Embedded Computing Systems, 22 (5 s). doi:10.1145/3609388Federated Learning for Computationally Constrained Heterogeneous Devices: A Survey
Pfeiffer, K.; Rapp, M.; Khalili, R.; Henkel, J.
2023. ACM Computing Surveys, 55 (14s), Art.-Nr.: 334. doi:10.1145/3596907The impact of heterogeneity and geometry on the proof complexity of random satisfiability
Bläsius, T.; Friedrich, T.; Friedrich, T.; Goebel, A.; Göbel, A.
2023. Random Structures & Algorithms. doi:10.1002/rsa.21168Efficiently Approximating Vertex Cover on Scale-Free Networks with Underlying Hyperbolic Geometry
Bläsius, T.; Friedrich, T.; Katzmann, M.
2023. Algorithmica. doi:10.1007/s00453-023-01143-xMore 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.3228897Solving 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-9 -
Conference PapersExplainability Engineering Challenges: Connecting Explainability Levels to Run-time Explainability
Schwammberger, M.; Mirandola, R.; Wenninghoff, N.
2024. Proceedings of 2nd World Conference on Explainable Artificial Intelligence Conference (XAI2024), SpringerLogical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types
Jacob, F.; Hartenstein, H.
2024. PaPoC ’24: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, 37–43, Association for Computing Machinery (ACM). doi:10.1145/3642976.3653034Requirements Classification for Traceability Link Recovery
Hey, T.; Keim, J.; Corallo, S.
2024. 2024 IEEE 32nd International Requirements Engineering Conference (RE’24), Institute of Electrical and Electronics Engineers (IEEE)An Information-Flow Perspective on Algorithmic Fairness
Teuber, S.; Beckert, B.
2024. Proceedings of the 38th AAAI Conference on Artificial Intelligence, 15337–15345. doi:10.1609/AAAI.V38I14.29458Covert-Hammer: Coordinating Power-Hammering on Multi-tenant FPGAs via Covert Channels
Nassar, H.; Machauer, P.; Gnad, D. R. E.; Bauer, L.; Tahoori, M. B.; Henkel, J.
2024. Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Monterey, CA, 3rd-5th March 2024, 43, Association for Computing Machinery (ACM). doi:10.1145/3626202.3637613How Transferable are Attribute Controllers on Pretrained Multilingual Translation Models?
Liu, D.; Niehues, J.
2024. Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics. Vol. 1. Ed.: Y. Graham, 334–348, Association for Computational Linguistics (ACL)Benchmarking Diffusion Models for Machine Translation
Demirag, Y.; Liu, D.; Niehues, J.
2024. Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop, 313–324Grounding Graph Network Simulators using Physical Sensor Observations
Linkerhägner, J.; Freymuth, N.; Scheikl, P. M.; Mathis-Ullrich, F.; Neumann, G.
2023. 11th International Conference on Learning Representations (ICLR 2023), 27 S. doi:10.48550/arXiv.2302.11864Information-Theoretic Trust Regions for Stochastic Gradient-Based Optimization
Dahlinger, P.; Becker, P.; Maximilian, H.; Neumann, G.
2023. OPT2023: 15th Annual Workshop on Optimization for Machine LearningReinforcement Learning of Diverse Skills using Mixture of Deep Experts
Celik, O.; Taranovic, A.; Neumann, G.
2023. Intrinsically-Motivated and Open-Ended Learning Workshop@ NeurIPS2023Beyond Deep Ensembles: A Large-Scale Evaluation of Bayesian Deep Learning under Distribution Shift
Seligmann, F.; Becker, P.; Volpp, M.; Neumann, G.
2024. Advances in Neural Information Processing Systems. Ed.: A. Oh, MIT-PressInformation Maximizing Curriculum: A Curriculum-Based Approach for Learning Versatile Skills
Blessing, D.; Celik, O.; Jia, X.; Reuss, M.; Li, M.; Lioutikov, R.; Neumann, G.
2024. Advances in Neural Information Processing Systems. Ed.: A. Oh, MIT-PressAggregating Capacity in FL through Successive Layer Training for Computationally-Constrained Devices
Pfeiffer, K.; Khalili, R.; Henkel, J.
2024. Proceedings of the 37th Conference on Neural Information Processing Systems (NeuIPS 2023)Supporting 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.3634714Fast Many-to-Many Routing for Dynamic Taxi Sharing with Meeting Points
Laupichler, M.; Sanders, P.
2024. Proceedings : 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). Ed.: R. Chowdhury, 74–90, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977929ShockHash: Towards Optimal-Space Minimal Perfect Hashing Beyond Brute-Force
Lehmann, H.-P.; Sanders, P.; Walzer, S.
2024. Proceedings : 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). Ed.: R. Chowdhury, 194–206, Society for Industrial and Applied Mathematics (SIAM). doi:10.1137/1.9781611977929.15Consistency in the View-Based Development of Cyber-Physical Systems (Convide)
Reussner, R.; Schaefer, I.; Beckert, B.; Koziolek, A.; Burger, E.
2023. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västerås, Sweden, 01-06 October 2023, 83–84, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C59198.2023.00026Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods
Ernst, G.; Weigl, A.
2024. 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Ed.: P. Herber, A. Wijs, 82 – 89, Springer Nature Switzerland. doi:10.1007/978-3-031-47705-8_5Recovering Trace Links Between Software Documentation And Code
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. Proceedings of 46th International Conference on Software Engineering (ICSE 2024)Are Formal Contracts a useful Digital Twin of Software Systems?
Schiffl, J.; Weigl, A.
2023. Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Ed.: S. Hallerstede, CEUR-WSQuantifying the Intrinsic Usefulness of Attributional Explanations for Graph Neural Networks with Artificial Simulatability Studies
Teufel, J.; Torresi, L.; Friederich, P.
2023. Explainable Artificial Intelligence. Part 2. Ed.: L. Longo. Proceedings. Pt. 2, 361–381, Springer Nature Switzerland. doi:10.1007/978-3-031-44067-0_19MEGAN: Multi-explanation Graph Attention Network
Teufel, J.; Torresi, L.; Reiser, P.; Friederich, P.
2023. Explainable Artificial Intelligence. Ed.: L. Longo. Proceedings. Part 2, 338–360, Springer Nature Switzerland. doi:10.1007/978-3-031-44067-0_18On 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.00029Engineering 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.00075Efficient Yao Graph Construction
Funke, D.; Sanders, P.
2023. L. Georgiadis (Ed.), 21st International Symposium on Experimental Algorithms (SEA 2023), 24th-26th July 2023, Barcelona, 0:1–20:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/lipics.sea.2023.20Learned Monotone Minimal Perfect Hashing
Ferragina, P.; Lehmann, H.-P.; Sanders, P.; Vinciguerra, G.
2023. 31st Annual European Symposium on Algorithms (ESA 2023), Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Ed.: I. Gørtz, 46:1–46:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2023.46High Performance Construction of RecSplit Based Minimal Perfect Hash Functions
Bez, D.; Kurpicz, F.; Lehmann, H.-P.; Sanders, P.
2023. 31st Annual European Symposium on Algorithms (ESA 2023), Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Ed.: I. Gørtz, 19:1–19:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.ESA.2023.19Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract)
Teuber, S.; Beckert, B.
2023. Proceedings of the 2nd European Workshop on Algorithmic Fairness, Ed.: J. Alvarez, Art.-Nr.: 21, CEUR-WSA SAT-Benchmark Set from the Approximation of Trigonometric Functions for SAT-based Verification
Hiller, K.; Weigl, A.
2023. Proceedings of SAT Competition 2023 : Solver, Benchmark and Proof Checker Descriptions. Ed.: T. Balyo, 57–60, University of HelsinkiEngineering a Distributed-Memory Triangle Counting Algorithm
Sanders, P.; Uhl, T. N.
2023. 2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 702–712, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IPDPS54959.2023.00076ATLAS: Aging-Aware Task Replication for Multicore Safety-Critical Systems
Ansari, M.; Safari, S.; Yeganeh-Khaksar, A.; Siyadatzadeh, R.; Gohari-Nazari, P.; Khdr, H.; Shafique, M.; Henkel, J.; Ejlali, A.
2023. 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS), 223 – 234, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/RTAS58335.2023.00025Deterministic Performance Guarantees for Bidirectional BFS on Real-World Networks
Bläsius, T.; Wilhelm, M.
2023. Combinatorial Algorithms, 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023, Proceedings, 99 – 110, Springer Nature Switzerland. doi:10.1007/978-3-031-34347-6_9Automating 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_1Design-time Performability Evaluation of Runtime Adaptation Strategies (Work In Progress Paper)
Rapp, M.; Scheerer, M.; Reussner, R.
2023. Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, 9–15, Association for Computing Machinery (ACM). doi:10.1145/3578245.3585028On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types
Jacob, F.; Hartenstein, H.
2023. PaPoC ’23: 10th Workshop on Principles and Practice of Consistency for Distributed Data Rome Italy 8 May 2023.Ed.: E. Gonzalez Boix, 63–69, Association for Computing Machinery (ACM). doi:10.1145/3578358.3591333MonTM: 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.5PaCHash: 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.ch15Easing 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.00011Performance-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.3532391 -
Reports/PreprintsMitigating 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.02206Hardware-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/1000165642Contract Automata: A Specification Language for Mode-Based Systems
Weigl, A.; Bachmeier, J.; Beckert, B.; Ulbrich, M.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000164563An Expert Survey on the Use of Informal Models in the Automotive Industry
Fuchß, D.; Kühn, T.; Wortmann, A.; Pfeiffer, J.; Koziolek, A.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000162389Dynamic Flows with Time-Dependent Capacities
Bläsius, T.; Feilhauer, A.; Westenfelder, J.
2023. doi:10.48550/arXiv.2302.07657Strongly Hyperbolic Unit Disk Graphs
Bläsius, T.; Friedrich, T.; Katzmann, M.; Stephan, D.
2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/lipics.stacs.2023.13 -
Research DataReplication 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