Publications

Lohmann, Daniel ; Ebert, Jürgen :
A Generalization of the Hyperspace Approach using Meta-Models.

Barner, Jörg :
Performance and reliability modelling with MOSEL-2.

Spinczyk, Olaf ; Schröder-Preikschat, Wolfgang ; Beuche, Danilo ; Papajewski, Holger :
PURE/OSEK - Eine aspektorientierte Betriebssystemfamilie für Kraftfahrzeuge.

Felser, Meik ; Wawersich, Christian ; Golm, Michael :
The Security Architecture of the Java Operating System JX.

Bellosa, Frank ; Simon Kellner ; Waitz, Martin ; Weißel, Andreas :
Event-Driven Energy Accounting for Dynamic Thermal Management.

Spinczyk, Olaf ; Schröder-Preikschat, Wolfgang ; Beuche, Danilo ; Papajewski, Holger :
PURE/OSEK - Eine aspektorientierte Betriebssystemfamilie für Kraftfahrzeuge.

Lohmann, Daniel ; Spinczyk, Olaf :
Architecture-Neutral Operating System Components.

Spinczyk, Olaf :
Aspektorientierung und Programmfamilien im Betriebssystembau.

Spinczyk, Olaf ; Beuche, Danilo :
Variant Management for Embedded Software Product Lines with Pure::Consul and AspectC++.

Beuche, Danilo ; Papajewski, Holger ; Schröder-Preikschat, Wolfgang :
Variability management with feature models.

Kapitza, Rüdiger ; Hauck, Franz J. :
DLS: a CORBA service for dynamic loading of code.

Reiser, Hans P. ; Hauck, Franz J. ; Kapitza, Rüdiger ; Schmied, Andreas I. :
Integrating Fragmented Objects into a CORBA Environment.

Bolch, Gunter ; Roszik, Janos ; Sztrik, Janos :
Heterogeneous Finite-Source Retrial Queues in the Analysis of Communication Systems with CSMA/CD Protocols.

Essafi, Lassaad ; Bolch, Gunter :
Performance Evaluation of Priority based Schedulers in the Internet.

Al-Begain, Khalid ; Barner, Jörg ; Bolch, Gunter ; Zreikat, Aymen :
The Performance and Reliability Modelling Language MOSEL and its Application.

Barner, Jörg ; Bolch, Gunter :
MOSEL- MOdelling, Specification and Evaluation Language.

Barner, Jörg ; Bolch, Gunter :
MOSEL-2: Modeling, Specification and Evaluation Language, Revision 2.

Almasi, Bela ; Bolch, Gunter ; Sztrik, Janos :
Analyzing Markov-modulated finite-source queueing systems.

Wüchner, Patrick :
Erweiterung der Schnittstelle zwischen den Modellierungssprachen MOSEL und CSPL um Simulationskonstrukte.

Beutel, Björn :
Integration des Petrinetz-Analysators TimeNET in die Modellanalyseumgebung MOSEL.

Bolch, Gunter ; Sztrik, Janos ; Zreikat, Aymen :
Performance Modeling of Non-homogeneous Unreliable Multi-Server Systems Using MOSEL.