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

Distributed data structures and the power of topological self-stabilization
Kniesburges, Sebastian
2015
Eine durchgängige modellbasierte Entwicklungsmethodik für die automobile Steuergeräteentwicklung unter Einbeziehung des AUTOSAR Standards
Meyer, Jan
2015
A framework for assertion-based timing verification and PC-based restbus simulation of automotive systems
Gnokam Defo, Gilles Bertrand
2015
Goal-oriented business process engineering
Nagel, Benjamin
2015
Identification of timed behavior models for diagnosis in production systems
Maier, Alexander
2015
Integrating contract-based testing into model-driven software development
Güldali, Barış
2015
MAPE-K4SEM - Selbst-adaptive Software-Engineering-Methoden
Geisen, Silke ; Ebert, Jürgen
2015
Methoden und Werkzeuge zur Entwicklung dreidimensionaler visueller Sprachen
Wolter, Jan
2015
On the complexity of fundamental problems in dynamic ad-hoc networks
Abshoff, Sebastian
2015
Optimizing software-defined networks using application-layer knowledge
Wette, Philip
2015
PBlaman: kontraktbasierte Performance-Blame-Analysis
Brüseke, Frank
2015
Resource allocation and scheduling in dense mobile access networks
Dräxler, Martin
2015
Situationsgerechte Methodenweiterentwicklung auf Basis von MetaMe am Beispiel der Server-System-Entwicklung
Spijkerman, Michael
2015
Testaufwandsschätzung in der analytischen Qualitätssicherung
Schreiber, Hendrik
2015
Verification and simulation of self-adaptive mechatronic systems
Heinzemann, Christian
2015
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015
Wireless sensor networks for flight applications
Blanckenstein, Johannes Maria Markus
2015
Adaptivity engineering
Modeling and quality assurance for self-adaptive software systems
Luckey, Markus
2014
Energy-efficient scheduling algorithms
Kling, Peter
2014
Epidemic spreading and information dissemination in technological and social systems
Ogierman, Adrian
2014
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Distributed data structures and the power of topological self-stabilization

Eine durchgängige modellbasierte Entwicklungsmethodik für die automobile Steuergeräteentwicklung unter Einbeziehung des AUTOSAR Standards

A framework for assertion-based timing verification and PC-based restbus simulation of automotive systems

Goal-oriented business process engineering

Identification of timed behavior models for diagnosis in production systems

Integrating contract-based testing into model-driven software development

MAPE-K4SEM - Selbst-adaptive Software-Engineering-Methoden

Methoden und Werkzeuge zur Entwicklung dreidimensionaler visueller Sprachen

On the complexity of fundamental problems in dynamic ad-hoc networks

Optimizing software-defined networks using application-layer knowledge

PBlaman: kontraktbasierte Performance-Blame-Analysis

Resource allocation and scheduling in dense mobile access networks

Situationsgerechte Methodenweiterentwicklung auf Basis von MetaMe am Beispiel der Server-System-Entwicklung

Testaufwandsschätzung in der analytischen Qualitätssicherung

Verification and simulation of self-adaptive mechatronic systems

Verification of infinite-state graph transformation systems via abstraction

Wireless sensor networks for flight applications

Adaptivity engineering

Energy-efficient scheduling algorithms

Epidemic spreading and information dissemination in technological and social systems