Formal Methods Accessibility
Sebastian Krings
Postdoc
My research interests include formal methods, model checking and logic programming.
Publications
(2019).
Automated Backend Selection for ProB Using Deep Learning.
Proceedings 11th Annual NASA Formal Methods Symposium (NFM 2019), Springer LNCS (to appear).
(2018).
Repair and Generation of Formal Models Using Synthesis.
Proceedings 14th International Conference on integrated Formal Methods (iFM 2018), Springer LNCS.
(2016).
Interactive Model Repair by Synthesis.
Proceedings 5th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z (ABZ 2016), Springer LNCS.