Teaching on Sebastian Krings https://www.krin.gs/tags/teaching/ Recent content in Teaching on Sebastian Krings Hugo -- 0.166.0 en Mon, 11 Jul 2022 00:00:00 +0000 Experience Report on a Student-Organized AI Course https://www.krin.gs/talks/iticse2022/ Mon, 11 Jul 2022 00:00:00 +0000 https://www.krin.gs/talks/iticse2022/ ITiCSE 2022, Dublin, Ireland and virtual 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 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 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 Inquiry- and Research-based Teaching in a Course on Model Checking https://www.krin.gs/talks/fmfun2019-1/ Mon, 02 Dec 2019 00:00:00 +0000 https://www.krin.gs/talks/fmfun2019-1/ FMFun 2019, Bergen, Norway Prototyping Games using Formal Methods https://www.krin.gs/talks/fmfun2019-2/ Mon, 02 Dec 2019 00:00:00 +0000 https://www.krin.gs/talks/fmfun2019-2/ FMFun 2019, Bergen, Norway 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 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 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