Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. - Kerstin Hartig; Jens Gerlach; Juan Soto 001; Jürgen Busse (FORMS/FORMAT, 2010)

Formal specification and automated verification of railway software with Frama-C. - Virgile Prevosto; Jochen Burghardt; Jens Gerlach; Kerstin Hartig; Hans Werner Pohl; Kim Völlinger (INDIN, 2013)

Explanation Retrieval in Semantic Networks - Understanding Spreading Activation based Recommendations. - Vanessa N. Michalke; Kerstin Hartig (KDIR, 2016)

Automatic Glossary Term Extraction from Large-Scale Requirements Specifications. - Tim Gemkow; Miro Conzelmann; Kerstin Hartig; Andreas Vogelsang (RE, 2018)

Supporting the Development of Cyber-Physical Systems with Natural Language Processing: A Report. - Andreas Vogelsang; Kerstin Hartig; Florian Pudlitz; Aaron Schlutter; Jonas Winkler (REFSQ Workshops, 2019)

Entwicklung eines Information-Retrieval-Systems zur Unterstützung von Gefährdungs- und Risikoanalysen. - Kerstin Hartig (2019)