Inference of Properties from Requirements and Automation of Their Formal Verification. - Marina Reich (ASE, 2019)

1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19). - Björn Annighöfer; Andreas Schweiger; Marina Reich (SE/SWM, 2019)

Towards Computer-Aided Software Requirements Process. - Marina Reich; Tatiana Chuprina; Vivek Nigam (Software Engineering (Workshops), 2019)

2nd Workshop on Avionics Systems and Software Engineering. - Björn Annighöfer; Andreas Schweiger; Marina Reich (SE, 2020)

AVIOSE 2020 Preface. - Björn Annighöfer; Andreas Schweiger; Marina Reich (Software Engineering (Workshops), 2020)

3rd Workshop on Avionics Systems and Software Engineering (AvioSE'21). - Björn Annighöfer; Andreas Schweiger; Marina Reich (Software Engineering, 2021)

4th Workshop on Avionics Systems and Software Engineering (AvioSE'22). - Björn Annighöfer; Andreas Schweiger; Marina Reich (Software Engineering, 2022)

6th Workshop on Avionics Systems und Software Engineering (AvioSE'24). - Marina Reich; Björn Annighöfer; Andreas Schweiger (Software Engineering, 2024)

Towards an Approach to Pattern-based Domain-Specific Requirements Engineering. - Tatiana Chuprina; Daniel Méndez 001; Vivek Nigam; Marina Reich; Andreas Schweiger (CoRR, 2024)

AvioSE 2025 Workshop Summary. - Andreas Schweiger; Umut Durak; Marina Reich; Björn Annighöfer (Software Engineering Companion, 2025)