Roland Meyer

Une nouvelle méthode détermine la séparabilité des langages de reachabilité VASS.

Une étude sur la génération automatique de programmes utilisant la réalisabilité et la logique de réalisation.

Un aperçu des complexités de la séparation des langues dans Buchi VASS.

Examiner comment les transformations de compilateur affectent la sécurité des programmes et l'absence d'interférence.