Automatically connecting hardware blocks via light-weight matching techniques. - Jan Malburg; Niklas Krafczyk; Görschwin Fey (DDECS, 2014)

WCET overapproximation for software in the context of a Cyber-Physical System. - Niklas Krafczyk; Heinz Riener; Görschwin Fey (VLSI-SoC, 2016)

Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. - Niklas Krafczyk; Jan Peleska 001 (ICTSS, 2017)

libfsmtest An Open Source Library for FSM-Based Testing. - Moritz Bergenthal; Niklas Krafczyk; Jan Peleska 001; Robert Sachtleben (ICTSS, 2021)

Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines. - Niklas Krafczyk; Jan Peleska 001 (SEFM, 2021)

Efficient data validation for geographical interlocking systems. - Jan Peleska 001; Niklas Krafczyk; Anne E. Haxthausen; Ralf Pinger (Formal Aspects Comput., 2021)

An Optimised Complete Strategy for Testing Symbolic Finite State Machines. - Wen-ling Huang; Niklas Krafczyk; Jan Peleska 001 (FSEN, 2023)

Complete Property-Oriented Module Testing. - Felix Brüning; Mario Gleirscher; Wen-ling Huang; Niklas Krafczyk; Jan Peleska 001; Robert Sachtleben (ICTSS, 2023)

Complete property-oriented testing. - Niklas Krafczyk (2024)

Exhaustive property oriented model-based testing with symbolic finite state machines. - Wen-ling Huang; Niklas Krafczyk; Jan Peleska 001 (Sci. Comput. Program., 2024)