Hauptnavigation
Seiteninhalt
Inhalt
Hilfe & Kontakt
Suche
Accessibility
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
Search
Software and Systems Engineering - Prof. Dr. Stefan Leue
SpinCause
Members
Members
Prof. Dr. Stefan Leue
Research Staff
Administration Office
Alumni
Research
Research
QuantUM
CausCheck
CauseJMu
DiRePro
IMCOS
Tools
Abgeschlossene Projekte
Teaching
Teaching
Student-Information
Projects and Theses
Current ZEuS
Summer Term 2023
Current Term
Past Terms
Publications
Publications
Publications
Presentation
Department of Computer and Information Science
Software and Systems Engineering - Prof. Dr. Stefan Leue
Research
Tools
SpinCause
TarTar
QuantUM
CausCheck
CauseJMu
DiRePro
Real-Time Systems
Probabilistic Systems
Directed Model Checking
IMCOS
IBOC
aLive
PONES
Tools
TarTar
SpinCause
SDN-SafeCheck
K* Algorithm (K Star)
DiPro
MESA
VIP
IBOC
Completed Research Projects
VIP
Visual Modeling and Formal Validation
Formal Modeling and Validation of Distributed, Object-Oriented Systems
Message Sequence Charts and Message Flow Graphs
Efficient, Parallel Protocol Implementation
SDL, Real-Time and Quality of Service
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