Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

MOSEL-2: Modeling, Specification and Evaluation Language, Revision 2 (2003) Barner J, Bolch G Conference contribution Architecture-Neutral Operating System Components (2003) Lohmann D, Spinczyk O Conference contribution The Security Architecture of the Java Operating System JX (2003) Felser M, Wawersich C Conference contribution Heterogeneous Finite-Source Retrial Queues in the Analysis of Communication Systems with CSMA/CD Protocols (2003) Bolch G Conference contribution Performance Modeling of Non-homogeneous Unreliable Multi-Server Systems Using MOSEL (2003) Bolch G Journal article Analyzing Markov-modulated finite-source queueing systems (2003) Bolch G Journal article The Structure of a Type-Safe Operating System (2003) Golm M Thesis Multidimensionales Trennen der Belange im Softwareentwurf (2002) Lohmann D Thesis AspectC++: An Aspect-Oriented Extension to C++ (2002) Spinczyk O, Schröder-Preikschat W Conference contribution Understanding the Performance of the Java Operating System JX using Visualization Techniques (2002) Golm M, Wawersich C, Felser M, Kleinöder J Conference contribution