Publications

Found 118 results
2022
D. Sokolowski, Weisenburger, P., und Salvaneschi, G., Change Is the Only Constant: Dynamic Updates for Workflows, in Proceedings of the 44th International Conference on Software Engineering, 2022.
F. Dewald, Rohde, J., Hochberger, C., und Mantel, H., Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS, ACM Transactions on Reconfigurable Technology and Systems, Bd. 15, Nr. 3, 2022.
2021
S. Yu, Mazaheri, A., und Jannesari, A., Auto Graph Encoder-Decoder for Neural Network Pruning, in Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV), 2021.
N. Wasser, Tabar, A. Heydari, und Hähnle, R., Automated model extraction: From non-deterministic C code to active objects, Science of Computer Programming, 2021.
P. Arzt, Fischler, Y., Lehr, J. - P., Bischof, C., Sousa, L., Roma, N., und Tomás, P., Automatic Low-Overhead Load-Imbalance Detection in MPI Applications, in International European Conference on Parallel and Distributed Computing, 2021.
D. Sokolowski, Weisenburger, P., und Salvaneschi, G., Automating Serverless Deployments for DevOps Organizations, in European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021.
V. Kutscher, Martins, T. Weber, Olbort, J., und Anderl, R., Concept for Interaction of Hardware Simulation and Embedded Software in a Digital Twin Based Test Environment, in 54th CIRP CMS 2021 - Towards Digitalized Manufacturing 4.0, 2021.
D. Beyer und Jakobs, M. - C., Cooperative verifier-based testing with CoVeriTest, International Journal on Software Tools for Technology Transfer, 2021.
M. - C. Jakobs und Richter, C., CoVeriTest with Adaptive Time Scheduling (Competition Contribution), in International Conference on Fundamental Approaches to Software Engineering, 2021.
M. Scaletta, Hähnle, R., Steinhöfel, D., und Bubel, R., Delta-based verification of software product families, in International Conference on Generative Programming: Concepts and Experiences, 2021.
D. Sokolowski, Deployment Coordination for Cross-Functional DevOps Teams, in European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021.
F. Czappa, Calotoiu, A., Höhl, T., Mantel, H., Nguyen, T., und Wolf, F., Design-Time Performance Modeling of Compositional Parallel Programs, Parallel Computing, Elsevier, Bd. 108, 2021.
M. Copik, Calotoiu, A., Grosser, T., Wicki, N., Wolf, F., und Hoefler, T., Extracting Clean Performance Models from Tainted Programs, in Principles and Practice of Parallel Programming, 2021.
P. Müller, Narasimhan, K., und Mezini, M., Fex: Assisted Identification of Domain Features from C Programs, in International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
S. Sztwiertnia, Grübel, M., Chouchane, A., Sokolowski, D., Narasimhan, K., und Mezini, M., Impact of Programming Lanuages on Machine Learning Bugs, in International Workshop on AI and Software Testing/Analysis, 2021.
D. Nikitenko, Wolf, F., Mohr, B., Hoefler, T., Stefanov, K., Voevodin, V. Vladimirov, Antonov, A. Sergeevich, und Calotoiu, A., Influence of Noisy Environments on Behavior of HPC Applications, Lobachevskii Journal of Mathematics, Bd. 42, 2021.
R. Mammadli, Selakovic, M., Wolf, F., und Pradel, M., Learning to Make Compiler Optimizations More Effective, in International Symposium on Machine Programming, 2021.
J. - P. Lehr, Jammer, T., und Bischof, C., MPI-CorrBench: Towards an MPI Correctness Benchmark Suite, in International Symposium on High-Performance Parallel and Distributed Computing, 2021.
S. Giallorenzo, Montesi, F., Peressotti, M., Richter, D., Salvaneschi, G., und Weisenburger, P., Multiparty Languages: The Choreographic and Multitier Cases, in European Conference on Object-Oriented Programming, 2021.
J. Olbort, Kutscher, V., Moser, M., und Anderl, R., Networking of digital twins in the digital factory for single part manufacturing simulation, in Conference on Information Storage and Processing Systems, 2021.
M. Ritter, Geiß, A., Wehrstein, J., Calotoiu, A., Reimann, T., Hoefler, T., und Wolf, F., Noise-Resilient Empirical Performance Modeling with Deep Neural Networks, in International Parallel & Distributed Processing Symposium, 2021.
M. - C. Jakobs, PatEC: Pattern-based Equivalence Checking, in International SPIN Symposium on Model Checking of Software, 2021.
M. - C. Jakobs, PEQcheck: Localized and Context-aware Checking of Functional Equivalence, in International Conference on Formal Methods in Software Engineering, 2021.
J. - P. Lehr, Bischof, C., Dewald, F., Mantel, H., Norouzi, M., und Wolf, F., Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization, in International Conference on Parallel Processing, 2021.
M. Wiesner und Jakobs, M. - C., Verifying Pipeline Implementations in OpenMP, in International SPIN Symposium on Model Checking of Software, 2021.

Seiten