Publikationen pro Jahr
Beaufsichtigte Arbeit pro Jahr
Betreute Arbeit
- 28 Ergebnisse
Suchergebnisse
-
2018
Konstruktion von Lösungen für Unart-Subset-Sun und verwandte Probleme in TC^0
Bartels, F., 2018Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
Scheduling-Algorithmen für Energiemanagementsysteme in Smart-Homes
Bachmann, M., 2018Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
2017
Dreiwertige Timed-LTL-Semantik.
Huber, D., 2017, Lübeck.Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln
Lassota, A. A., 2017Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
SMT-based Flat Model-Checking for LTL with Counting
Pirogov, A., 15.09.2017, 85 S.Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
2016
Algorithmisches Zeichnen von Automaten.
Henke, G., 2016Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
Effizienter Leerheitstest pro Zustand auf Buch-Automaten
Kallwies, H., 2016Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
Vierwertige Timed-Linear-Temporal-Logic
Bierschenk, M., 2016Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
2015
An Algorithmic Toolbox to Facilitate the Genetic Finite Automata Based Approach for Negative Selection
Pott, C., 2015Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
Extending Freeze LTL on Multi-Attributed Data Words with Quantifiers
Pirogov, A., 2015Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
From 2-Ways Nondeterministic Büchi Automata to Alternating Büchi Automata
Kabelitz, M., 2015Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
Graph-basierte Wasserzeichen für Software
Buss, K.-D., 2015Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
Minimierung symbolischer nichtdeterministischer Büchi-Automaten
Thorn, J., 2015Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
Runetime Verification Logics for Object-Oriented Real-Time Systems
Mende, T., 2015Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
2014
Entwicklung eines SAT-Solvers.
Harder, J., 2014Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
Entwurf und Implementierung eines Algorithmus zur Berechnung einer Pfadzerlegung von kubischen Graphen.
Lassota, K., 2014Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
Logiken für verteilte Laufzeitverfikation.
Scheffel, T., 2014Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
STL: Combining Stream-based and Temporal Logics.
Tils, E. V., 2014Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
Verteilte Laufzeitverfikation auf eingebetteten Systemen.
Schmitz, M., 2014Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
Vier-wertige Abwicklungssemantik für Timet-LTL.
Meschkat, M., 2014Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
2013
Mehrdimensionale Histogram Equalization: Modellierung und komplexitätstheoretische Analyse
Idelberger, A., 2013Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
Runtime Verification for Mazurkiewicz Traces.
Waziri, C., 2013Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
2012
Algorithmen und Datenstrukturen für Prioritätswarteschlangen auf partiellen Ordnungen
Krüger, C., 2012Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
DSL-based Runtime Verification for the JVM.
Pohlmann, C., 2012Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
Multimengen-Baumautomaten: Analyse und Implementierung
Bürger, M., 2012Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
Transformation von regulärer Linearzeit-Temporallogik zu Paritätsautomaten.
Schmitz, M., 2012Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
Turn Costs in Energy-Optimal Route Planning for Electric Vehicles
Harms, P., 2012Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
2011
Transformationen von Paritätsautomaten in Büchi-Automaten
Scheffel, T., 2011Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten