Christian Hernalsteen

A tool for statistical analysis of hard real-time scheduling algorithms

Joël Goossens, Christian Hernalsteen, 1998, Proceedings 31st Annual Simulation Symposium.

Specification, validation and verification of real-time systems in ET-LOTOS

Thierry Massart, Christian Hernalsteen, 1998 .

A generic simulator of real-time scheduling algorithms

Joël Goossens, Christian Hernalsteen, Stephane de Vroey, 1996, Proceedings of the 29th Annual Simulation Symposium.

Introduction of a Suspend/Resume Operator in ET-LOTOS

Christian Hernalsteen, Arnaud Février, 1997, ARTS.

A simulator of real-time systems specified in et-lotos

Thierry Massart, Joël Goossens, Christian Hernalsteen, 1998 .

A Timed Automaton Model for ET-LOTOS Verification

Christian Hernalsteen, Christian Hernalsteen, 1997, FORTE.

A toolset for the analysis of et-lotos specifications

Jan Friso Groote, Thierry Massart, Christian Hernalsteen, 1998 .

An extended timed automaton to model et-lotos specifications

Thierry Massart, Christian Hernalsteen, 1995 .