Sellmann, Meinolf, and Kevin Tierney. “Hyper-Parameterized Dialectic Search for Non-Linear Box-Constrained Optimization with Heterogenous Variable Types.”https://doi.org/10.1007/978-3-030-53552-0_12__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/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.”https://doi.org/10.1007/978-3-030-38471-5_13__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-38471-5_13 .

Jazayeri, Bahar, Simon Schwichtenberg, Jochen Küster, Olaf Zimmermann, and Gregor Engels. “Modeling and Analyzing Architectural Diversity of Open Platforms.”https://doi.org/10.1007/978-3-030-49435-3_3__In Advanced Information Systems Engineering. Cham, 2020.https://doi.org/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): 312–24.

Knüppel, Alexander, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, and Ina Schaefer. “Using Abstract Contracts for Verifying Evolving Features and Their Interactions.”https://doi.org/10.1007/978-3-030-64354-6_5__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-64354-6_5 .

El Mesaoudi-Paul, Adil, Dimitri Weiß, Viktor Bengs, Eyke Hüllermeier, and Kevin Tierney. “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach.”https://doi.org/10.1007/978-3-030-53552-0_22__In Learning and Intelligent Optimization. LION 2020., 12096:216–32. Lecture Notes in Computer Science. Cham: Springer, 2020.https://doi.org/10.1007/978-3-030-53552-0_22 .

Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.”https://doi.org/10.1007/978-3-030-54997-8_34__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/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.”https://doi.org/10.1007/978-3-030-45234-6_16__In Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, edited by Heike Wehrheim and Jordi Cabot. Cham: Springer, 2020.https://doi.org/10.1007/978-3-030-45234-6_16 .

Schwichtenberg, Bahar, Simon Schwichtenberg, Jochen Küster, Olaf Zimmermann, and Gregor Engels. “Modeling and Analyzing Architectural Diversity of Open Platforms.”https://doi.org/10.1007/978-3-030-49435-3_3__In Advanced Information Systems Engineering. Cham, 2020.https://doi.org/10.1007/978-3-030-49435-3_3 .

Dallmeier, Fynn, Jan P. Drees, Kai Gellert, Tobias Handirk, Tibor Jager, Jonas Klauke, Simon Nachtigall, Timo Renzelmann, and Rudi Wolf. “Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC.”https://doi.org/10.1007/978-3-030-65411-5_11__In Cryptology and Network Security, 211–31. Cham: Springer-Verlag, 2020.https://doi.org/10.1007/978-3-030-65411-5_11 .