Roland Meyer

Neue Methode bestimmt die Separierbarkeit von VASS-Erreichbarkeits-Sprachen.

Eine Studie zur automatisierten Programmgenerierung mit Realisierbarkeit und Realisierungslogik.

Ein Blick auf die Komplexitäten der Trennung von Sprachen in Buchi VASS.

Untersuchen, wie Compiler-Transformationen die Programmsicherheit und Nicht-Interferenz beeinflussen.