Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. - Benjamin Binder 001; Mihail Asavoae; Florian Brandner; Belgacem Ben Hedia; Mathieu Jan (FMICS, 2020)

Is This Still Normal? Putting Definitions of Timing Anomalies to the Test. - Benjamin Binder 001; Mihail Asavoae; Belgacem Ben Hedia; Florian Brandner; Mathieu Jan (RTCSA, 2021)

The Role of Causality in a Formal Definition of Timing Anomalies. - Benjamin Binder 001; Mihail Asavoae; Florian Brandner; Belgacem Ben Hedia; Mathieu Jan (RTCSA, 2022)

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. - Benjamin Binder 001; Mihail Asavoae; Florian Brandner; Belgacem Ben Hedia; Mathieu Jan (Int. J. Softw. Tools Technol. Transf., 2022)

Definitions and Detection Procedures of Timing Anomalies for the Formal Verification of Predictability in Real-Time Systems. (Définitions et procédures de détection des anomalies temporelles pour la vérification formelle de la prédictibilité des systèmes temps-réel). - Benjamin Binder 001 (2022)

Revisiting Timing Anomalies in Predictable In-Order Pipelines. - Lilia Rouizi; Mihail Asavoae; Benjamin Binder 001; Lionel Rieg; Florian Brandner (ECRTS, 2025)