Benjamin Binder

According to our database, Benjamin Binder authored at least 5 papers between 2020 and 2022.

Collaborative distances:

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

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

PhD thesis, 2022

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Int. J. Softw. Tools Technol. Transf., 2022

The Role of Causality in a Formal Definition of Timing Anomalies.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

2021

Is This Still Normal? Putting Definitions of Timing Anomalies to the Test.

Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

2020

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Proceedings of the Formal Methods for Industrial Critical Systems, 2020