Publications

Found 93 results
2020
A. Mazaheri, Beringer, T., Moskewicz, M., Wolf, F., and Jannesari, A., Accelerating winograd convolutions using symbolic computation and meta-programming, in European Conference on Computer Systems, 2020.
N. Wasser, Tabar, A. Heydari, and Hähnle, R., Automated model extraction: From non-deterministic C code to active objects, in Science of Computer Programming, 2020.
D. Reuling, Kelter, U., Bürdek, J., and Lochau, M., On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software, in Software Engineering, 2020.
S. Demeyer, Hähnle, R., and Mantel, H., Automating Software Re-engineering, in International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2020.
J. - P. Lehr, Hück, A., Fischer, M., and Bischof, C., Compiler-assisted type-safe checkpointing, in Compiler-assisted Correctness Checking and Performance Optimization for HPC, 2020.
L. Luthmann, Göttmann, H., and Lochau, M., Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata, in International Conference on Formal Spects of Component Software, 2020.
S. Ruland, Lochau, M., Fehse, O., and Schürr, A., Configurable Test-Goal Set Partitioning for Multi-Goal Test-Suite Generation, in International Competition on Software Testing held at TACAS, 2020.
S. Ruland, Kulcsár, G., Leblebici, E., Peldszus, S., and Lochau, M., On Controlling the Attack Surface of Object-Oriented Refactorings, in Software Engineering, 2020.
B. Bisping, Nestmann, U., and Peters, K., Coupled similarity: the first 32 years, in Acta Informatica, 2020.
M. - C. Jakobs, CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution), in International Conference on Fundamental Approaches to Software Engineering, 2020.
S. Ruland, Lochau, M., Fehse, O., and Schürr, A., CPA/Tiger-MGP: Test-Goal Set Partitioning for Efficient Multi-goal Test-suite Generation, International Journal on Software Tools for Technology Transfer, 2020.
K. Peters and Nestmann, U., Distributability of mobile ambients, in Information and Computation, 2020.
H. Mohammadi Fard, Prodan, R., and Wolf, F., Dynamic Multi-objective Scheduling of Microservices in the Cloud, in International Conference on Utility and Cloud Computing, 2020.
F. Schrammel, Renk, F., Mazaheri, A., and Wolf, F., Efficient Ephemeris Models for Spacecraft Trajectory Simulations on GPUs, in Euro-Par 2020: Parallel Processing , 2020.
A. Calotoiu, Geisenhofer, M., Kummer, F., Weber, J., Hoefler, T., Oberlack, M., and Wolf, F., Empirical Modeling of Spatially Diverging Performance, in Workshop on Programming and Performance Visualization Tools, 2020.
V. Kutscher, Anokhin, O., and Anderl, R., Enhancing digital twin performance through simulation of computerized numerical control firmware, in International Conference on Through-Life Engineering Services, 2020.
A. Calotoiu, Copik, M., Hoefler, T., Ritter, M., Shudler, S., and Wolf, F., ExtraPeak: Advanced Automatic Performance Modeling for HPC Applications, in Software for Exascale Computing - SPPEXA 2016-2019, 2020.
L. Glanz, Müller, P., Baumgärtner, L., Reif, M., Amann, S., Anthonysamy, P., and Mezini, M., Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy, in Asia Conference on Computer and Communications , 2020.
S. Ruland, Lochau, M., and Jakobs, M. - C., Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution), in International Conference on Fundamental Approaches to Software Engineering, 2020.
P. Weisenburger and Salvaneschi, G., Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala, in The Art, Science, and Engineering of Programming, 2020.
T. Steinbach, Wang, Y., Kutscher, V., and Anderl, R., Integration of Multi-domain-Simulation into the Design of Cyber-Physical Systems, in International Conference on Applied Human Factors and Ergonomics, 2020.
M. Ritter, Calotoiu, A., Rinke, S., Reimann, T., Hoefler, T., and Wolf, F., Learning Cost-Effective Sampling Strategies for Empirical Performance Modeling, in International Parallel and Distributed Processing Symposium (IPDPS), 2020.
D. Sokolowski, Lehr, J. - P., Bischof, C., and Salvaneschi, G., Leveraging Hybrid Cloud HPC with Multitier Reactive Programming, in International Workshop on Interoperability of Supercomputing and Cloud Technologies, 2020.
J. - P. Lehr, Hück, A., Fischler, Y., and Bischof, C., MetaCG: annotated call-graphs to facilitate whole-program analysis, in International Workshop on Tools for Automatic Program Analysis, 2020.
J. Olbort, Herden, H., Kutscher, V., and Anderl, R., Mixed Reality for Visualization of Operating Data and Semantic Self-Descriptions of Machines using OPC UA, in International Conference on Applied Human Factors and Ergonomics, 2020.

Pages