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. 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]
   
3. Roy Armoni, Michael E. Saks, Avi Wigderson, Shiyu Zhou
   Discrepancy Sets and Pseudorandom Generators for Combinatorial Rectangles. [Citation Graph (0, 0)][DBLP]
   FOCS, 1996, pp:412-421 [Conf]
   
4. Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi
   Efficient LTL compilation for SAT-based model checking. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2005, pp:877-884 [Conf]
   
5. Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
   Formal verification coverage: computing the coverage gap between temporal specifications. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2004, pp:198-203 [Conf]
   
6. Roy Armoni
   On the Derandomization of Space-Bounded Computations. [Citation Graph (0, 0)][DBLP]
   RANDOM, 1998, pp:47-59 [Conf]
   
7. Roy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou
   SL <= L^4/3. [Citation Graph (0, 0)][DBLP]
   STOC, 1997, pp:230-239 [Conf]
   
8. Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi
   Resets vs. Aborts in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
   TACAS, 2003, pp:65-80 [Conf]
   
9. 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]
   
10. Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
    SAT-based Induction for Temporal Safety Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:3-16 [Journal]
    
11. Roy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou
    An O(log(n)^4/3) space algorithm for (s, t) connectivity in undirected graphs. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:2, pp:294-311 [Journal]
    
12. Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
    Design-Intent Coverage - A New Paradigm for Formal Property Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:10, pp:1922-1934 [Journal]
    
13. 
    Deeper Bound in BMC by Combining Constant Propagation and Abstraction. [Citation Graph (, )][DBLP]