Christian Hernalsteen

According to our database, Christian Hernalsteen authored at least 4 papers between 1996 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

A Tool for Statistical Analysis of Hard Real-Time Scheduling Algorithms.

Joël Goossens, Christian Hernalsteen

Proceedings of the Proceedings 31st Annual Simulation Symposium (SS '98), 1998

1997

A Timed Automaton Model for ET-LOTOS Verification.

Christian Hernalsteen

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Introduction of a Suspend/Resume Operator in ET-LOTOS.

Christian Hernalsteen, Arnaud Février

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

A Generic Simulator of Real-Time Scheduling Algorithms.

Stephane de Vroey, Joël Goossens, Christian Hernalsteen

Proceedings of the Proceedings 29st Annual Simulation Symposium (SS '96), 1996