Marina Reich

11 papers A* 1C 6Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
AvioSE 2025 Workshop Summary.
Software Engineering Companion
Andreas Schweiger, Umut Durak, Marina Reich, Björn Annighöfer
2024 C conf
6th Workshop on Avionics Systems und Software Engineering (AvioSE'24).
Software Engineering
Marina Reich, Björn Annighöfer, Andreas Schweiger
2024 J jnl
Towards an Approach to Pattern-based Domain-Specific Requirements Engineering.
CoRR
Tatiana Chuprina, Daniel Méndez, Vivek Nigam, Marina Reich, Andreas Schweiger
2022 C conf
4th Workshop on Avionics Systems and Software Engineering (AvioSE'22).
Software Engineering
Björn Annighöfer, Andreas Schweiger, Marina Reich
2021 C conf
3rd Workshop on Avionics Systems and Software Engineering (AvioSE'21).
Software Engineering
Björn Annighöfer, Andreas Schweiger, Marina Reich
2020 — conf
2nd Workshop on Avionics Systems and Software Engineering.
SE
Björn Annighöfer, Andreas Schweiger, Marina Reich
2020 C conf
AVIOSE 2020 Preface.
Software Engineering (Workshops)
Björn Annighöfer, Andreas Schweiger, Marina Reich
2019 — conf
1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19).
SE/SWM
Björn Annighöfer, Andreas Schweiger, Marina Reich
2019 A* conf
Inference of Properties from Requirements and Automation of Their Formal Verification.
ASE
Marina Reich
2019 C ed.
Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019.
Software Engineering (Workshops)
Stephan Krusche, Kurt Schneider, Marco Kuhrmann, Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders, Steffen Helke, Ina Schaefer, Andreas Vogelsang, Björn Annighöfer, Andreas Schweiger, Marina Reich, André van Hoorn
2019 C conf
Towards Computer-Aided Software Requirements Process.
Software Engineering (Workshops)
Marina Reich, Tatiana Chuprina, Vivek Nigam