/tag/artificial-intelligence/ 2022-07-11T16:00:00+00:00 weekly /authors/ 2022-07-11T16:00:00+00:00 weekly /talk/experience-report-on-a-student-organized-ai-course/ 2022-07-11T16:00:00+00:00 weekly /event/ 2022-07-11T16:00:00+00:00 weekly / 2022-07-11T16:00:00+00:00 weekly /authors/admin/ 2022-07-11T16:00:00+00:00 weekly /tags/ 2022-07-11T16:00:00+00:00 weekly /tag/teaching/ 2022-07-11T16:00:00+00:00 weekly /publication-type/1/ 2022-06-25T00:00:00+00:00 weekly /publication/krings-aicourse-iticse22/ 2022-06-25T00:00:00+00:00 weekly /publication_types/ 2022-06-25T00:00:00+00:00 weekly /publication/ 2022-06-25T00:00:00+00:00 weekly /publication/krings-architecture-ew22/ 2022-06-24T00:00:00+00:00 weekly /tag/architecture/ 2022-06-24T00:00:00+00:00 weekly /tag/case-study/ 2022-06-24T00:00:00+00:00 weekly /tag/static-analysis/ 2022-06-24T00:00:00+00:00 weekly /tag/testing/ 2022-06-24T00:00:00+00:00 weekly /talk/analyzing-security-aspects-of-software-architectures/ 2022-06-22T11:00:00+00:00 weekly /tag/security/ 2022-06-22T11:00:00+00:00 weekly /publication/koerner-mc-throughout-the-years-fmtea21/ 2021-09-01T00:00:00+00:00 weekly /tag/model-checking/ 2021-09-01T00:00:00+00:00 weekly /authors/philipp-korner/ 2021-09-01T00:00:00+00:00 weekly /talk/a-verified-low-level-implementation-of-the-adaptive-exterior-light-and-speed-control-system/ 2021-06-10T10:25:00+00:00 weekly /talk/testing-model-checking-and-static-analysis-dream-team-or-rivals/ 2021-03-04T11:00:00+00:00 weekly /publication/krings-dreamteam-ew21/ 2021-03-04T00:00:00+00:00 weekly /authors/antonio-cerone/ 2020-10-18T00:00:00+00:00 weekly /authors/bernd-holger-schlingloff/ 2020-10-18T00:00:00+00:00 weekly /authors/casey-denner/ 2020-10-18T00:00:00+00:00 weekly /authors/faron-moller/ 2020-10-18T00:00:00+00:00 weekly /tag/formal-methods/ 2020-10-18T00:00:00+00:00 weekly /authors/james-davenport/ 2020-10-18T00:00:00+00:00 weekly /authors/magne-haveraaen/ 2020-10-18T00:00:00+00:00 weekly /authors/marie-farrell/ 2020-10-18T00:00:00+00:00 weekly /authors/markus-roggenbach/ 2020-10-18T00:00:00+00:00 weekly /authors/nikolay-shilov/ 2020-10-18T00:00:00+00:00 weekly /authors/peter-olveczky/ 2020-10-18T00:00:00+00:00 weekly /publication/cerone-whitepaper-fmfun19/ 2020-10-18T00:00:00+00:00 weekly /authors/rustam-zhumagambetov/ 2020-10-18T00:00:00+00:00 weekly /publication-type/2/ 2020-09-30T00:00:00+00:00 weekly /publication/koerner-executable-specs-journal/ 2020-09-30T00:00:00+00:00 weekly /authors/jannik-dunkelau/ 2020-09-30T00:00:00+00:00 weekly /authors/jens-bendisposto/ 2020-09-30T00:00:00+00:00 weekly /authors/michael-leuschel/ 2020-09-30T00:00:00+00:00 weekly /tag/prob/ 2020-09-30T00:00:00+00:00 weekly /authors/laurent-voisin/ 2020-07-28T00:00:00+00:00 weekly /authors/luis-fernando-mejia/ 2020-07-28T00:00:00+00:00 weekly /authors/michael-butler/ 2020-07-28T00:00:00+00:00 weekly /publication/butler-history-of-b-fmics20/ 2020-07-28T00:00:00+00:00 weekly /authors/thierry-lecomte/ 2020-07-28T00:00:00+00:00 weekly /post/htb-writeup-postman/ 2020-03-19T00:00:00+00:00 weekly /post/ 2020-03-19T00:00:00+00:00 weekly /publication/krings-misra-case-study-abz20/ 2020-03-10T00:00:00+00:00 weekly /authors/chris-rutenkolk/ 2020-03-10T00:00:00+00:00 weekly /tag/misra-c/ 2020-03-10T00:00:00+00:00 weekly /authors/david-schneider/ 2019-12-31T00:00:00+00:00 weekly /authors/dominik-hansen/ 2019-12-31T00:00:00+00:00 weekly /authors/frank-skowron/ 2019-12-31T00:00:00+00:00 weekly /authors/nader-nayeri/ 2019-12-31T00:00:00+00:00 weekly /authors/thomas-naulin/ 2019-12-31T00:00:00+00:00 weekly /publication/hansen-etcs-case-study-journal/ 2019-12-31T00:00:00+00:00 weekly /tag/alloy/ 2019-12-19T00:00:00+00:00 weekly /tag/constraint-solving/ 2019-12-19T00:00:00+00:00 weekly /authors/joshua-schmidt/ 2019-12-19T00:00:00+00:00 weekly /authors/marc-frappier/ 2019-12-19T00:00:00+00:00 weekly /publication/krings-alloy-to-b-journal/ 2019-12-19T00:00:00+00:00 weekly /talk/embedding-smt-lib-into-b-for-interactive-proof-and-constraint-solving/ 2019-12-06T11:30:00+00:00 weekly /tag/smt-solving/ 2019-12-06T11:30:00+00:00 weekly /talk/prototyping-games-using-formal-methods/ 2019-12-02T14:00:00+00:00 weekly /talk/inquiry-and-research-based-teaching-in-a-course-on-model-checking/ 2019-12-02T11:30:00+00:00 weekly /publication/krings-smtlib-in-b-ifm19/ 2019-11-22T00:00:00+00:00 weekly /tag/smt/ 2019-11-22T00:00:00+00:00 weekly /publication-type/0/ 2019-11-12T00:00:00+00:00 weekly /publication/krings-mc-course-fmfun19/ 2019-11-12T00:00:00+00:00 weekly /publication/krings-prototyping-games-fmfun19/ 2019-11-02T00:00:00+00:00 weekly /publication/koerner-executable-specs-fm19/ 2019-09-23T00:00:00+00:00 weekly /tag/logic-programming/ 2019-09-22T15:30:00+00:00 weekly /tag/prolog/ 2019-09-22T15:30:00+00:00 weekly /talk/prolog-coding-guidelines-status-and-tool-support/ 2019-09-22T15:30:00+00:00 weekly /tag/test-data/ 2019-09-11T11:00:00+00:00 weekly /talk/towards-constraint-logic-programming-over-strings-for-test-data-generation/ 2019-09-11T11:00:00+00:00 weekly /authors/falco-nogatz/ 2019-07-20T00:00:00+00:00 weekly /publication/nogatz-linter-iclp19/ 2019-07-20T00:00:00+00:00 weekly /authors/dierk-ehmke/ 2019-07-16T00:00:00+00:00 weekly /authors/patrick-skowronek/ 2019-07-16T00:00:00+00:00 weekly /publication/krings-towards-clpstr-test-data-wlp19/ 2019-07-16T00:00:00+00:00 weekly /publication/krings-history-of-b-hfm19/ 2019-06-30T00:00:00+00:00 weekly /talk/it-sicherheit-ist-das-wirklich-so-wichtig/ 2019-06-26T18:00:00+00:00 weekly /talk/datenschutz-und-it-sicherheit-geht-es-nicht-auch-ohne/ 2019-04-06T12:00:00+00:00 weekly /publication/dunkelau-backend-selection-nfm19/ 2019-02-23T00:00:00+00:00 weekly /tag/deep-learning/ 2019-02-23T00:00:00+00:00 weekly /publication/krings-mc-course-seuh19/ 2019-01-10T00:00:00+00:00 weekly /talk/informationssicherheits-management-in-kliniken/ 2018-11-07T10:30:00+00:00 weekly /talk/ethical-hacking-workshop/ 2018-11-05T12:00:00+00:00 weekly /project/bmoth/ 2018-09-26T00:00:00+00:00 weekly /project/clpstr/ 2018-09-26T00:00:00+00:00 weekly /tag/courses/ 2018-09-26T00:00:00+00:00 weekly /project/fm-access/ 2018-09-26T00:00:00+00:00 weekly /project/prob/ 2018-09-26T00:00:00+00:00 weekly /project/ 2018-09-26T00:00:00+00:00 weekly /project/prolog-infrastructure/ 2018-09-26T00:00:00+00:00 weekly /project/fm-teaching/ 2018-09-26T00:00:00+00:00 weekly /authors/alexandros-efremidis/ 2018-08-01T00:00:00+00:00 weekly /publication/efremidis-mutation-testing-wflp18/ 2018-08-01T00:00:00+00:00 weekly /tag/mutation-testing/ 2018-08-01T00:00:00+00:00 weekly /tag/model-repair/ 2018-07-09T00:00:00+00:00 weekly /publication/schmidt-model-repair-ifm18/ 2018-07-09T00:00:00+00:00 weekly /tag/synthesis/ 2018-07-09T00:00:00+00:00 weekly /terms/ 2018-06-28T00:00:00+01:00 weekly /authors/jan-hendrik-oepen/ 2018-05-16T00:00:00+00:00 weekly /authors/jessica-petrasch/ 2018-05-16T00:00:00+00:00 weekly /authors/moritz-gericke/ 2018-05-16T00:00:00+00:00 weekly /publication/petrasch-bmoth-avocs18/ 2018-05-16T00:00:00+00:00 weekly /publication/hallerstede-specs-to-constraints-sefm18/ 2018-04-09T00:00:00+00:00 weekly /authors/miran-hasanagic/ 2018-04-09T00:00:00+00:00 weekly /authors/peter-gorm-larsen/ 2018-04-09T00:00:00+00:00 weekly /tag/specifications/ 2018-04-09T00:00:00+00:00 weekly /authors/stefan-hallerstede/ 2018-04-09T00:00:00+00:00 weekly /publication/krings-alloy-to-b-abz18/ 2018-03-14T00:00:00+00:00 weekly /authors/carola-brings/ 2018-03-14T00:00:00+00:00 weekly /publication/hansen-etcs-case-study-abz18/ 2018-03-14T00:00:00+00:00 weekly /talk/three-is-a-crowd-sat-smt-and-clp-on-a-chessboard/ 2018-01-08T16:30:00+00:00 weekly /tag/declarative-programming/ 2018-01-08T00:00:00+00:00 weekly /tag/sat/ 2018-01-08T00:00:00+00:00 weekly /publication/krings-crowded-chessboard-padl18/ 2018-01-08T00:00:00+00:00 weekly /publication/koerner-plspec-declare17/ 2017-09-01T00:00:00+00:00 weekly /publication/krings-proof-assisted-mc-scico/ 2017-09-01T00:00:00+00:00 weekly /publication-type/7/ 2017-08-28T00:00:00+00:00 weekly /tag/disprover/ 2017-08-28T00:00:00+00:00 weekly /publication/krings-dissertation/ 2017-08-28T00:00:00+00:00 weekly /publication/krings-infinite-domains-wlp16/ 2017-01-01T00:00:00+00:00 weekly /publication/krings-burden-phdsymposium16/ 2016-06-05T00:00:00+00:00 weekly /publication/krings-smt-integration-ifm16/ 2016-05-24T00:00:00+00:00 weekly /publication/krings-meta-predicates-rodin16/ 2016-05-23T00:00:00+00:00 weekly /tag/rodin/ 2016-05-23T00:00:00+00:00 weekly /publication/schmidt-model-repair-abz16/ 2016-05-11T00:00:00+00:00 weekly /publication/krings-proof-assisted-mc-abz16/ 2016-05-11T00:00:00+00:00 weekly /publication/krings-disprover-eval-sefm15/ 2015-08-21T00:00:00+00:00 weekly /tag/abstract-interpretation/ 2015-05-26T00:00:00+00:00 weekly /publication/krings-physical-units-sosym/ 2015-05-26T00:00:00+00:00 weekly /publication-type/6/ 2014-07-22T00:00:00+00:00 weekly /authors/daniel-plagge/ 2014-07-22T00:00:00+00:00 weekly /publication/leuschel-animation-to-data-validation/ 2014-07-22T00:00:00+00:00 weekly /authors/ivaylo-dobrikov/ 2014-07-22T00:00:00+00:00 weekly /tag/poster/ 2014-07-10T00:00:00+00:00 weekly /publication/krings-disprover-poster-satsmt14/ 2014-07-10T00:00:00+00:00 weekly /publication/bendisposto-watchers-fide14/ 2014-04-23T00:00:00+00:00 weekly /publication/krings-physical-units-sefm13/ 2013-09-25T00:00:00+00:00 weekly /publication/krings-disprover-eval-sets14/ 2013-09-25T00:00:00+00:00 weekly /publication/krings-b-constrained-rodin13/ 2013-07-05T00:00:00+00:00 weekly /categories/ weekly