Case Study | Sebastian Krings /tag/case-study/ Case Study Wowchemy (https://wowchemy.com)en-usFri, 24 Jun 2022 00:00:00 +0000 /media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png Case Study /tag/case-study/ Analyzing Security Aspects of Software Architectures /publication/krings-architecture-ew22/ Fri, 24 Jun 2022 00:00:00 +0000 /publication/krings-architecture-ew22/ 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? /publication/krings-dreamteam-ew21/ Thu, 04 Mar 2021 00:00:00 +0000 /publication/krings-dreamteam-ew21/ 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/ 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/ 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/ 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/ 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/