2003 |
8 | EE | Felix Engelhard,
Stefan Greiner,
Reinhard German:
ParEs - A Parameter-Estimation-Tool.
DSN 2003: 583- |
2002 |
7 | | Stefan Heller,
Stefan Greiner,
Graham Horton:
PeNeTo; A Petri Net Simulator for Fast Safety and Quality Analysis and Cost - Prediction.
ESM 2002: 50-54 |
6 | | Frederick T. Sheldon,
Kshamta Jerath,
Stefan Greiner:
Examining Coincident Failures and Usage Profiles in Reliability Analysis of an Embedded Vehicle Sub-System.
ESM 2002: 558-563 |
2000 |
5 | EE | Frederick T. Sheldon,
Stefan Greiner,
Matthias Benzinger:
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models.
IWSSD 2000: 123-132 |
1999 |
4 | | Frederick T. Sheldon,
Stefan Greiner:
Composing, analyzing and validating software models to assess the performability of competing design candidates.
Ann. Software Eng. 8: 239-287 (1999) |
1998 |
3 | EE | Stefan Greiner,
Gunter Bolch,
Khalid Begain:
A generalized analysis technique for queuing networks with mixed priority strategy and class switching.
Computer Communications 21(9): 819-832 (1998) |
1997 |
2 | | Stefan Greiner,
Gunter Bolch,
Helmut Herold:
Modeling and Performance Evalution using the Modeling Language MOSEL.
MMB (Kurzbeiträge) 1997: 144-151 |
1996 |
1 | | Stefan Greiner,
Gunter Bolch:
Approximative analytische Leistungsbewertung am Beispiel eines UNIX-basierten Multiprozessor Betriebssystems.
Inform., Forsch. Entwickl. 11(3): 111-124 (1996) |