Tal Lev-Ami
发表
Roman Manevich,
Shmuel Sagiv,
Michal Segalov,
2009,
APLAS.
Shmuel Sagiv,
Shay Litvak,
Nurit Dor,
2008,
ISSTA '08.
Christoph Weidenbach,
Thomas W. Reps,
Shmuel Sagiv,
2007,
CADE.
Shmuel S. Tyszberowicz,
Tal Lev-Ami,
T. Lev-Ami,
2003,
Real-Time Systems.
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm,
2000,
ISSTA '00.
Roman Manevich,
Shmuel Sagiv,
Tal Lev-Ami,
2004,
IFIP Congress Topical Sessions.
Neil Immerman,
Shmuel Sagiv,
Tal Lev-Ami,
2006,
CAV.
Roman Manevich,
Shmuel Sagiv,
Josh Berdine,
2008,
CAV.
Neil Immerman,
Thomas W. Reps,
Shmuel Sagiv,
2007,
VMCAI.
Neil Immerman,
Thomas W. Reps,
Shmuel Sagiv,
2005,
CADE.
Sumit Gulwani,
Shmuel Sagiv,
Tal Lev-Ami,
2009,
POPL '09.
Roman Manevich,
Shmuel Sagiv,
Josh Berdine,
2008,
SAS.
Sumit Gulwani,
Shmuel Sagiv,
Byron Cook,
2008,
CAV.
Shmuel Sagiv,
Tal Lev-Ami,
Shmuel Sagiv,
2000,
SAS.
Neil Immerman,
Thomas W. Reps,
Shmuel Sagiv,
2005,
CADE.
Thomas W. Reps,
Shmuel Sagiv,
Tal Lev-Ami,
2007,
CAV.
Eran Yahav,
Noam Rinetzky,
Roman Manevich,
2005,
VSTTE.
Thomas Reps,
Mooly Sagiv,
Tal Lev-Ami,
2007
.