https://www.krin.gs/tags/artificial-intelligence/ 2022-07-11T00:00:00+00:00 https://www.krin.gs/talks/iticse2022/ 2022-07-11T00:00:00+00:00 https://www.krin.gs/ 2022-07-11T00:00:00+00:00 https://www.krin.gs/tags/ 2022-07-11T00:00:00+00:00 https://www.krin.gs/talks/ 2022-07-11T00:00:00+00:00 https://www.krin.gs/tags/teaching/ 2022-07-11T00:00:00+00:00 https://www.krin.gs/papers/krings-aicourse-iticse22/ 2022-06-25T00:00:00+00:00 https://www.krin.gs/papers/ 2022-06-25T00:00:00+00:00 https://www.krin.gs/papers/krings-architecture-ew22/ 2022-06-24T00:00:00+00:00 https://www.krin.gs/tags/architecture/ 2022-06-24T00:00:00+00:00 https://www.krin.gs/tags/case-study/ 2022-06-24T00:00:00+00:00 https://www.krin.gs/tags/static-analysis/ 2022-06-24T00:00:00+00:00 https://www.krin.gs/tags/testing/ 2022-06-24T00:00:00+00:00 https://www.krin.gs/talks/embeddedworld2022/ 2022-06-22T00:00:00+00:00 https://www.krin.gs/tags/security/ 2022-06-22T00:00:00+00:00 https://www.krin.gs/papers/koerner-mc-throughout-the-years-fmtea21/ 2021-09-01T00:00:00+00:00 https://www.krin.gs/tags/model-checking/ 2021-09-01T00:00:00+00:00 https://www.krin.gs/talks/abz2021/ 2021-06-10T00:00:00+00:00 https://www.krin.gs/papers/krings-dreamteam-ew21/ 2021-03-04T00:00:00+00:00 https://www.krin.gs/talks/embeddedworld2021/ 2021-03-04T00:00:00+00:00 https://www.krin.gs/tags/formal-methods/ 2020-10-18T00:00:00+00:00 https://www.krin.gs/papers/cerone-whitepaper-fmfun19/ 2020-10-18T00:00:00+00:00 https://www.krin.gs/papers/koerner-executable-specs-journal/ 2020-09-30T00:00:00+00:00 https://www.krin.gs/tags/prob/ 2020-09-30T00:00:00+00:00 https://www.krin.gs/papers/butler-history-of-b-fmics20/ 2020-07-28T00:00:00+00:00 https://www.krin.gs/papers/krings-misra-case-study-abz20/ 2020-03-10T00:00:00+00:00 https://www.krin.gs/tags/misra-c/ 2020-03-10T00:00:00+00:00 https://www.krin.gs/papers/hansen-etcs-case-study-journal/ 2019-12-31T00:00:00+00:00 https://www.krin.gs/tags/alloy/ 2019-12-19T00:00:00+00:00 https://www.krin.gs/tags/constraint-solving/ 2019-12-19T00:00:00+00:00 https://www.krin.gs/papers/krings-alloy-to-b-journal/ 2019-12-19T00:00:00+00:00 https://www.krin.gs/talks/ifm2019/ 2019-12-06T00:00:00+00:00 https://www.krin.gs/tags/smt-solving/ 2019-12-06T00:00:00+00:00 https://www.krin.gs/talks/fmfun2019-1/ 2019-12-02T00:00:00+00:00 https://www.krin.gs/talks/fmfun2019-2/ 2019-12-02T00:00:00+00:00 https://www.krin.gs/papers/krings-smtlib-in-b-ifm19/ 2019-11-22T00:00:00+00:00 https://www.krin.gs/tags/smt/ 2019-11-22T00:00:00+00:00 https://www.krin.gs/papers/krings-mc-course-fmfun19/ 2019-11-12T00:00:00+00:00 https://www.krin.gs/papers/krings-prototyping-games-fmfun19/ 2019-11-02T00:00:00+00:00 https://www.krin.gs/papers/koerner-executable-specs-fm19/ 2019-09-23T00:00:00+00:00 https://www.krin.gs/tags/logic-programming/ 2019-09-22T00:00:00+00:00 https://www.krin.gs/tags/prolog/ 2019-09-22T00:00:00+00:00 https://www.krin.gs/talks/iclp19/ 2019-09-22T00:00:00+00:00 https://www.krin.gs/tags/test-data/ 2019-09-11T00:00:00+00:00 https://www.krin.gs/talks/declare2019/ 2019-09-11T00:00:00+00:00 https://www.krin.gs/papers/nogatz-linter-iclp19/ 2019-07-20T00:00:00+00:00 https://www.krin.gs/papers/krings-towards-clpstr-test-data-wlp19/ 2019-07-16T00:00:00+00:00 https://www.krin.gs/papers/krings-history-of-b-hfm19/ 2019-06-30T00:00:00+00:00 https://www.krin.gs/talks/dinner2019/ 2019-06-26T00:00:00+00:00 https://www.krin.gs/talks/vafa2019/ 2019-04-06T00:00:00+00:00 https://www.krin.gs/papers/dunkelau-backend-selection-nfm19/ 2019-02-23T00:00:00+00:00 https://www.krin.gs/tags/deep-learning/ 2019-02-23T00:00:00+00:00 https://www.krin.gs/papers/krings-mc-course-seuh19/ 2019-01-10T00:00:00+00:00 https://www.krin.gs/talks/isms2018/ 2018-11-07T00:00:00+00:00 https://www.krin.gs/talks/ethicalhacking2018/ 2018-11-05T00:00:00+00:00 https://www.krin.gs/papers/efremidis-mutation-testing-wflp18/ 2018-08-01T00:00:00+00:00 https://www.krin.gs/tags/mutation-testing/ 2018-08-01T00:00:00+00:00 https://www.krin.gs/tags/model-repair/ 2018-07-09T00:00:00+00:00 https://www.krin.gs/papers/schmidt-model-repair-ifm18/ 2018-07-09T00:00:00+00:00 https://www.krin.gs/tags/synthesis/ 2018-07-09T00:00:00+00:00 https://www.krin.gs/papers/petrasch-bmoth-avocs18/ 2018-05-16T00:00:00+00:00 https://www.krin.gs/papers/hallerstede-specs-to-constraints-sefm18/ 2018-04-09T00:00:00+00:00 https://www.krin.gs/tags/specifications/ 2018-04-09T00:00:00+00:00 https://www.krin.gs/papers/krings-alloy-to-b-abz18/ 2018-03-14T00:00:00+00:00 https://www.krin.gs/papers/hansen-etcs-case-study-abz18/ 2018-03-14T00:00:00+00:00 https://www.krin.gs/tags/declarative-programming/ 2018-01-08T00:00:00+00:00 https://www.krin.gs/tags/sat/ 2018-01-08T00:00:00+00:00 https://www.krin.gs/papers/krings-crowded-chessboard-padl18/ 2018-01-08T00:00:00+00:00 https://www.krin.gs/talks/padl2018/ 2018-01-08T00:00:00+00:00 https://www.krin.gs/papers/koerner-plspec-declare17/ 2017-09-01T00:00:00+00:00 https://www.krin.gs/papers/krings-proof-assisted-mc-scico/ 2017-09-01T00:00:00+00:00 https://www.krin.gs/tags/disprover/ 2017-08-28T00:00:00+00:00 https://www.krin.gs/papers/krings-dissertation/ 2017-08-28T00:00:00+00:00 https://www.krin.gs/papers/krings-infinite-domains-wlp16/ 2017-01-01T00:00:00+00:00 https://www.krin.gs/papers/krings-burden-phdsymposium16/ 2016-06-05T00:00:00+00:00 https://www.krin.gs/papers/krings-smt-integration-ifm16/ 2016-05-24T00:00:00+00:00 https://www.krin.gs/papers/krings-meta-predicates-rodin16/ 2016-05-23T00:00:00+00:00 https://www.krin.gs/tags/rodin/ 2016-05-23T00:00:00+00:00 https://www.krin.gs/papers/schmidt-model-repair-abz16/ 2016-05-11T00:00:00+00:00 https://www.krin.gs/papers/krings-proof-assisted-mc-abz16/ 2016-05-11T00:00:00+00:00 https://www.krin.gs/papers/krings-disprover-eval-sefm15/ 2015-08-21T00:00:00+00:00 https://www.krin.gs/tags/abstract-interpretation/ 2015-05-26T00:00:00+00:00 https://www.krin.gs/papers/krings-physical-units-sosym/ 2015-05-26T00:00:00+00:00 https://www.krin.gs/papers/leuschel-animation-to-data-validation/ 2014-07-22T00:00:00+00:00 https://www.krin.gs/tags/poster/ 2014-07-10T00:00:00+00:00 https://www.krin.gs/papers/krings-disprover-poster-satsmt14/ 2014-07-10T00:00:00+00:00 https://www.krin.gs/papers/bendisposto-watchers-fide14/ 2014-04-23T00:00:00+00:00 https://www.krin.gs/papers/krings-physical-units-sefm13/ 2013-09-25T00:00:00+00:00 https://www.krin.gs/papers/krings-disprover-eval-sets14/ 2013-09-25T00:00:00+00:00 https://www.krin.gs/papers/krings-b-constrained-rodin13/ 2013-07-05T00:00:00+00:00 https://www.krin.gs/archive/ https://www.krin.gs/datenschutz/ https://www.krin.gs/impressum/