Heinz Kantz

Publication Activity (10 Years)

Years Active: 1989-2008
Publications (10 Years): 0

Publications

Andreas Gerstinger, Heinz Kantz, Christoph Scherrer
TAS Control Platform: A Platform for Safety-Critical Railway Applications. ERCIM News 2008 (75) (2008)
Heinz Kantz, Christian Koza
The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity. FTCS (1995)
Heinz Kantz
Zuverlässigkeitsanalyse von verteilten, fehlertoleranten Echtzeitsystemen. Inform. Forsch. Entwickl. 8 (4) (1993)
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
Real-time system development: The programming model of MARS. ISADS (1993)
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
The programmer's view of MARS. RTSS (1992)
Heinz Kantz, Kishor S. Trivedi
Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques. PNPM (1991)
Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz
An Engineering Approach to Hard Real-Time System Design. ESEC (1991)
Heinz Kantz
Flexible Handling of Diverse Dependability Requirements in MARS. SRDS (1991)
Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz
The design of real-time systems: from specification to implementation and verification. Softw. Eng. J. 6 (3) (1991)
Hermann Kopetz, Heinz Kantz, Günter Grünsteidl, Peter P. Puschner, Johannes Reisinger
Tolerating transient faults in MARS. FTCS (1990)
Heinz Kantz, Marco Mulazzani
PMS-Models in SHARPE. Fehlertolerierende Rechensysteme (1989)