Sebastian Krings /authors/admin/ Sebastian Krings Wowchemy (https://wowchemy.com)en-usMon, 11 Jul 2022 16:00:00 +0000 /authors/admin/avatar_hu0bc9c6b0e01d4759995a1417b5636f32_20801_270x270_fill_q75_lanczos_center.jpg Sebastian Krings /authors/admin/ Experience Report on a Student-Organized AI Course /talk/experience-report-on-a-student-organized-ai-course/ Mon, 11 Jul 2022 16:00:00 +0000 /talk/experience-report-on-a-student-organized-ai-course/ Experience Report on a Student-Organized AI Course /publication/krings-aicourse-iticse22/ Sat, 25 Jun 2022 00:00:00 +0000 /publication/krings-aicourse-iticse22/ Analyzing Security Aspects of Software Architectures /publication/krings-architecture-ew22/ Fri, 24 Jun 2022 00:00:00 +0000 /publication/krings-architecture-ew22/ Analyzing Security Aspects of Software Architectures /talk/analyzing-security-aspects-of-software-architectures/ Wed, 22 Jun 2022 11:00:00 +0000 /talk/analyzing-security-aspects-of-software-architectures/ Increasing Student Self-Reliance and Engagement in Model-Checking Courses /publication/koerner-mc-throughout-the-years-fmtea21/ Wed, 01 Sep 2021 00:00:00 +0000 /publication/koerner-mc-throughout-the-years-fmtea21/ A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System /talk/a-verified-low-level-implementation-of-the-adaptive-exterior-light-and-speed-control-system/ Thu, 10 Jun 2021 10:25:00 +0000 /talk/a-verified-low-level-implementation-of-the-adaptive-exterior-light-and-speed-control-system/ Testing, Model Checking and Static Analysis – Dream Team or Rivals? /talk/testing-model-checking-and-static-analysis-dream-team-or-rivals/ Thu, 04 Mar 2021 11:00:00 +0000 /talk/testing-model-checking-and-static-analysis-dream-team-or-rivals/ Testing, Model Checking and Static Analysis – Dream Team or Rivals? /publication/krings-dreamteam-ew21/ Thu, 04 Mar 2021 00:00:00 +0000 /publication/krings-dreamteam-ew21/ Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering /publication/cerone-whitepaper-fmfun19/ Sun, 18 Oct 2020 00:00:00 +0000 /publication/cerone-whitepaper-fmfun19/ Integrating Formal Specifications into Applications - The ProB Java API /publication/koerner-executable-specs-journal/ Wed, 30 Sep 2020 00:00:00 +0000 /publication/koerner-executable-specs-journal/ The First Twenty-Five Years of Industrial Use of the B Method /publication/butler-history-of-b-fmics20/ Tue, 28 Jul 2020 00:00:00 +0000 /publication/butler-history-of-b-fmics20/ A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System /publication/krings-misra-case-study-abz20/ Tue, 10 Mar 2020 00:00:00 +0000 /publication/krings-misra-case-study-abz20/ Validation and Real-Life Demonstration of ETCS Hybrid Level 3 Principles Using a Formal B Model /publication/hansen-etcs-case-study-journal/ Tue, 31 Dec 2019 00:00:00 +0000 /publication/hansen-etcs-case-study-journal/ Translating Alloy and Extensions to Classical B /publication/krings-alloy-to-b-journal/ Thu, 19 Dec 2019 00:00:00 +0000 /publication/krings-alloy-to-b-journal/ Embedding SMT-LIB into B for Interactive Proof and Constraint Solving /talk/embedding-smt-lib-into-b-for-interactive-proof-and-constraint-solving/ Fri, 06 Dec 2019 11:30:00 +0000 /talk/embedding-smt-lib-into-b-for-interactive-proof-and-constraint-solving/ Prototyping Games using Formal Methods /talk/prototyping-games-using-formal-methods/ Mon, 02 Dec 2019 14:00:00 +0000 /talk/prototyping-games-using-formal-methods/ Inquiry- and Research-based Teaching in a Course on Model Checking /talk/inquiry-and-research-based-teaching-in-a-course-on-model-checking/ Mon, 02 Dec 2019 11:30:00 +0000 /talk/inquiry-and-research-based-teaching-in-a-course-on-model-checking/ Embedding SMT-LIB into B for Interactive Proof and Constraint Solving /publication/krings-smtlib-in-b-ifm19/ Fri, 22 Nov 2019 00:00:00 +0000 /publication/krings-smtlib-in-b-ifm19/ Inquiry- and Research-based Teaching in a Course on Model Checking /publication/krings-mc-course-fmfun19/ Tue, 12 Nov 2019 00:00:00 +0000 /publication/krings-mc-course-fmfun19/ Prototyping Games Using Formal Methods /publication/krings-prototyping-games-fmfun19/ Sat, 02 Nov 2019 00:00:00 +0000 /publication/krings-prototyping-games-fmfun19/ Embedding High-Level Formal Specifications into Applications /publication/koerner-executable-specs-fm19/ Mon, 23 Sep 2019 00:00:00 +0000 /publication/koerner-executable-specs-fm19/ Prolog Coding Guidelines: Status and Tool Support /talk/prolog-coding-guidelines-status-and-tool-support/ Sun, 22 Sep 2019 15:30:00 +0000 /talk/prolog-coding-guidelines-status-and-tool-support/ Towards Constraint Logic Programming over Strings for Test Data Generation /talk/towards-constraint-logic-programming-over-strings-for-test-data-generation/ Wed, 11 Sep 2019 11:00:00 +0000 /talk/towards-constraint-logic-programming-over-strings-for-test-data-generation/ Prolog Coding Guidelines: Status and Tool Support /publication/nogatz-linter-iclp19/ Sat, 20 Jul 2019 00:00:00 +0000 /publication/nogatz-linter-iclp19/ Towards Constraint Logic Programming over Strings for Test Data Generation /publication/krings-towards-clpstr-test-data-wlp19/ Tue, 16 Jul 2019 00:00:00 +0000 /publication/krings-towards-clpstr-test-data-wlp19/ The History and Evolution of B and Event-B /publication/krings-history-of-b-hfm19/ Sun, 30 Jun 2019 00:00:00 +0000 /publication/krings-history-of-b-hfm19/ Automated Backend Selection for ProB Using Deep Learning /publication/dunkelau-backend-selection-nfm19/ Sat, 23 Feb 2019 00:00:00 +0000 /publication/dunkelau-backend-selection-nfm19/ Experience Report on An Inquiry-Based Course on Model Checking /publication/krings-mc-course-seuh19/ Thu, 10 Jan 2019 00:00:00 +0000 /publication/krings-mc-course-seuh19/ Measuring Code Coverage of Prolog Programs Using Mutation Testing /publication/efremidis-mutation-testing-wflp18/ Wed, 01 Aug 2018 00:00:00 +0000 /publication/efremidis-mutation-testing-wflp18/ Repair and Generation of Formal Models Using Synthesis /publication/schmidt-model-repair-ifm18/ Mon, 09 Jul 2018 00:00:00 +0000 /publication/schmidt-model-repair-ifm18/ Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation /publication/petrasch-bmoth-avocs18/ Wed, 16 May 2018 00:00:00 +0000 /publication/petrasch-bmoth-avocs18/ From Software Specifications to Constraint Programming /publication/hallerstede-specs-to-constraints-sefm18/ Mon, 09 Apr 2018 00:00:00 +0000 /publication/hallerstede-specs-to-constraints-sefm18/ A Translation from Alloy to B /publication/krings-alloy-to-b-abz18/ Wed, 14 Mar 2018 00:00:00 +0000 /publication/krings-alloy-to-b-abz18/ Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains /publication/hansen-etcs-case-study-abz18/ Wed, 14 Mar 2018 00:00:00 +0000 /publication/hansen-etcs-case-study-abz18/ Three is a crowd: SAT, SMT and CLP on a chessboard /publication/krings-crowded-chessboard-padl18/ Mon, 08 Jan 2018 00:00:00 +0000 /publication/krings-crowded-chessboard-padl18/ plspec - A Specification Language for Prolog Data /publication/koerner-plspec-declare17/ Fri, 01 Sep 2017 00:00:00 +0000 /publication/koerner-plspec-declare17/ Proof Assisted Bounded and Unbounded Symbolic Model Checking of Software and System Models /publication/krings-proof-assisted-mc-scico/ Fri, 01 Sep 2017 00:00:00 +0000 /publication/krings-proof-assisted-mc-scico/ Towards Infinite-State Symbolic Model Checking for B and Event-B /publication/krings-dissertation/ Mon, 28 Aug 2017 00:00:00 +0000 /publication/krings-dissertation/ Contraint Logic Programming over Infinite Domains with an Application to Proof /publication/krings-infinite-domains-wlp16/ Sun, 01 Jan 2017 00:00:00 +0000 /publication/krings-infinite-domains-wlp16/ The Burden of High-Level Languages: Complicated Symbolic Model Checking /publication/krings-burden-phdsymposium16/ Sun, 05 Jun 2016 00:00:00 +0000 /publication/krings-burden-phdsymposium16/ SMT Solvers for Validation of B and Event-B models /publication/krings-smt-integration-ifm16/ Tue, 24 May 2016 00:00:00 +0000 /publication/krings-smt-integration-ifm16/ Meta-Predicate for Rodin /publication/krings-meta-predicates-rodin16/ Mon, 23 May 2016 00:00:00 +0000 /publication/krings-meta-predicates-rodin16/ Interactive Model Repair by Synthesis /publication/schmidt-model-repair-abz16/ Wed, 11 May 2016 00:00:00 +0000 /publication/schmidt-model-repair-abz16/ Proof Assisted Symbolic Model Checking for B and Event-B /publication/krings-proof-assisted-mc-abz16/ Wed, 11 May 2016 00:00:00 +0000 /publication/krings-proof-assisted-mc-abz16/ Turning Failure into Proof: The ProB Disprover for B and Event-B /publication/krings-disprover-eval-sefm15/ Fri, 21 Aug 2015 00:00:00 +0000 /publication/krings-disprover-eval-sefm15/ Inferring Physical Units in Formal Models /publication/krings-physical-units-sosym/ Tue, 26 May 2015 00:00:00 +0000 /publication/krings-physical-units-sosym/ From Animation to Data Validation: The ProB Constraint Solver 10 Years On /publication/leuschel-animation-to-data-validation/ Tue, 22 Jul 2014 00:00:00 +0000 /publication/leuschel-animation-to-data-validation/ Turning Failure into Proof: The ProB Disprover /publication/krings-disprover-poster-satsmt14/ Thu, 10 Jul 2014 00:00:00 +0000 /publication/krings-disprover-poster-satsmt14/ Who watches the watchers: Validating the ProB Validation Tool /publication/bendisposto-watchers-fide14/ Wed, 23 Apr 2014 00:00:00 +0000 /publication/bendisposto-watchers-fide14/ Inferring Physical Units in B Models /publication/krings-physical-units-sefm13/ Wed, 25 Sep 2013 00:00:00 +0000 /publication/krings-physical-units-sefm13/ Turning Failure into Proof: Evaluating the ProB Disprover /publication/krings-disprover-eval-sets14/ Wed, 25 Sep 2013 00:00:00 +0000 /publication/krings-disprover-eval-sets14/ B constrained /publication/krings-b-constrained-rodin13/ Fri, 05 Jul 2013 00:00:00 +0000 /publication/krings-b-constrained-rodin13/