The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roy Armoni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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 <= L4/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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002