Veröffentlichungen der Universität / Institut für Informatik [1-20]

Automatische Testfallgenerierung aus kontrolliert natürlichsprachlichen Anforderungsspezifikationen für reaktive Echtzeitsysteme
Schnelte, Matthias
2011
Adaptable OS services for distributed reconfigurable systems on chip
Samara, Sufyan
2010
Decomposition for compositional verification
Metzler, Björn
2010
Generierung von Animation und Simulation für graphische Struktureditoren
Cramer, Bastian
2010
Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen
Mistrzyk, Tomasz
2010
Multi-agent reinforcement learning algorithms
Akchurina, Natalia
2010
Peer-to-peer networks based on random graphs
Mahlmann, Peter
2010
Power-aware online file allocation in dynamic networks
Mehler, Jan
2010
Self-organizing construction of connected k-hop dominating sets in wireless sensor networks
Janáčik, Peter
2010
Semantic positioning
supporting knowledge work through semantic spatial arrangements
Erren, Patrick
2010
Towards an RTOS for self-optimizing mechatronic systems
Oberthür, Simon
2010
Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien
Wübbeke, Andreas
2010
Algorithms for the Bregman k-Median problem
Ackermann, Marcel R.
2009
An aspect-oriented model-driven engineering approach for distributed embedded real-time systems
Wehrmeister, Marco Aurélio
2009
Collusion-resistant cost-sharing mechanisms
design techniques, analyses, trade-offs
Schoppmann, Florian
2009
Cooperative relaying and its application
from analysis to prototypes
Valentin, Stefan
2009
Gefahrenanalyse selbstoptimierender Systeme
Tichy, Matthias
2009
Inkrementelle Modellsynchronisation
Wagner, Robert
2009
Kontextsensitive Qualitätsplanung von Softwaremodellen
Voigt, Hendrik
2009
Learning and imitation in heterogeneous robot groups
Richert, Wilhelm
2009
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Automatische Testfallgenerierung aus kontrolliert natürlichsprachlichen Anforderungsspezifikationen für reaktive Echtzeitsysteme

Adaptable OS services for distributed reconfigurable systems on chip

Decomposition for compositional verification

Generierung von Animation und Simulation für graphische Struktureditoren

Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen

Multi-agent reinforcement learning algorithms

Peer-to-peer networks based on random graphs

Power-aware online file allocation in dynamic networks

Self-organizing construction of connected k-hop dominating sets in wireless sensor networks

Semantic positioning

Towards an RTOS for self-optimizing mechatronic systems

Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien

Algorithms for the Bregman k-Median problem

An aspect-oriented model-driven engineering approach for distributed embedded real-time systems

Collusion-resistant cost-sharing mechanisms

Cooperative relaying and its application

Gefahrenanalyse selbstoptimierender Systeme

Inkrementelle Modellsynchronisation

Kontextsensitive Qualitätsplanung von Softwaremodellen

Learning and imitation in heterogeneous robot groups