Heinz Kantz

11 papers A 1B 1C 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2008 J jnl
TAS Control Platform: A Platform for Safety-Critical Railway Applications.
ERCIM News
Andreas Gerstinger, Heinz Kantz, Christoph Scherrer
1995 — conf
The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity.
FTCS
Heinz Kantz, Christian Koza
1993 C conf
Real-time system development: The programming model of MARS.
ISADS
Hermann Kopetz, Gerhard Fohler, Günter Grünsteidl, Heinz Kantz, Gustav Pospischil, Peter P. Puschner, Johannes Reisinger, Ralf Schlatterbeck, Werner Schütz, Alexander Vrchoticky, Ralph Zainlinger
1993 J jnl
Zuverlässigkeitsanalyse von verteilten, fehlertoleranten Echtzeitsystemen.
Inform. Forsch. Entwickl.
Heinz Kantz
1992 A conf
The programmer's view of MARS.
RTSS
Hermann Kopetz, Gerhard Fohler, Günter Grünsteidl, Heinz Kantz, Gustav Pospischil, Peter P. Puschner, Johannes Reisinger, Ralf Schlatterbeck, Werner Schütz, Alexander Vrchoticky, Ralph Zainlinger
1991 — conf
An Engineering Approach to Hard Real-Time System Design.
ESEC
Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz
1991 B conf
Flexible Handling of Diverse Dependability Requirements in MARS.
SRDS
Heinz Kantz
1991 — conf
Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques.
PNPM
Heinz Kantz, Kishor S. Trivedi
1991 J jnl
The design of real-time systems: from specification to implementation and verification.
Softw. Eng. J.
Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz
1990 — conf
Tolerating transient faults in MARS.
FTCS
Hermann Kopetz, Heinz Kantz, Günter Grünsteidl, Peter P. Puschner, Johannes Reisinger
1989 — conf
PMS-Models in SHARPE.
Fehlertolerierende Rechensysteme
Heinz Kantz, Marco Mulazzani