Login / Signup
Marina Reich
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 7
Top Topics
Formal Verification
Software Engineering
Complex Systems
Capsule Endoscopy
Top Venues
Software Engineering (Workshops)
Software Engineering
SE/SWM
SE
</>
Publications
</>
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)