Search the dblp DataBase

Publications of Author

1. Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
   Enhanced Vacuity Detection in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:368-380 [Conf]
   
2. Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
   Formal Verification of Backward Compatibility of Microcode. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:185-198 [Conf]
   
3. Jin Yang, Andreas Tiemeyer
   Lazy symbolic model checking. [Citation Graph (0, 0)][DBLP]
   DAC, 2000, pp:35-38 [Conf]
   
4. Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
   Deterministic Dynamic Monitors for Linear-Time Assertions. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:163-177 [Conf]
   
5. Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
   The ForSpec Temporal Logic: A New Temporal Property-Specification Language. [Citation Graph (0, 0)][DBLP]
   TACAS, 2002, pp:296-211 [Conf]
   
6. 
   MAGENTA: transaction-based statistical micro-architectural root-cause analysis. [Citation Graph (, )][DBLP]