Marina Reich

According to our database, Marina Reich authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

6th Workshop on Avionics Systems und Software Engineering (AvioSE'24).

Marina Reich, Björn Annighöfer, Andreas Schweiger

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

2022

4th Workshop on Avionics Systems and Software Engineering (AvioSE'22).

Björn Annighöfer, Andreas Schweiger, Marina Reich

Proceedings of the Software Engineering 2022, 2022

2021

3rd Workshop on Avionics Systems and Software Engineering (AvioSE'21).

Björn Annighöfer, Andreas Schweiger, Marina Reich

Proceedings of the Software Engineering 2021, 2021

2020

AVIOSE 2020 Preface.

Björn Annighöfer, Andreas Schweiger, Marina Reich

Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

2nd Workshop on Avionics Systems and Software Engineering.

Björn Annighöfer, Andreas Schweiger, Marina Reich

Proceedings of the Software Engineering 2020, 2020

2019

Towards Computer-Aided Software Requirements Process.

Marina Reich, Tatiana Chuprina, Vivek Nigam

Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19).

Björn Annighöfer, Andreas Schweiger, Marina Reich

Proceedings of the Software Engineering and Software Management, 2019

Inference of Properties from Requirements and Automation of Their Formal Verification.

Marina Reich

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019