User: Guest  Login
Original title:
Reachability in Pushdown Systems: Algorithms and Applications 
Translated title:
Erreichbarkeit in Pushdown-Systemen: Algorithmen und Anwendungen 
Year:
2009 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Esparza Estaun, Francisco Javier (Prof. Dr.) 
Referee:
Esparza Estaun, Francisco Javier (Prof. Dr.); Bouajjani, Ahmed (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Abstract:
This thesis analyzes reachability in generalized pushdown models, alternating pushdown systems and pushdown networks. A pushdown network can be used for modeling multithreaded programs. The reachability algorithms have been optimized and implemented in a tool called jMoped. Several practical experiments with jMoped are reported. Alternating pushdown systems are shown to be suitable models for authorization systems and reputation systems, where reasoning in the systems boils down to solving reach...    »
 
Translated abstract:
Diese Arbeit analysiert das Erreichbarkeitsproblem in verallgemeinerten Pushdown-Modellen, alternierenden Pushdown-Systemen und Pushdown-Netzwerken. Ein Pushdown-Netzwerk kann zur Modellierung nebenläufiger Programme verwendet werden. Die Algorithmen hierfür wurden optimiert und in einem Tool namens jMoped implementiert. Die Arbeit berichtet über praktische Experimente mit jMoped. Alternierende Pushdown-Systeme werden als Modell für Autorisierungs- und Reputations-Systeme vorgestellt, deren Frag...    »
 
Oral examination:
25.05.2009 
Pages:
177 
Last change:
11.03.2010