Synthesis on Sebastian Krings https://www.krin.gs/tags/synthesis/ Recent content in Synthesis on Sebastian Krings Hugo -- 0.166.0 en Mon, 09 Jul 2018 00:00:00 +0000 Repair and Generation of Formal Models Using Synthesis https://www.krin.gs/papers/schmidt-model-repair-ifm18/ Mon, 09 Jul 2018 00:00:00 +0000 https://www.krin.gs/papers/schmidt-model-repair-ifm18/ In Proceedings iFM 2018, Springer LNCS Interactive Model Repair by Synthesis https://www.krin.gs/papers/schmidt-model-repair-abz16/ Wed, 11 May 2016 00:00:00 +0000 https://www.krin.gs/papers/schmidt-model-repair-abz16/ In Proceedings ABZ 2016, Springer LNCS