Static and Verifiable Memory Partitioning for Safety-Critical Systems. - Jean Guyomarc'h; Jean-Baptiste Hervé (ISSRE Workshops, 2020)

Non-Simultaneity as a Design Constraint. - Jean Guyomarc'h; François Guerret; Bilal El Mejjati; Emmanuel Ohayon; Bastien Vincke; Alain Mérigot (TIME, 2020)

Analyse de systèmes temps-réels de sûreté et mitigation de leurs interférences temporelles. (Analysis of safety-critical real-time systems and mitigation of their timing interferences). - Jean Guyomarc'h (2021)