Kerstin Hartig

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 3

Top Topics

Formal Specification

Term Extraction

Top Venues

REFSQ Workshops

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Andreas Vogelsang, Kerstin Hartig, Florian Pudlitz, Aaron Schlutter, Jonas Winkler
Supporting the Development of Cyber-Physical Systems with Natural Language Processing: A Report. REFSQ Workshops (2019)
Tim Gemkow, Miro Conzelmann, Kerstin Hartig, Andreas Vogelsang
Automatic Glossary Term Extraction from Large-Scale Requirements Specifications. RE (2018)
Vanessa N. Michalke, Kerstin Hartig
Explanation Retrieval in Semantic Networks - Understanding Spreading Activation based Recommendations. KDIR (2016)
Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Völlinger
Formal specification and automated verification of railway software with Frama-C. INDIN (2013)
Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. FORMS/FORMAT (2010)