Performance evaluation of dynamic priority operating systems. - Stefan Greiner; Antonio Puliafito; Gunter Bolch; Kishor S. Trivedi (PNPM, 1995)

Leistungsbewertung mit PEPSY-QNS und MOSES. - Raimund Zimmer; Matthias Rössler 002; Gunter Bolch; Hermann Jung 002; Stefan Greiner (Informationstechnik Tech. Inform., 1995)

Analysis of Phase-Type Queueing Networks with the Multi-Level Method. - Stefan Greiner; Graham Horton (ESM, 1996)

Approximative analytische Leistungsbewertung am Beispiel eines UNIX-basierten Multiprozessor Betriebssystems. - Stefan Greiner; Gunter Bolch (Inform. Forsch. Entwickl., 1996)

Modeling and Performance Evalution using the Modeling Language MOSEL. - Stefan Greiner; Gunter Bolch; Helmut Herold (MMB (Kurzbeiträge), 1997)

A generalized analysis technique for queuing networks with mixed priority strategy and class switching. - Stefan Greiner; Gunter Bolch; Khalid Begain (Comput. Commun., 1998)

Composing, analyzing and validating software models to assess the performability of competing design candidates. - Frederick T. Sheldon; Stefan Greiner (Ann. Softw. Eng., 1999)

Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. - Frederick T. Sheldon; Stefan Greiner; Matthias Benzinger (IWSSD, 2000)

Modeling and analysis of operating systems using extended QN techniques and Petri nets. - Stefan Greiner (2001)

PeNeTo; A Petri Net Simulator for Fast Safety and Quality Analysis and Cost - Prediction. - Stefan Heller; Stefan Greiner; Graham Horton (ESM, 2002)

Examining Coincident Failures and Usage Profiles in Reliability Analysis of an Embedded Vehicle Sub-System. - Frederick T. Sheldon; Kshamta Jerath; Stefan Greiner (ESM, 2002)

ParEs - A Parameter-Estimation-Tool. - Felix Engelhard; Stefan Greiner; Reinhard German (DSN, 2003)

Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications, Second Edition. - Gunter Bolch; Stefan Greiner; Hermann de Meer; Kishor S. Trivedi (Wiley, 2006)

Sustainable mobility: how to overcome mobility behavior routines. - Julia Seebode; Stefan Greiner; Tilo Westermann; Ina Wechsung; Sebastian Möller 001 (NordiCHI, 2014)

Emotional responses to thermally augmented audiovisual stimuli. - Stefan Greiner; Jan-Niklas Antons; Ina Wechsung (QoMEX, 2015)