Bücher der Reihe Programming and Software Engineering

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper.

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions.

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions.

This book constitutes the refereed proceedings of the 21st International Conference on Product-Focused Software Process Improvement, PROFES 2020, held in Turin, Italy, in November 2020.

This book constitutes the refereed post-conference proceedings of the 12th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2020, held in August 2020.The 8 papers presented were carefully reviewed and cover the following topics: testing ACID compliance in the LDBC social network benchmark;

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.

This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK. The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this book.

This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021.

This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions.

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions.

This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021. The 10 full papers were carefully reviewed and selected from 21 submissions.

This book constitutes the proceedings of the 27th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2021, which was due to be held in Essen, Germany, in April 2021.

Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions.

This book constitutes the proceedings of the 8th International Conference on End-User Development, IS-EUD 2021, held in July 2021.

His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions.

This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches.

Due to COVID-19 pandemic the conference was held as a hybrid event.The 20 revised papers, including 14 full papers, 3 short papers and 3 industry papers, presented were carefully reviewed and selected from 48 submissions.

This book constitutes the proceedings of the 7th International Workshop on Accelerator Programming Using Directives, WACCPD 2020, which took place on November 20, 2021.

This book constitutes the refereed proceedings of the 17th European Workshop on Computer Performance Engineering, EPEW 2021, and the 26th International Conference, on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2021, held in December 2021.

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021.