Hauptnavigation
Seiten-Navigation
Seiteninhalt
Hilfe & Kontakt
Menu University
University
Research
Study
Teaching
campus.kn
en
My University
Log in with your university's account to access password-protected areas.
Username
Password
Lost credentials?
Sign in
Toggle Searchoverlay
Software and Systems Engineering - Prof. Dr. Stefan Leue
SpinCause
Members
Members
Prof. Dr. Stefan Leue
Research Staff
Administration Office
Alumni
Research
Research
Neural Network Repair
SCADNet
Causality in Systems
TarTar
CauseJMu
DiRePro
IMCOS
Tools
Teaching
Teaching
Student-Information
Projects and Theses
Current ZEuS
Current Term
Publications
Publications
Publications
Presentation
Department of Computer and Information Science
Software and Systems Engineering - Prof. Dr. Stefan Leue
Research
Tools
SpinCause
Neural Network Repair
Neural Network Repair as Robust Optimisation
SpecRepair Tool
Repairing Reinforcement Learning Agents
Trustworthy Deep Learning in Pharmacometrics
Causality in Systems
QuantUM
CausCheck
Ansys Evaluation Project
SCADNet
TarTar
CauseJMu
DiRePro
Real-Time Systems
Probabilistic Systems
Directed Model Checking
IMCOS
IBOC
aLive
PONES
Tools
IBOC
TarTar
SpinCause
SDN-SafeCheck
K* Algorithm (K Star)
DiPro
MESA
VIP
HSF-SPIN
SpinCause - Causality Checking
SpinCause Source Code
Promela Model of Railway Crossing Case Study
Promela Model of Airbag Case Study
Hide search
Search University of Konstanz
Search pages
KonSearch
Local library catalogue
Search terms
Search
Results
Suggestions