Sebastian Krings
Contact Information
Heinrich-Heine-Universität Düsseldorf
Universitätsstraße 1
D-40225 Düsseldorf
Email:
Phone: +49 (211) 81-12635
Fax: +49 (211) 81-10712
Room: 25.12.02.52
Past Courses
Fundamentals of Artificial Intelligence- Model Checking
You can find proposed theses here.
Google ScholarPublications
2021
- Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper.In CCIS, 1301, Springer, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-71374-4_1
- LINK
- Prototyping Games Using Formal Methods.In Proceedings FMFun 2019, CCIS, 1301, Springer, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-71374-4_6
2020
- A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_30
2019
- Measuring Coverage of Prolog Programs Using Mutation Testing.In Proceedings WFLP 2018, LNCS, 11285, Springer, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-16202-3_3
- Automated Backend Selection for ProB Using Deep Learning.In NASA Formal Methods, LNCS, 11460, Springer, 130--147, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-20652-9_9
- Embedding High-Level Formal Specifications into Applications.In Proceedings FM, LNCS, 11800, Springer, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-30942-8_31
2018
- plspec - A Specification Language for Prolog Data.In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, LNAI, 10997, Springer, 2018.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-00801-7_13
- Three is a crowd: SAT, SMT and CLP on a chessboard.In Proceedings PADL 2018, LNCS, 10702, Springer, 2018.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-73305-0_5
- Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.In Proceedings ABZ 2018, Michael Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl, LNCS, 10817, Springer, 292--306, 2018.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91271-4_20