Articles dans des revues avec comité de lecture (3)
1.
Goossens, J., & Hernalsteen, C. (1998). Tool for statistical analysis of hard real-time scheduling algorithms. Proceedings of the IEEE Annual Simulation Symposium, 58-65.
2.
Hernalsteen, C., & Février, A. (1997). Introduction of a suspend/resume operator in ET-LOTOS. Lecture notes in computer science, 1231, 400-414. doi:10.1007/3-540-63010-4_27
3.
De Vroey, S., Goossens, J., & Hernalsteen, C. (1996). Generic simulator of real-time scheduling algorithms. Proceedings of the IEEE Annual Simulation Symposium, 242-249.
Communications publiées lors de congrès ou colloques nationaux et internationaux (4)
1.
Richard, A., Hernalsteen, C., & Robert, F. (2009). Development and validation of NESSIE: a multi-criteria performance estimation tool for SoC. Proceedings of Research in Microelectronics and Electronics (pp. 268-271) (12-17 July 2009: Cock, Ireland).
2.
Hernalsteen, C., De Jacquier De Rosee, A., & Massart, T. (1998). A toolset for the analysis of et-lotos specifications. Proceedings of the third international Workshop on Formal Methods for Industrial Critical Systems (pp. 231-256) (May 25-26 1998: CWI, Amsterdam, The Netherlands).
3.
De Jacquier De Rosee, A., Goossens, J., Hernalsteen, C., & Massart, T. (1998). A simulator of real-time systems specified in et-lotos. In Proceedings of Applied Telecommunication Symposium (pp. 147-152) San Diego: Society for Computer Simulation International.
4.
Hernalsteen, C., & Massart, T. (1995). An extended timed automaton to model et-lotos specifications. Proceedings of DARTS'95: Workshop on Design and Analysis of Real- Time Systems (pp. 95-112) (Bruxelles, Belgium).
Thèses et mémoires (1)
1.
Hernalsteen, C. (1998). Specification, validation and verification of real-time systems in ET-LOTOS (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences, Bruxelles.