Prof. Dr. Viorica Sofronie-Stokkermans - Forschungsprojekte

Explainable Belief Merging
Sofronie-Stokkermans, Viorica; (2022 - 2025)

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

Engineering Trustworthy Data-Intensive Systems
Konersmann, Marco; Jürjens, Jan; Delfmann, Patrick; Sofronie-Stokkermans, Viorica; Staab, Steffen; Thimm, Matthias; Mauthe, Andreas; Paulus, Dietrich; Lämmel, Ralf; (2019 - 2023)

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)

Ü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)

Ü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)