1995 |
7 | | Heinz Kantz,
Christian Koza:
The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity.
FTCS 1995: 453-458 |
1993 |
6 | | Heinz Kantz:
Zuverlässigkeitsanalyse von verteilten, fehlertoleranten Echtzeitsystemen.
Inform., Forsch. Entwickl. 8(4): 173-185 (1993) |
1992 |
5 | EE | Hermann Kopetz,
Gerhard Fohler,
Günter Grünsteidl,
Heinz Kantz,
G. Pospischil,
Peter P. Puschner,
J. Reisinger,
R. Schlatterbeck,
Werner Schütz,
Alexander Vrchoticky,
R. Zainlinger:
The programmer's view of MARS.
IEEE Real-Time Systems Symposium 1992: 223-226 |
1991 |
4 | | Hermann Kopetz,
R. Zainlinger,
Gerhard Fohler,
Heinz Kantz,
Peter P. Puschner,
Werner Schütz:
An Engineering Approach to Hard Real-Time System Design.
ESEC 1991: 166-188 |
3 | | Heinz Kantz,
Kishor S. Trivedi:
Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques.
PNPM 1991: 268-277 |
2 | | Heinz Kantz:
Flexible Handling of Diverse Dependability Requirements in MARS.
SRDS 1991: 142-151 |
1989 |
1 | | Heinz Kantz,
Marco Mulazzani:
PMS-Models in SHARPE.
Fehlertolerierende Rechensysteme 1989: 256-267 |