Login / Signup
Marina Reich
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 9
Top Topics
Diagnosis Of Breast Cancer
Formal Verification
Complex Systems
Software Engineering
Top Venues
Software Engineering
Software Engineering (Workshops)
SE/SWM
CoRR
</>
Publications
</>
Tatiana Chuprina
,
Daniel Méndez
,
Vivek Nigam
,
Marina Reich
,
Andreas Schweiger
Towards an Approach to Pattern-based Domain-Specific Requirements Engineering.
CoRR
(2024)
Marina Reich
,
Björn Annighöfer
,
Andreas Schweiger
6th Workshop on Avionics Systems und Software Engineering (AvioSE'24).
Software Engineering
(2024)
Björn Annighöfer
,
Andreas Schweiger
,
Marina Reich
4th Workshop on Avionics Systems and Software Engineering (AvioSE'22).
Software Engineering
(2022)
Björn Annighöfer
,
Andreas Schweiger
,
Marina Reich
3rd Workshop on Avionics Systems and Software Engineering (AvioSE'21).
Software Engineering
(2021)
Björn Annighöfer
,
Andreas Schweiger
,
Marina Reich
AVIOSE 2020 Preface.
Software Engineering (Workshops)
(2020)
Björn Annighöfer
,
Andreas Schweiger
,
Marina Reich
2nd Workshop on Avionics Systems and Software Engineering.
SE
(2020)
Marina Reich
Inference of Properties from Requirements and Automation of Their Formal Verification.
ASE
(2019)
Björn Annighöfer
,
Andreas Schweiger
,
Marina Reich
1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19).
SE/SWM
(2019)
Marina Reich
,
Tatiana Chuprina
,
Vivek Nigam
Towards Computer-Aided Software Requirements Process.
Software Engineering (Workshops)
(2019)