Algorithmic Verification of Linear Temporal Logic Specifications. - Yonit Kesten; Amir Pnueli; Li-on Raviv (ICALP, 1998)

Model Checking with Strong Fairness. - Yonit Kesten; Amir Pnueli; Li-on Raviv; Elad Shahar (Formal Methods Syst. Des., 2006)

Maximizing Service Reward for Queues With Deadlines. - Li-on Raviv; Amir Leshem (IEEE/ACM Trans. Netw., 2018)

Scheduling for Multi-User Multi-Input Multi-Output Wireless Networks with Priorities and Deadlines. - Li-on Raviv; Amir Leshem (Future Internet, 2019)

Joint Scheduling and Resource Allocation for Packets With Deadlines and Priorities. - Li-on Raviv; Amir Leshem (IEEE Commun. Lett., 2023)