Heinz Kantz

According to our database, Heinz Kantz authored at least 11 papers between 1989 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

TAS Control Platform: A Platform for Safety-Critical Railway Applications.

Andreas Gerstinger, Heinz Kantz, Christoph Scherrer

ERCIM News, 2008

1995

The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity.

Heinz Kantz, Christian Koza

Proceedings of the Digest of Papers: FTCS-25, 1995

1993

Zuverlässigkeitsanalyse von verteilten, fehlertoleranten Echtzeitsystemen.

Heinz Kantz

Inform. Forsch. Entwickl., 1993

Real-time system development: The programming model of MARS.

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

Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

1992

The programmer's view of MARS.

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

Proceedings of the Real-Time Systems Symposium, 1992

1991

The design of real-time systems: from specification to implementation and verification.

Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz

Softw. Eng. J., 1991

Flexible Handling of Diverse Dependability Requirements in MARS.

Heinz Kantz

Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques.

Heinz Kantz, Kishor S. Trivedi

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

An Engineering Approach to Hard Real-Time System Design.

Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz

Proceedings of the ESEC '91, 1991

1990

Tolerating transient faults in MARS.

Hermann Kopetz, Heinz Kantz, Günter Grünsteidl, Peter P. Puschner, Johannes Reisinger

Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

1989

PMS-Models in SHARPE.

Heinz Kantz, Marco Mulazzani

Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1989