Sellmann, Meinolf, and Kevin Tierney. “Hyper-Parameterized Dialectic Search for Non-Linear Box-Constrained Optimization with Heterogenous Variable Types.”10.1007/978-3-030-53552-0_12__Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-53552-0_12.

Jager, Tibor, and David Niehues. “On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions.”10.1007/978-3-030-38471-5_13__Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-38471-5_13.

Jazayeri, Bahar, et al. “Modeling and Analyzing Architectural Diversity of Open Platforms.”10.1007/978-3-030-49435-3_3__Advanced Information Systems Engineering, 2020, doi:10.1007/978-3-030-49435-3_3.

Gräßler, Iris, and Julian Hentze. “The New V-Model of 2206 and Its Validation.” At-Automatisierungstechnik 68(5), no. 68(5), 2020, pp. 312–24.

Knüppel, Alexander, et al. “Using Abstract Contracts for Verifying Evolving Features and Their Interactions.”10.1007/978-3-030-64354-6_5__Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-64354-6_5.

El Mesaoudi-Paul, Adil, et al. “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach.”10.1007/978-3-030-53552-0_22__Learning and Intelligent Optimization. LION 2020., vol. 12096, Springer, 2020, pp. 216–32, doi:10.1007/978-3-030-53552-0_22.

Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.”10.1007/978-3-030-54997-8_34__Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-54997-8_34.

Weidmann, Nils, and Anthony Anjorin. “Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming.”10.1007/978-3-030-45234-6_16__Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, edited by Heike Wehrheim and Jordi Cabot, Springer, 2020, doi:10.1007/978-3-030-45234-6_16.

Schwichtenberg, Bahar, et al. “Modeling and Analyzing Architectural Diversity of Open Platforms.”10.1007/978-3-030-49435-3_3__Advanced Information Systems Engineering, 2020, doi:10.1007/978-3-030-49435-3_3.

Dallmeier, Fynn, et al. “Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC.”10.1007/978-3-030-65411-5_11__Cryptology and Network Security, Springer-Verlag, 2020, pp. 211–31, doi:10.1007/978-3-030-65411-5_11.