Deciding Global Partial-Order PropertiesRajeev Alur; Ken McMillan; Doron Peled · 2005

Parametric temporal logic for “model measuring”Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron · ACM Transactions on Computational Logic · 2001

Model-Checking of Correctness Conditions for Concurrent ObjectsRajeev Alur; Ken McMillan; Doron Peled · 2000

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 ||Alur, Rajeev; Peled, Doron A. · 2004

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || The UCLID Decision ProcedureAlur, Rajeev; Peled, Doron A. · 2004

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Termination of Linear ProgramsAlur, Rajeev; Peled, Doron A. · 2004

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || DPLL(T): Fast Decision ProceduresAlur, Rajeev; Peled, Doron A. · 2004