@inbookPfannschmidt_Hüllermeier_2020, place=Cham, title=Learning Choice Functions via Pareto-Embeddings, DOI=10.1007/978-3-030-58285-2_30, booktitle=Lecture Notes in Computer Science, author=Pfannschmidt, Karlson and Hüllermeier, Eyke, year=2020 
LibreCat: /record/19521
DOI: 10.1007/978-3-030-58285-2_30

@inbookSellmann_Tierney_2020, place=Cham, title=Hyper-parameterized Dialectic Search for Non-linear Box-Constrained Optimization with Heterogenous Variable Types, DOI=10.1007/978-3-030-53552-0_12, booktitle=Lecture Notes in Computer Science, author=Sellmann, Meinolf and Tierney, Kevin, year=2020 
LibreCat: /record/19561
DOI: 10.1007/978-3-030-53552-0_12

@inbookJager_Niehues_2020, place=Cham, title=On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions, DOI=10.1007/978-3-030-38471-5_13, booktitle=Lecture Notes in Computer Science, author=Jager, Tibor and Niehues, David, year=2020 
LibreCat: /record/21396
DOI: 10.1007/978-3-030-38471-5_13

@inbookJazayeri_Schwichtenberg_Küster_Zimmermann_Engels_2020, place=Cham, title=Modeling and Analyzing Architectural Diversity of Open Platforms, DOI=10.1007/978-3-030-49435-3_3, booktitle=Advanced Information Systems Engineering, author=Jazayeri, Bahar and Schwichtenberg, Simon and Küster, Jochen and Zimmermann, Olaf and Engels, Gregor, year=2020 
LibreCat: /record/17337
DOI: 10.1007/978-3-030-49435-3_3

@articleGräßler_Hentze_2020, title=The new V-Model of 2206 and its validation, number=68(5), journal=at-Automatisierungstechnik 68(5), author=Gräßler, Iris and Hentze, Julian, year=2020, pages=312–324 
LibreCat: /record/23517

@inbookKnüppel_Krüger_Thüm_Bubel_Krieter_Bodden_Schaefer_2020, place=Cham, title=Using Abstract Contracts for Verifying Evolving Features and Their Interactions, DOI=10.1007/978-3-030-64354-6_5, booktitle=Lecture Notes in Computer Science, author=Knüppel, Alexander and Krüger, Stefan and Thüm, Thomas and Bubel, Richard and Krieter, Sebastian and Bodden, Eric and Schaefer, Ina, year=2020 
LibreCat: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

@inbookEl Mesaoudi-Paul_Weiß_Bengs_Hüllermeier_Tierney_2020, place=Cham, series=Lecture Notes in Computer Science, title=Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach, volume=12096, DOI=10.1007/978-3-030-53552-0_22, booktitle=Learning and Intelligent Optimization. LION 2020., publisher=Springer, author=El Mesaoudi-Paul, Adil and Weiß, Dimitri and Bengs, Viktor and Hüllermeier, Eyke and Tierney, Kevin, year=2020, pages=216–232, collection=Lecture Notes in Computer Science 
LibreCat: /record/18014
DOI: 10.1007/978-3-030-53552-0_22

@inbookPiskachev_Petrasch_Späth_Bodden_2020, place=Cham, title=AuthCheck: Program-State Analysis for Access-Control Vulnerabilities, DOI=10.1007/978-3-030-54997-8_34, booktitle=Lecture Notes in Computer Science, author=Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric, year=2020 
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

@inproceedingsWeidmann_Anjorin_2020, place=Cham, title=Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming, DOI=10.1007/978-3-030-45234-6_16, booktitle=Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, publisher=Springer, author=Weidmann, Nils and Anjorin, Anthony, editor=Wehrheim, Heike and Cabot, JordiEditors, year=2020 
LibreCat: /record/17084
DOI: 10.1007/978-3-030-45234-6_16

@inproceedingsSchwichtenberg_Schwichtenberg_Küster_Zimmermann_Engels_2020, place=Cham, title=Modeling and Analyzing Architectural Diversity of Open Platforms, DOI=10.1007/978-3-030-49435-3_3, booktitle=Advanced Information Systems Engineering, author=Schwichtenberg, Bahar and Schwichtenberg, Simon and Küster, Jochen and Zimmermann, Olaf and Engels, Gregor, year=2020 
LibreCat: /record/17085
DOI: 10.1007/978-3-030-49435-3_3