1. Probabilistic schedulability analysis for fixed priority mixed criticality real-time systems;Abdeddaïm,2017
2. On the comparison of deterministic and probabilistic WCET estimation techniques;Abella,2014
3. Integrating multimedia applications in hard real-time systems;Abeni,1998
4. Efficient and robust probabilistic guarantees for real-time tasks;Abeni;J. Syst. Softw.,2012
5. On the correctness, optimality and precision of static probabilistic timing analysis;Altmeyer,2014