Bolch, G.; Greiner, S.: Approximative analytische Leistungsbewertung am Beispiel eines UNIX-basierten Multiprozessor-Betriebssystems. Univ. Erlangen-Nürnberg, IMMD IV, 1994 (TR-I4-94-01)
Bolch, G.; Greiner, S.: The Markov Analyzer MOSES. Univ. Erlangen-Nürnberg,IMMD IV, 1994 (TR-I4-94-10)
Bolch, G.; Greiner, S.: Generation and solution of Markov chains Using MOSES. Univ. Erlangen-Nürnberg, IMMD IV, 1994 (TR-I4-94-11)
Bolch, G.; Greiner, S.: Performance Evaluation of Operating Systems Using Approximate Analytical Methods. Univ. Erlangen-Nürnberg, IMMD IV, 1994 (TR-I4-94-14)
Bolch, G.;; Greiner, S.; Trivedi, K.: Approximate Analytical Performance Evaluation Of A UNIX Based Multiprocessor Operating System. Univ. Erlangen-Nürnberg, IMMD IV, 1994 (TR-I4-94-27)
Bolch, G.; Greiner, S.: A Generalized Analysis Technique for Queueing Networks with Mixed Priority Strategy, Class Switching and Heterogenous Nodes. Univ. Erlangen-Nürnberg, IMMD IV, 1995 (TR-I4-95-08)
Bolch, G.;; Greiner, S.: Modeling Production Lines with Blocking, Batch Processing and Unreliable Machines Using the Markov Analyzer MOSES. Univ. Erlangen-Nürnberg, IMMD IV, 1994 (TR-I4-95-09)
Bolch, G.; Greiner, S.; Jung, H.; Roessler, M.: Leistungsbewertung mit PEPSY-QNS und MOSES. Univ. Erlangen-Nürnberg, IMMD IV, 1994 (TR-I4-95-10)
Greiner, S.; Puliaffito, A.; Bolch, G.; Trivedi, K.S.: Performance Evaluation of Dynamic Priority Operating Systems. Univ. Erlangen-Nürnberg, IMMD IV, 1995 (TR-I4-95-11)
Greiner, S.; Bolch, G.: Modeling and Performance Evaluation of Production Lines Using the Modeling Language MOSEL. Univ. Erlangen-Nürnberg, IMMD IV, 1996 (TR-I4-96-01)