Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
Recent & Upcoming Talks
2021
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
Paper presentation.
Jun 10, 2021 10:25 AM — 10:50 AM
virtual
Sebastian Krings
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
Paper presentation.
Mar 4, 2021 11:00 AM — 11:30 AM
virtual
Sebastian Krings
Slides
2019
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
Paper presentation.
Dec 6, 2019 11:30 AM — 12:00 PM
Bergen, Norway
Sebastian Krings
Project
Prototyping Games using Formal Methods
Paper presentation.
Dec 2, 2019 2:00 PM — 2:30 PM
Bergen, Norway
Sebastian Krings
Project
Inquiry- and Research-based Teaching in a Course on Model Checking
Paper presentation.
Dec 2, 2019 11:30 AM — 12:00 PM
Bergen, Norway
Sebastian Krings
Project
Prolog Coding Guidelines: Status and Tool Support
Paper presentation.
Sep 22, 2019 3:30 PM — 4:00 PM
Las Cruces, NM, USA
Sebastian Krings
Project
Towards Constraint Logic Programming over Strings for Test Data Generation
Paper presentation.
Sep 11, 2019 11:00 AM — 11:30 AM
Cottbus, Germany
Sebastian Krings
Project
IT-Sicherheit - ist das wirklich so wichtig?
Jun 26, 2019 6:00 PM — 8:00 PM
Monforts Quartier, Mönchengladbach, GER
Datenschutz und IT-Sicherheit - geht es nicht auch ohne?
Apr 6, 2019 12:00 PM — 2:00 PM
Boppard, GER
2018
Informationssicherheits-Management in Kliniken
Information Security Management for Hospitals
Nov 7, 2018 10:30 AM — 2:30 PM
Hochschule Niederrhein, Mönchengladbach, GER
Ethical Hacking Workshop
Nov 5, 2018 12:00 PM — 2:00 PM
Hochschule Niederrhein, Mönchengladbach, GER
Three is a crowd: SAT, SMT and CLP on a chessboard
Declarative encodings of chess problems and how to solve them
Jan 8, 2018 4:30 PM — 5:00 PM
Los Angeles, USA
Project
Cite
×