Formale Methoden und Theoretische Informatik (Universität Koblenz) - Forschungsprojekte

Über Realzeitautomaten hinaus (Teilprojekt TRR 14:  AVACS - Automatische Verifikation und Analyse komplexer Systeme)
Sofronie-Stokkermans, Viorica; (2004 - 2015)

Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14:  AVACS - Automatische Verifikation und Analyse komplexer Systeme)
Sofronie-Stokkermans, Viorica; (2004 - 2015)

EnTrust (Teilprojekt 3: Erklärbarkeit)
Sofronie-Stokkermans, Viorica; Sofronie-Stokkermans, Viorica; (ab 2019)

Symbolelimination und Quantorenelimination und Anwendungen
Sofronie-Stokkermans, Viorica; Sofronie-Stokkermans, Viorica; (2015 - 2025)

Entscheidungsverfahren für komplexe logische Theorien
Sofronie-Stokkermans, Viorica; Sofronie-Stokkermans, Viorica; (2005 - 2025)