Pierre-Emmanuel Hladik. A brute-force schedulability analysis for formal model under logical execution time assumption. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 609-615, ACM, 2018. [doi]
Abstract is missing.