Found 94 results
A. Mazaheri, Beringer, T., Moskewicz, M., Wolf, F., und Jannesari, A., Accelerating winograd convolutions using symbolic computation and meta-programming, in European Conference on Computer Systems, 2020.
N. Wasser, Tabar, A. Heydari, und 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., und 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., und 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., und Bischof, C., Compiler-assisted type-safe checkpointing, in Compiler-assisted Correctness Checking and Performance Optimization for HPC, 2020.
L. Luthmann, Göttmann, H., und 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., und 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., und Lochau, M., On Controlling the Attack Surface of Object-Oriented Refactorings, in Software Engineering, 2020.
B. Bisping, Nestmann, U., und 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., und 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 und Nestmann, U., Distributability of mobile ambients, in Information and Computation, 2020.
H. Mohammadi Fard, Prodan, R., und 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., und 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., und Wolf, F., Empirical Modeling of Spatially Diverging Performance, in Workshop on Programming and Performance Visualization Tools, 2020.
V. Kutscher, Anokhin, O., und 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., und 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., und Mezini, M., Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy, in Asia Conference on Computer and Communications , 2020.
S. Ruland, Lochau, M., und 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 und 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., und 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., und 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., und 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., und Bischof, C., MetaCG: annotated call-graphs to facilitate whole-program analysis, in International Workshop on Tools for Automatic Program Analysis, 2020.