Dissertations

Gerrit Anders:
Self-Organized Robust Optimization in Open Technical Systems
Andreas Angerer:
Object-oriented Software for Industrial Robots
Simon Bäumler:
Modulares Beweisen temporallogischer Eigenschaften paralleler Programme
Michael Balser:
Verifying Concurrent Systems with Symbolic Execution
Stefan Bodenmüller:
Caching, Crashing & Concurrency - Verification under Adverse Conditions
Marian Borek:
Modellgetriebene Entwicklung sicherer Web Service-Anwendungen
Andriy Dunets:
Automatische Fehlersuche in Algebraischen Spezifikationen
Benedikt Eberhardinger:
Model-Based Testing for Self-Organization Mechanisms
Gidon Ernst:
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
Christian Eymüller:
RealCaPP – Real-time capable plug & produce for distributed robot-based automation
Holger Grandy:
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Axel Habermayer:
Design Time and Run Time Formal Safety Analysis using Executable Models
Dominik Haneberg:
Sicherheit von Smart Card-Anwendungen
Julian Hanke:
Robot-based component testing on software-defined test benches
Alwin Hoffmann:
Serviceorientierte Automatisierung von Roboterzellen
Kuzman Katkalov:
Ein modellgetriebener Ansatz zur Entwicklung informationsflusssicherer Systeme
Oliver Kosak:
Mission programming for flying ensembles: combining planning with self-organization
Johannes Leupolz:
Probabilistic Safety Analysis of Executable Models
Nina Moebius:
Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen
Ludwig Nägele:
PaRTs: Automatische Programmierung in der robotergestützten Fertigung
Jörg Pfähler:
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Alexander Poeppel
SensorClouds - A framework for real-time processing of multi-modal sensor data for human-robot-collaboration
Alexander Schiendorfer:
Soft Constraints in MiniBrass: Foundations and Applications
Andreas Schierl:
Object-Oriented Modeling and Coordination of Mobile Robots
Jonathan Schmitt:
Modellierung und Verifikation medizinischer Leitlinien
Hella Seebach:
Konstruktion selbst-organisierender Softwaresysteme
Florian Siefert:
Selbst-organisiertes, trust-bewusstes Supply Demand Management in Smart Grids
Jan-Philipp Steghöfer:
Large-Scale Open Self-Organising Systems
Kurt Stenzel:
Verification of Java Card Programs
Simon Stieber:
Machine learning for carbon fiber reinforced polymer production
Matthias Stüben:
Constraint-based specification, planning and control for mobile manipulators in dynamic environments
Andreas Thums:
Formale Fehlerbaumanalyse
Bogdan Tofan:
Compositional Concurrent Program Verification with RGITL
Michael Vistein:
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Constantin Wanninger:
Semantic Plug & Play - Selbstbeschreibende Hardware für modulare Robotersysteme

Institute for Software & Systems Engineering

The Institute for Software & Systems Engineering (ISSE), directed by Prof. Dr. Wolfgang Reif, is a scientific institution within the Faculty of Applied Computer Science of the University of Augsburg. In research, the institute supports both fundamental and application-oriented research in all areas of software and systems engineering. In teaching, the institute facilitates the further development of the faculty's and university's relevant course offerings.

Institute for Software & Systems Engineering

Dissertations

Institute for Software & Systems Engineering

Search