Roy Armoni

Publication Activity (10 Years)

Years Active: 1996-2013
Publications (10 Years): 0

Top Topics

Minimum Variance

Relevant Variables

Top Venues

Publications

Roy Armoni, Dana Fisman, Naiyong Jin
SVA and PSL Local Variables - A Practical Approach. CAV (2013)
Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar
Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC (2007)
Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV (2006)
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. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (10) (2006)
Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi
Efficient LTL compilation for SAT-based model checking. ICCAD (2005)
Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
SAT-based Induction for Temporal Safety Properties. Electron. Notes Theor. Comput. Sci. 119 (2) (2005)
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. ICCAD (2004)
Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi
Resets vs. Aborts in Linear Temporal Logic. TACAS (2003)
Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
Enhanced Vacuity Detection in Linear Temporal Logic. CAV (2003)
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. TACAS (2002)
Roy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou
) connectivity in undirected graphs. J. ACM 47 (2) (2000)
Roy Armoni
On the Derandomization of Space-Bounded Computations. RANDOM (1998)
Roy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou
. STOC (1997)
Roy Armoni, Michael E. Saks, Avi Wigderson, Shiyu Zhou
Discrepancy Sets and Pseudorandom Generators for Combinatorial Rectangles. FOCS (1996)