Discrepancy Sets and Pseudorandom Generators for Combinatorial Rectangles. - Roy Armoni; Michael E. Saks; Avi Wigderson; Shiyu Zhou (FOCS, 1996)

SL <= L4/3. - Roy Armoni; Amnon Ta-Shma; Avi Wigderson; Shiyu Zhou (STOC, 1997)

On the Derandomization of Space-Bounded Computations. - Roy Armoni (RANDOM, 1998)

On the random resources needed by space bounded computational models (על משאבי האקראיות הדרושים למודלים חישוביים מוגבלי זכרון.). - Roy Armoni (1998)

An O(log(n)4/3) space algorithm for (s, t) connectivity in undirected graphs. - Roy Armoni; Amnon Ta-Shma; Avi Wigderson; Shiyu Zhou (J. ACM, 2000)

The ForSpec Temporal Logic: A New Temporal Property-Specification Language. - 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 (TACAS, 2002)

Enhanced Vacuity Detection in Linear Temporal Logic. - Roy Armoni; Limor Fix; Alon Flaisher; Orna Grumberg; Nir Piterman; Andreas Tiemeyer; Moshe Y. Vardi (CAV, 2003)

Resets vs. Aborts in Linear Temporal Logic. - Roy Armoni; Doron Bustan; Orna Kupferman; Moshe Y. Vardi (TACAS, 2003)

Formal verification coverage: computing the coverage gap between temporal specifications. - Sayantan Das 001; Prasenjit Basu; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix; Roy Armoni (ICCAD, 2004)

SAT-based Induction for Temporal Safety Properties. - Roy Armoni; Limor Fix; Ranan Fraer; Scott Huddleston; Nir Piterman; Moshe Y. Vardi (BMC@CAV, 2004)

Efficient LTL compilation for SAT-based model checking. - Roy Armoni; Sergey Egorov; Ranan Fraer; Dmitry Korchemny; Moshe Y. Vardi (ICCAD, 2005)

Deterministic Dynamic Monitors for Linear-Time Assertions. - Roy Armoni; Dmitry Korchemny; Andreas Tiemeyer; Moshe Y. Vardi; Yael Zbar (FATES/RV, 2006)

Design-Intent Coverage - A New Paradigm for Formal Property Verification. - Prasenjit Basu; Sayantan Das 001; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix; Roy Armoni (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Deeper Bound in BMC by Combining Constant Propagation and Abstraction. - Roy Armoni; Limor Fix; Ranan Fraer; Tamir Heyman; Moshe Y. Vardi; Yakir Vizel; Yael Zbar (ASP-DAC, 2007)

SVA and PSL Local Variables - A Practical Approach. - Roy Armoni; Dana Fisman; Naiyong Jin (CAV, 2013)