 | 2003 |
|---|
| 8 |       | 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 | | 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 | | 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) |
