Kerstin Hartig

According to our database, Kerstin Hartig authored at least 6 papers between 2010 and 2019.

Collaborative distances:

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

2019

Entwicklung eines Information-Retrieval-Systems zur Unterstützung von Gefährdungs- und Risikoanalysen.

Kerstin Hartig

PhD thesis, 2019

Supporting the Development of Cyber-Physical Systems with Natural Language Processing: A Report.

Andreas Vogelsang, Kerstin Hartig, Florian Pudlitz, Aaron Schlutter, Jonas Winkler

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

2018

Automatic Glossary Term Extraction from Large-Scale Requirements Specifications.

Tim Gemkow, Miro Conzelmann, Kerstin Hartig, Andreas Vogelsang

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

2016

Explanation Retrieval in Semantic Networks - Understanding Spreading Activation based Recommendations.

Vanessa N. Michalke, Kerstin Hartig

Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 1: KDIR, Porto - Portugal, November 9, 2016

2013

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

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2010

Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie.

Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse

Proceedings of the FORMS/FORMAT 2010, 2010