Publications

Found 61 results
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.
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.
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.
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.
D. Steinhöfel and Hähnle, R., “The Trace Modality”, in International Workshop on Dynamic Logic, 2020.
2019
D. Steinhöfel and Hähnle, R., “Abstract Execution”, in Formal Methods – The Next 30 Years, 2019.
M. Norouzi, Ilias, Q., Jannesari, A., and Wolf, F., “Accelerating Data-Dependence Profiling with Static Hints”, in Euro-Par 2019: Parallel Processing, 2019.
P. Sokolka, Staicu, C. - A., and Pradel, M., “Anything to Hide? Studying Minified and Obfuscated Code in the Web”, in The World Wide Web Conference, 2019.
R. Mammadli, Wolf, F., and Jannesari, A., “The Art of Getting Deep Neural Networks in Shape”, ACM Transactions on Architecture and Code Optimization, vol. 15, no. 4, 2019.
D. Reuling, Kelter, U., Bürdek, J., and Lochau, M., “Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software”, ACM Transactions on Software Engineering and Methodology, vol. 28, no. 3, 2019.
M. Köhler and Salvaneschi, G., “Automated Refactoring to Reactive Programming”, in IEEE/ACM International Conference on Automated Software Engineering, 2019.
M. Norouzi, Wolf, F., and Jannesari, A., “Automatic Construct Selection and Variable Classification in OpenMP”, in ACM International Conference on Supercomputing, 2019.
Y. Fischler, Lehr, J. - P., Kiehn, M. Magnus, and Bischof, C., “Automatic Identification of Standard Template Algorithms in Raw Loops”, in ACM SIGPLAN International Workshop on AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems, 2019.
J. - P. Lehr, Calotoiu, A., Bischof, C., and Wolf, F., “Automatic Instrumentation Refinement for Empirical Performance Modeling”, in 1st IEEE/ACM International Workshop on Programming and Performance Visualization Tools, 2019.
A. Calotoiu, Höhl, T., Mantel, H., Nguyen, T., and Wolf, F., “Designing Efficient Parallel Software via Compositional Performance Modeling”, in IEEE/ACM International Workshop on Programming and Performance Visualization Tools, 2019.
P. Weisenburger and Salvaneschi, G., “Developing Distributed Systems with Multitier Programming”, in ACM International Conference on Distributed and Event-based Systems, 2019.
A. Mazaheri, Schulte, J., Moskewicz, M. W., Wolf, F., and Jannesari, A., “Enhancing the Programmability and Performance Portability of GPU Tensor Operations”, in Euro-Par 2019: Parallel Processing, 2019.
H. Mantel, “From Attacker Models to Reliable Security”, in ACM Asia Conference on Computer and Communications Security, 2019.
D. Reuling, Lochau, M., and Kelter, U., “From Imprecise N-Way Model Matching to Precise N-Way Model Merging”, Journal of Object Technology, vol. 18, no. 2, 2019.
M. Eichholz, Campbell, E., Foster, N., Salvaneschi, G., and Mezini, M., “How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4”, in European Conference on Object-Oriented Programming, 2019.
S. Tolksdorf, Lehmann, D., and Pradel, M., “Interactive Metamorphic Testing of Debuggers”, in ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019.
G. Salvaneschi, Köhler, M., Sokolowski, D., Haller, P., Erdweg, S., and Mezini, M., “Language-integrated Privacy-aware Distributed Queries”, Proceedings of the ACM on Programming Languages, vol. 3, no. OOPSLA, 2019.
C. - A. Staicu and Pradel, M., “Leaky Images: Targeted Privacy Attacks in the Web”, in {USENIX} Security Symposium, 2019.

Pages