Publications
Found 118 results
“Change Is the Only Constant: Dynamic Updates for Workflows”, in Proceedings of the 44th International Conference on Software Engineering, 2022.
, “Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS”, ACM Transactions on Reconfigurable Technology and Systems, vol. 15, no. 3, 2022.
, “Auto Graph Encoder-Decoder for Neural Network Pruning”, in Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV), 2021.
, “Automated model extraction: From non-deterministic C code to active objects”, Science of Computer Programming, 2021.
, “Automatic Low-Overhead Load-Imbalance Detection in MPI Applications”, in International European Conference on Parallel and Distributed Computing, 2021.
, “Automating Serverless Deployments for DevOps Organizations”, in European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021.
, “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.
, “Cooperative verifier-based testing with CoVeriTest”, International Journal on Software Tools for Technology Transfer, 2021.
, “CoVeriTest with Adaptive Time Scheduling (Competition Contribution)”, in International Conference on Fundamental Approaches to Software Engineering, 2021.
, “Delta-based verification of software product families”, in International Conference on Generative Programming: Concepts and Experiences, 2021.
, “Deployment Coordination for Cross-Functional DevOps Teams”, in European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021.
, “Design-Time Performance Modeling of Compositional Parallel Programs”, Parallel Computing, Elsevier, vol. 108, 2021.
, “Extracting Clean Performance Models from Tainted Programs”, in Principles and Practice of Parallel Programming, 2021.
, “Fex: Assisted Identification of Domain Features from C Programs”, in International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
, “Impact of Programming Lanuages on Machine Learning Bugs”, in International Workshop on AI and Software Testing/Analysis, 2021.
, “Influence of Noisy Environments on Behavior of HPC Applications”, Lobachevskii Journal of Mathematics, vol. 42, 2021.
, “Learning to Make Compiler Optimizations More Effective”, in International Symposium on Machine Programming, 2021.
, “MPI-CorrBench: Towards an MPI Correctness Benchmark Suite”, in International Symposium on High-Performance Parallel and Distributed Computing, 2021.
, “Multiparty Languages: The Choreographic and Multitier Cases”, in European Conference on Object-Oriented Programming, 2021.
, “Networking of digital twins in the digital factory for single part manufacturing simulation”, in Conference on Information Storage and Processing Systems, 2021.
, “Noise-Resilient Empirical Performance Modeling with Deep Neural Networks”, in International Parallel & Distributed Processing Symposium, 2021.
, “PatEC: Pattern-based Equivalence Checking”, in International SPIN Symposium on Model Checking of Software, 2021.
, “PEQcheck: Localized and Context-aware Checking of Functional Equivalence”, in International Conference on Formal Methods in Software Engineering, 2021.
, “Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization”, in International Conference on Parallel Processing, 2021.
, “Verifying Pipeline Implementations in OpenMP”, in International SPIN Symposium on Model Checking of Software, 2021.
,