A POP ⋆ is Born: Formal Predictable Out-of-Order Processor Model

2026 IEEE 32nd Real-Time and Embedded Technology and Applications Symposium (RTAS) 2026

View at publisher
Authors: Lilia Rouizi, Mihail Asăvoae, Benjamin Binder, Engin Ermis, Lionel Rieg, Florian Brandner
DOI: 10.1109/rtas68450.2026.00023
Cited by: 1
References: 32

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Distributed systems and fault tolerance

Publication details

Journal / source
2026 IEEE 32nd Real-Time and Embedded Technology and Applications Symposium (RTAS)
Publisher
IEEE
Pages
138–151
Publication date
11 May 2026