DCAITI

Kerstin Hartig, M.Sc.

Contact

E-Mail
Office at TEL403
+49 (30) 314 78 432

Curriculum Vitae

Kerstin Hartig, M.Sc.

Kerstin Hartig studied computer science at HTW Berlin and Technische Universität Berlin. During her studies, she worked as a student research assistant at the Fraunhofer Institutes FIRST and FOKUS in the Embedded Systems Quality Management Competence Centre (QUEST). Kerstin Hartig joined the DCAITI team as a researcher in June 2013.

Research Topics

Projects

Publications

  1. K. Hartig, T. Karbe: Semantic Network Skeleton - A Tool to Analyze Spreading Activation Effects, 8th International Conference on Information, Process, and Knowledge Management (eKNOW 2016)
  2. K. Hartig, T. Karbe: Recommendation-Based Decision Support for Hazard Analysis and Risk Assessment, 8th International Conference on Information, Process, and Knowledge Management (eKNOW 2016)
  3. V. Prevosto, J. Burghardt, J. Gerlach, K. Hartig, H. W. Pohl, K. Voellinger: Formal Specification and Automated Verification of Railway Software with Frama-C, 11th IEEE International Conference on Industrial Informatics (INDIN 2013)
  4. K. Hartig: Einsatz lokaler Suchverfahren zur strukturorientierten Testdatengenerierung für Simulink-/TargetLink-Modelle, Masterarbeit, Mai 2013, Berlin Institute of Technology, Germany
  5. K. Hartig, J. Gerlach, J. Soto, J. Busse: Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie, 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2010)