Experience Report on a Student-Organized AI Course
ITiCSE 2022, Dublin, Ireland and virtual
Analyzing Security Aspects of Software Architectures
Embedded World Conference 2022, Nuremberg, Germany
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
ABZ 2021 – 8th International Conference on Rigorous State Based Methods, virtual
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
Embedded World Conference 2020, virtual
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
iFM 2019, Bergen, Norway
Inquiry- and Research-based Teaching in a Course on Model Checking
FMFun 2019, Bergen, Norway
Prototyping Games using Formal Methods
FMFun 2019, Bergen, Norway
Prolog Coding Guidelines: Status and Tool Support
ICLP 2019, Las Cruces, NM, USA
Towards Constraint Logic Programming over Strings for Test Data Generation
DECLARE 2019, Cottbus, Germany
IT-Sicherheit - ist das wirklich so wichtig?
Table Talk and more …, Monforts Quartier, Mönchengladbach, GER
Datenschutz und IT-Sicherheit - geht es nicht auch ohne?
JHV 2019 - VAFA - Verband Automaten-Fachaufsteller e. V., Boppard, GER
Informationssicherheits-Management in Kliniken
Information Security Management for Hospitals
Ethical Hacking Workshop
European Cyber Security Month, 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