Case Study on Sebastian Krings https://www.krin.gs/tags/case-study/ Recent content in Case Study on Sebastian Krings Hugo -- 0.166.0 en Fri, 24 Jun 2022 00:00:00 +0000 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 A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System https://www.krin.gs/talks/abz2021/ Thu, 10 Jun 2021 00:00:00 +0000 https://www.krin.gs/talks/abz2021/ ABZ 2021 – 8th International Conference on Rigorous State Based Methods, virtual 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 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 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 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 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 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