Niklas Krafczyk

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 9

Top Topics

Regular Expressions

Equivalence Class

Top Venues

Formal Aspects Comput.

Publications

Wen-ling Huang, Niklas Krafczyk, Jan Peleska
Exhaustive property oriented model-based testing with symbolic finite state machines. Sci. Comput. Program. 231 (2024)
Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
Complete Property-Oriented Module Testing. ICTSS (2023)
Wen-ling Huang, Niklas Krafczyk, Jan Peleska
An Optimised Complete Strategy for Testing Symbolic Finite State Machines. FSEN (2023)
Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
libfsmtest An Open Source Library for FSM-Based Testing. ICTSS (2021)
Niklas Krafczyk, Jan Peleska
Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines. SEFM (2021)
Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
Efficient data validation for geographical interlocking systems. Formal Aspects Comput. 33 (6) (2021)
Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
Efficient Data Validation for Geographical Interlocking Systems. RSSRail (2019)
Niklas Krafczyk, Jan Peleska
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. ICTSS (2017)
Niklas Krafczyk, Heinz Riener, Görschwin Fey
WCET overapproximation for software in the context of a Cyber-Physical System. VLSI-SoC (2016)
Jan Malburg, Niklas Krafczyk, Görschwin Fey
Automatically connecting hardware blocks via light-weight matching techniques. DDECS (2014)