Research output per year
Research output per year
Research output
- 14 results
Search results
-
2018
Konstruktion von Lösungen für Unart-Subset-Sun und verwandte Probleme in TC^0
Bartels, F., 2018Research output: Published Theses › Master Theses
-
Scheduling-Algorithmen für Energiemanagementsysteme in Smart-Homes
Bachmann, M., 2018Research output: Published Theses › Master Theses
-
2017
Dreiwertige Timed-LTL-Semantik.
Huber, D., 2017, Lübeck.Research output: Published Theses › Master Theses
-
Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln
Lassota, A. A., 2017Research output: Published Theses › Master Theses
-
SMT-based Flat Model-Checking for LTL with Counting
Pirogov, A., 15.09.2017, 85 p.Research output: Published Theses › Master Theses
-
2015
Minimierung symbolischer nichtdeterministischer Büchi-Automaten
Thorn, J., 2015Research output: Published Theses › Master Theses
-
Runetime Verification Logics for Object-Oriented Real-Time Systems
Mende, T., 2015Research output: Published Theses › Master Theses
-
2014
Entwurf und Implementierung eines Algorithmus zur Berechnung einer Pfadzerlegung von kubischen Graphen.
Lassota, K., 2014Research output: Published Theses › Master Theses
-
Logiken für verteilte Laufzeitverfikation.
Scheffel, T., 2014Research output: Published Theses › Master Theses
-
STL: Combining Stream-based and Temporal Logics.
Tils, E. V., 2014Research output: Published Theses › Master Theses
-
Verteilte Laufzeitverfikation auf eingebetteten Systemen.
Schmitz, M., 2014Research output: Published Theses › Master Theses
-
2013
Runtime Verification for Mazurkiewicz Traces.
Waziri, C., 2013Research output: Published Theses › Master Theses
-
2012
DSL-based Runtime Verification for the JVM.
Pohlmann, C., 2012Research output: Published Theses › Master Theses
-
2003
Stream Based Design of Distributed Systems through Refinement
Stümpel, A., 2003, 230 p.Research output: Published Theses › Master Theses