Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Viorica Sofronie-Stokkermans

Formale Methoden und Theoretische Informatik, Universität Koblenz
  • sofronie@uni-koblenz.de
Forschungsprojekte
PDF | RTF

ab 2019

EnTrust (Teilprojekt 3: Erklärbarkeit)

ab 2015

Symbolelimination und Quantorenelimination und Anwendungen

ab 2005

Entscheidungsverfahren für komplexe logische Theorien

2004 - 2015

Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)

2004 - 2015

Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)