Suche

Dissertationen


2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

  • Sicherheit von Smart Card-Anwendungen
    Dominik Haneberg

    Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, verfügbar als Buch

    Erstgutachter: Prof. Dr. Wolfgang Reif
    Zweitgutachter: Prof. Dr. Bernhard Bauer

2005

  • Reflektive mobile Agenten in ubiquitären Systemen
    Faruk Bagci
    Dissertation, Universität Augsburg
    Erstgutachter: Prof. Dr. Theo Ungerer
    Zweitgutachter: Prof. Dr. Bernhard Bauer
  • Zustandsprädiktoren zur Kontextvorhersage in ubiquitären Systemen
    Jan Petzold
    Dissertation, Universität Augsburg
    Erstgutachter: Prof. Dr. Theo Ungerer
    Zweitgutachter: Prof. Dr. Bernhard Bauer
  • Verifying Concurrent Systems with Symbolic Execution
    Michael Balser
    Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2005
    Symbolic execution is an intuitive strategy to verify sequential programs, which can be automated to a large extent. We have successfully carried over this method of proof to the interactive verification of concurrent systems. The resulting strategy can be applied to the verification of complex parallel programs and arbitrary (linear) temporal formulas. Our underlying logic is defined such that operators for parallel programs and temporal logic can be arbitrarily nested. We support interleaving with explicit blocking, nondeterministic choice, and others. Most important, the semantics of all of the operators are compositional. Thus, systems can be abstracted and proofs can be decomposed. This ensures that our strategy of proof can be applied to the verification of large, concurrent systems.
  • Verification of Java Card Programs
    Kurt Stenzel
    Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2005
    Erstgutachter: Prof. Dr. Wolfgang Reif
    Zweitgutachter: Prof. Dr. Bernhard Bauer
  • Ein Framework für die profilbasierte Gruppenbildung in ad hoc Umgebungen
    Christian Seitz

2004

2003

2002

2001

1999

1998

1996

1995

1994

Habilitationen