| Is this still normal? Putting definitions of timing anomalies to the test B Binder, M Asavoae, BB Hedia, F Brandner, M Jan 2021 IEEE 27th International Conference on Embedded and Real-Time Computing …, 2021 | 9 | 2021 |
| Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture B Binder, M Asavoae, F Brandner, B Ben Hedia, M Jan International Journal on Software Tools for Technology Transfer 24 (3), 415-440, 2022 | 8 | 2022 |
| The Role of Causality in a Formal Definition of Timing Anomalies B Binder, M Asavoae, F Brandner, BB Hedia, M Jan 2022 IEEE 28th International Conference on Embedded and Real-Time Computing …, 2022 | 6 | 2022 |
| Scalable detection of amplification timing anomalies for the superscalar tricore architecture B Binder, M Asavoae, F Brandner, B Ben Hedia, M Jan Formal Methods for Industrial Critical Systems: 25th International …, 2020 | 5 | 2020 |
| Formal Processor Modeling for Analyzing Safety and Security Properties B Binder, SA Bensaid, S Tollec, F Thabet, M Asavoae, M Jan Embedded Real Time Systems (ERTS), 1-10, 2022 | 3 | 2022 |
| Definitions and Detection Procedures of Timing Anomalies for the Formal Verification of Predictability in Real-Time Systems B Binder Université Paris-Saclay, 2022 | | 2022 |
| 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)| 978-1-6654-4188-9/21/$31.00© 2021 IEEE| DOI: 10.1109/RTCSA52859 … T Abdelzaher, F Akowuah, AN Amalou, S Andrei, M Asavoae, A Bar-Hen, ... | | |
| 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)| 978-1-6654-5344-8/22/$31.00© 2022 IEEE| DOI: 10.1109/RTCSA55878 … T Abdelzaher, JH Anderson, J Arora, M Asavoae, M Ashjaei, P Badin, ... | | |
