Papers on Sebastian Krings https://www.krin.gs/papers/ Recent content in Papers on Sebastian Krings Hugo -- 0.166.0 en Sat, 25 Jun 2022 00:00:00 +0000 Experience Report on a Student-Organized AI Course https://www.krin.gs/papers/krings-aicourse-iticse22/ Sat, 25 Jun 2022 00:00:00 +0000 https://www.krin.gs/papers/krings-aicourse-iticse22/ In Proceedings ITiCSE 2022 Analyzing Security Aspects of Software Architectures https://www.krin.gs/papers/krings-architecture-ew22/ Fri, 24 Jun 2022 00:00:00 +0000 https://www.krin.gs/papers/krings-architecture-ew22/ In Proceedings EW 2022, Weka Increasing Student Self-Reliance and Engagement in Model-Checking Courses https://www.krin.gs/papers/koerner-mc-throughout-the-years-fmtea21/ Wed, 01 Sep 2021 00:00:00 +0000 https://www.krin.gs/papers/koerner-mc-throughout-the-years-fmtea21/ In Proceedings FMTea 2021, Springer LNCS Testing, Model Checking and Static Analysis – Dream Team or Rivals? https://www.krin.gs/papers/krings-dreamteam-ew21/ Thu, 04 Mar 2021 00:00:00 +0000 https://www.krin.gs/papers/krings-dreamteam-ew21/ In Proceedings EW 2021, Weka Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering https://www.krin.gs/papers/cerone-whitepaper-fmfun19/ Sun, 18 Oct 2020 00:00:00 +0000 https://www.krin.gs/papers/cerone-whitepaper-fmfun19/ In Proceedings FMFun 2019 Integrating Formal Specifications into Applications - The ProB Java API https://www.krin.gs/papers/koerner-executable-specs-journal/ Wed, 30 Sep 2020 00:00:00 +0000 https://www.krin.gs/papers/koerner-executable-specs-journal/ In Formal Methods in System Design, Springer The First Twenty-Five Years of Industrial Use of the B Method https://www.krin.gs/papers/butler-history-of-b-fmics20/ Tue, 28 Jul 2020 00:00:00 +0000 https://www.krin.gs/papers/butler-history-of-b-fmics20/ In Proceedings FMICS 2020, Springer LNCS A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System https://www.krin.gs/papers/krings-misra-case-study-abz20/ Tue, 10 Mar 2020 00:00:00 +0000 https://www.krin.gs/papers/krings-misra-case-study-abz20/ In Proceedings ABZ 2020, Springer LNCS Validation and Real-Life Demonstration of ETCS Hybrid Level 3 Principles Using a Formal B Model https://www.krin.gs/papers/hansen-etcs-case-study-journal/ Tue, 31 Dec 2019 00:00:00 +0000 https://www.krin.gs/papers/hansen-etcs-case-study-journal/ In STTT, Springer Translating Alloy and Extensions to Classical B https://www.krin.gs/papers/krings-alloy-to-b-journal/ Thu, 19 Dec 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-alloy-to-b-journal/ In SCP, Elsevier Embedding SMT-LIB into B for Interactive Proof and Constraint Solving https://www.krin.gs/papers/krings-smtlib-in-b-ifm19/ Fri, 22 Nov 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-smtlib-in-b-ifm19/ Proceedings iFM 2019, Springer LNCS Inquiry- and Research-based Teaching in a Course on Model Checking https://www.krin.gs/papers/krings-mc-course-fmfun19/ Tue, 12 Nov 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-mc-course-fmfun19/ In Pre-Proceedings FMFun 2019 Prototyping Games Using Formal Methods https://www.krin.gs/papers/krings-prototyping-games-fmfun19/ Sat, 02 Nov 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-prototyping-games-fmfun19/ In Proceedings FMFun 2019 Embedding High-Level Formal Specifications into Applications https://www.krin.gs/papers/koerner-executable-specs-fm19/ Mon, 23 Sep 2019 00:00:00 +0000 https://www.krin.gs/papers/koerner-executable-specs-fm19/ In Proceedings FM 2019, Springer LNCS Prolog Coding Guidelines: Status and Tool Support https://www.krin.gs/papers/nogatz-linter-iclp19/ Sat, 20 Jul 2019 00:00:00 +0000 https://www.krin.gs/papers/nogatz-linter-iclp19/ In Technical Communications ICLP 2019, EPTCS Towards Constraint Logic Programming over Strings for Test Data Generation https://www.krin.gs/papers/krings-towards-clpstr-test-data-wlp19/ Tue, 16 Jul 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-towards-clpstr-test-data-wlp19/ Accepted for WLP 2019 The History and Evolution of B and Event-B https://www.krin.gs/papers/krings-history-of-b-hfm19/ Sun, 30 Jun 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-history-of-b-hfm19/ Extended Abstract and Talk at HFM 2019 Automated Backend Selection for ProB Using Deep Learning https://www.krin.gs/papers/dunkelau-backend-selection-nfm19/ Sat, 23 Feb 2019 00:00:00 +0000 https://www.krin.gs/papers/dunkelau-backend-selection-nfm19/ In Proceedings NFM 2019, Springer LNCS Experience Report on An Inquiry-Based Course on Model Checking https://www.krin.gs/papers/krings-mc-course-seuh19/ Thu, 10 Jan 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-mc-course-seuh19/ In Proceedings SEUH 2019, CEUR Workshop Proceedings Measuring Code Coverage of Prolog Programs Using Mutation Testing https://www.krin.gs/papers/efremidis-mutation-testing-wflp18/ Wed, 01 Aug 2018 00:00:00 +0000 https://www.krin.gs/papers/efremidis-mutation-testing-wflp18/ In Proceedings WFLP 2018, Springer LNCS 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 Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation https://www.krin.gs/papers/petrasch-bmoth-avocs18/ Wed, 16 May 2018 00:00:00 +0000 https://www.krin.gs/papers/petrasch-bmoth-avocs18/ In Proceedings AVoCS 2018, Electronic Communications of the EASST From Software Specifications to Constraint Programming https://www.krin.gs/papers/hallerstede-specs-to-constraints-sefm18/ Mon, 09 Apr 2018 00:00:00 +0000 https://www.krin.gs/papers/hallerstede-specs-to-constraints-sefm18/ In Proceedings SEFM 2018, Springer LNCS A Translation from Alloy to B https://www.krin.gs/papers/krings-alloy-to-b-abz18/ Wed, 14 Mar 2018 00:00:00 +0000 https://www.krin.gs/papers/krings-alloy-to-b-abz18/ In Proceedings ABZ 2018, Springer LNCS Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains https://www.krin.gs/papers/hansen-etcs-case-study-abz18/ Wed, 14 Mar 2018 00:00:00 +0000 https://www.krin.gs/papers/hansen-etcs-case-study-abz18/ In Proceedings ABZ 2018, Springer LNCS Three is a crowd: SAT, SMT and CLP on a chessboard https://www.krin.gs/papers/krings-crowded-chessboard-padl18/ Mon, 08 Jan 2018 00:00:00 +0000 https://www.krin.gs/papers/krings-crowded-chessboard-padl18/ In Proceedings PADL 2018, Springer LNCS plspec - A Specification Language for Prolog Data https://www.krin.gs/papers/koerner-plspec-declare17/ Fri, 01 Sep 2017 00:00:00 +0000 https://www.krin.gs/papers/koerner-plspec-declare17/ In Proceedings DECLARE 2017, Springer LNCS Proof Assisted Bounded and Unbounded Symbolic Model Checking of Software and System Models https://www.krin.gs/papers/krings-proof-assisted-mc-scico/ Fri, 01 Sep 2017 00:00:00 +0000 https://www.krin.gs/papers/krings-proof-assisted-mc-scico/ In Science of Computer Programming, Elsevier Towards Infinite-State Symbolic Model Checking for B and Event-B https://www.krin.gs/papers/krings-dissertation/ Mon, 28 Aug 2017 00:00:00 +0000 https://www.krin.gs/papers/krings-dissertation/ Dissertation submitted to the Heinrich-Heine-University Düsseldorf, Germany Contraint Logic Programming over Infinite Domains with an Application to Proof https://www.krin.gs/papers/krings-infinite-domains-wlp16/ Sun, 01 Jan 2017 00:00:00 +0000 https://www.krin.gs/papers/krings-infinite-domains-wlp16/ In Proceedings WLP 2016, EPTCS The Burden of High-Level Languages: Complicated Symbolic Model Checking https://www.krin.gs/papers/krings-burden-phdsymposium16/ Sun, 05 Jun 2016 00:00:00 +0000 https://www.krin.gs/papers/krings-burden-phdsymposium16/ Presented at PhD Symposium at iFM 2016 SMT Solvers for Validation of B and Event-B models https://www.krin.gs/papers/krings-smt-integration-ifm16/ Tue, 24 May 2016 00:00:00 +0000 https://www.krin.gs/papers/krings-smt-integration-ifm16/ In Proceedings iFM 2016, Springer LNCS Meta-Predicate for Rodin https://www.krin.gs/papers/krings-meta-predicates-rodin16/ Mon, 23 May 2016 00:00:00 +0000 https://www.krin.gs/papers/krings-meta-predicates-rodin16/ In Proceedings Rodin User and Developer Workshop 2016 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 Proof Assisted Symbolic Model Checking for B and Event-B https://www.krin.gs/papers/krings-proof-assisted-mc-abz16/ Wed, 11 May 2016 00:00:00 +0000 https://www.krin.gs/papers/krings-proof-assisted-mc-abz16/ In Proceedings ABZ 2016, Springer LNCS Turning Failure into Proof: The ProB Disprover for B and Event-B https://www.krin.gs/papers/krings-disprover-eval-sefm15/ Fri, 21 Aug 2015 00:00:00 +0000 https://www.krin.gs/papers/krings-disprover-eval-sefm15/ In Proceedings SEFM 2015, Springer LNCS Inferring Physical Units in Formal Models https://www.krin.gs/papers/krings-physical-units-sosym/ Tue, 26 May 2015 00:00:00 +0000 https://www.krin.gs/papers/krings-physical-units-sosym/ In Software and Systems Modeling, Springer From Animation to Data Validation: The ProB Constraint Solver 10 Years On https://www.krin.gs/papers/leuschel-animation-to-data-validation/ Tue, 22 Jul 2014 00:00:00 +0000 https://www.krin.gs/papers/leuschel-animation-to-data-validation/ In Formal Methods Applied to Complex Systems: Implementation of the B Method Turning Failure into Proof: The ProB Disprover https://www.krin.gs/papers/krings-disprover-poster-satsmt14/ Thu, 10 Jul 2014 00:00:00 +0000 https://www.krin.gs/papers/krings-disprover-poster-satsmt14/ Poster presented at SAT / SMT Summer School 2014 Who watches the watchers: Validating the ProB Validation Tool https://www.krin.gs/papers/bendisposto-watchers-fide14/ Wed, 23 Apr 2014 00:00:00 +0000 https://www.krin.gs/papers/bendisposto-watchers-fide14/ In Proceedings F-IDE 2014, EPTCS Inferring Physical Units in B Models https://www.krin.gs/papers/krings-physical-units-sefm13/ Wed, 25 Sep 2013 00:00:00 +0000 https://www.krin.gs/papers/krings-physical-units-sefm13/ In Proceedings SEFM 2013, Springer LNCS Turning Failure into Proof: Evaluating the ProB Disprover https://www.krin.gs/papers/krings-disprover-eval-sets14/ Wed, 25 Sep 2013 00:00:00 +0000 https://www.krin.gs/papers/krings-disprover-eval-sets14/ In Proceedings SETS 2014 B constrained https://www.krin.gs/papers/krings-b-constrained-rodin13/ Fri, 05 Jul 2013 00:00:00 +0000 https://www.krin.gs/papers/krings-b-constrained-rodin13/ In Proceedings Rodin User and Developer Workshop 2013, TUCS Lecture Notes