Roy Armoni - RankMe

15 papers A* 4A 4Journal 2Unranked 4

Year	Rank	Type	Title / Venue / Authors
2013	A*	`conf`	SVA and PSL Local Variables - A Practical Approach. CAV Roy Armoni, Dana Fisman, Naiyong Jin
2007	—	`conf`	Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar
2006	J	`jnl`	Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2006	—	`conf`	Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
2005	A	`conf`	Efficient LTL compilation for SAT-based model checking. ICCAD Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi
2004	A	`conf`	Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2004	—	`conf`	SAT-based Induction for Temporal Safety Properties. BMC@CAV Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
2003	A*	`conf`	Enhanced Vacuity Detection in Linear Temporal Logic. CAV Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
2003	A	`conf`	Resets vs. Aborts in Linear Temporal Logic. TACAS Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi
2002	A	`conf`	The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS 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
2000	J	`jnl`	An J. ACM Roy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou
1998	—	`conf`	On the Derandomization of Space-Bounded Computations. RANDOM Roy Armoni
1998	—	`—`	On the random resources needed by space bounded computational models (על משאבי האקראיות הדרושים למודלים חישוביים מוגבלי זכרון.). Roy Armoni
1997	A*	`conf`	SL <= L STOC Roy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou
1996	A*	`conf`	Discrepancy Sets and Pseudorandom Generators for Combinatorial Rectangles. FOCS Roy Armoni, Michael E. Saks, Avi Wigderson, Shiyu Zhou