Author:
Binder Benjamin,Asavoae Mihail,Brandner Florian,Ben Hedia Belgacem,Jan Mathieu
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference29 articles.
1. Abate, A., David, C., Kesseli, P., Kroening, D., Polgreen, E.: Counterexample guided inductive synthesis modulo theories. In: Chockler, H., Weissenbacher, G. (eds.) Computer Aided Verification, pp. 270–288. Springer International Publishing, Cham (2018)
2. Asavoae, M., Ben Hedia, B., Jan, M.: Formal executable models for automatic detection of timing anomalies. In: 18th International Workshop on Worst-Case Execution Time Analysis (WCET), Barcelona, Spain, pp. 2:1–2:13, (2018)
3. Ballabriga, C., Cassé, H., Rochange, C., Sainrat, P.: OTAWA: an open toolbox for adaptive WCET analysis. In: SEUS 2010. pp. 35–46 (2010)
4. Barrett, C., Tinelli, C.: Satisfiability modulo theories, pp. 305–343. Springer International Publishing, Cham (2018). 10.1007/978-3-319-10575-8_11,
5. Binder, B., Asavoae, M., Brandner, F., Ben Hedia, B., Jan, M.: Scalable detection of amplification timing anomalies for the superscalar tricore architecture. In: ter Beek, M.H., Ničković, D. (eds.) Formal Methods for Industrial Critical Systems, pp. 151–169. Springer International Publishing, Cham (2020)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enabling timing predictability in the presence of store buffers;The 31st International Conference on Real-Time Networks and Systems;2023-06-07
2. The Role of Causality in a Formal Definition of Timing Anomalies;2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2022-08
3. Formal methods and tools for industrial critical systems;International Journal on Software Tools for Technology Transfer;2022-04-04